Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
AST 2018 : 2018 ACM/IEEE 13th International Workshop on Automation of Software Test : proceedings : 28-29 May 2018, Gothenburg, Sweden / / IEEE Computer Society
| AST 2018 : 2018 ACM/IEEE 13th International Workshop on Automation of Software Test : proceedings : 28-29 May 2018, Gothenburg, Sweden / / IEEE Computer Society |
| Pubbl/distr/stampa | Los Alamitos, California : , : IEEE Computer Society, , 2018 |
| Descrizione fisica | 1 online resource (71 pages) |
| Disciplina | 005.14 |
| Soggetto topico |
Computer software - Testing
Software engineering |
| ISBN | 1-4503-5743-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910294553903321 |
| Los Alamitos, California : , : IEEE Computer Society, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
AST 2019 : 2019 IEEE/ACM 14th International Workshop on Automation of Software Test : proceedings : 27 May 2019 Montréal, QC, Canada / / IEEE Computer Society
| AST 2019 : 2019 IEEE/ACM 14th International Workshop on Automation of Software Test : proceedings : 27 May 2019 Montréal, QC, Canada / / IEEE Computer Society |
| Pubbl/distr/stampa | Los Alamitos, CA : , : IEEE Computer Society, , [2019] |
| Descrizione fisica | 1 online resource |
| Disciplina | 005.14 |
| Soggetto topico |
Computer software - Testing - Automation
Software engineering |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910412279603321 |
| Los Alamitos, CA : , : IEEE Computer Society, , [2019] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Automated and algorithmic debugging : first international workshop, AADEBUG '93 : Linkoping, Sweden, May 3-5, 1993 : proceedings / Peter A. Fritzson (ed.)
| Automated and algorithmic debugging : first international workshop, AADEBUG '93 : Linkoping, Sweden, May 3-5, 1993 : proceedings / Peter A. Fritzson (ed.) |
| Autore | International workshop on automated and algorithmic debugging : <1. : ; 1993 |
| Pubbl/distr/stampa | Berlin \etc.!, : Springer, c1993 |
| Descrizione fisica | VIII, 367 p. : ill. ; 24 cm |
| Disciplina |
005.1
005.14 |
| Collana | Lecture notes in computer science |
| Soggetto topico | Elaboratori elettronici - Programmi - Verifica |
| ISBN |
0387574174
3540574174 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-AQ10004111 |
International workshop on automated and algorithmic debugging : <1. : ; 1993
|
||
| Berlin \etc.!, : Springer, c1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Automated software testing : introduction, management, and performance / Elfriede Dustin, Jeff Rashka, John Paul
| Automated software testing : introduction, management, and performance / Elfriede Dustin, Jeff Rashka, John Paul |
| Autore | Dustin, Elfriede |
| Pubbl/distr/stampa | Reading (MA) [etc.], : Addison-Wesley, 1999 |
| Descrizione fisica | XXI, 575 p. ; 24 cm + 1 CD-ROM. |
| Disciplina |
005.1
005.14 |
| Altri autori (Persone) |
Rashka, Jeff
Paul, John <1968- > |
| Soggetto topico |
Programmi per elaboratori - Verifica
Elaboratori elettronici - Programmi - Verifica |
| ISBN | 0201432870 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-NAP0402381 |
|
Dustin, Elfriede
|
||
| Reading (MA) [etc.], : Addison-Wesley, 1999 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Automated Software Testing [[electronic resource] ] : Foundations, Applications and Challenges / / edited by Ajay Kumar Jena, Himansu Das, Durga Prasad Mohapatra
| Automated Software Testing [[electronic resource] ] : Foundations, Applications and Challenges / / edited by Ajay Kumar Jena, Himansu Das, Durga Prasad Mohapatra |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Singapore : , : Springer Singapore : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (173 pages) |
| Disciplina | 005.14 |
| Collana | Services and Business Process Reengineering |
| Soggetto topico |
Computational intelligence
Data mining Engineering—Data processing Software engineering Computational Intelligence Data Mining and Knowledge Discovery Data Engineering Software Engineering |
| ISBN | 981-15-2455-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Object Oriented Modeling of multifaceted service delivery system using connected governance -- Automated Requirements Extraction and Product Configuration Verification for Software Product Line -- Test Case Generation for Model Based Testing of Object Oriented Programs -- New Metrics for Predicting the Reliability of Individual Component based on Software Design Metrics -- Prediction priority of defective modules for testing resource allocation -- Early Reliability Prediction Model Integrating Halstead Metrics and Fuzzy Usage -- Investigation and Analysis of Power System Faults with Soft Computational Techniques -- Decision Making on Critical Component Using Combined Approach. |
| Record Nr. | UNINA-9910483868603321 |
| Singapore : , : Springer Singapore : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Automated unit testing with ABAP : a practical approach / / James E. McDonough
| Automated unit testing with ABAP : a practical approach / / James E. McDonough |
| Autore | McDonough James E. |
| Pubbl/distr/stampa | [Place of publication not identified] : , : APress, , [2021] |
| Descrizione fisica | 1 online resource (xv, 393 pages) |
| Disciplina | 005.14 |
| Soggetto topico | Computer software - Testing |
| ISBN | 1-4842-6951-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Table of Contents -- About the Author -- About the Technical Reviewer -- Acknowledgments -- Chapter 1: Introduction -- For Whom This Book Is Applicable -- How This Book Should Be Used -- Why This Book Was Written -- Credentials of the Author -- Summary -- Chapter 2: Preparing to Take the First Step -- Road Map to Automated Unit Testing -- Where We Are Now -- Where We Are Going -- Why We Are Going There -- How We Are Going to Get There -- Legacy Code -- Calisthenics -- Summary -- Chapter 3: Software Quality -- The Quality of Software -- Assessing Software Quality -- Summary -- Chapter 4: The Origins of Automated Unit Testing -- In the Beginning ... -- The Emergence of xUnit -- Features of xUnit -- Phases of xUnit Tests -- Writing xUnit Tests -- Advantages of xUnit Tests -- Summary -- Quiz #1: xUnit Concepts -- Multiple Choice: Select the Best Answer -- True or False -- Chapter 5: Automated Unit Testing with ABAP -- ABAP Unit -- The ABAP Unit Testing Framework -- Requirements for Writing ABAP Unit Tests -- Types of Components Applicable to Unit Testing -- Testable ABAP Modularization Units -- Automatic Generation of ABAP Unit Test Classes -- ABAP Language Statements Related to Unit Testing -- Writing an ABAP Unit Test -- Using Fixture Methods -- Invoking the Services of the ABAP Unit Testing Framework -- ABAP Unit Test Runner -- Unit Test Results Report -- Initiating ABAP Unit Test Execution -- Initiating Unit Tests from Within an ABAP Editor -- Initiating Unit Tests from Outside an ABAP Editor -- Evolution of the ABAP Unit Testing Framework -- Challenges to Effectively Testing ABAP Code -- Challenges Presented by Classic ABAP Event Blocks -- Challenges Presented by Global Variables -- Challenges Presented by the MESSAGE Statement -- Challenges Presented by ALV Reports -- Challenges Presented by Classic List Processing Statements.
Challenges Presented by Open SQL Statements -- Controlling the ABAP Unit Testing Framework -- Client Category -- Client Category Override -- Unit Testing Configuration -- Client Settings -- Application Server Settings -- Summary -- Quiz #2: ABAP Unit Testing Concepts -- Multiple Choice: Select the Best Answer -- True or False -- Chapter 6: Rudiments -- Introducing a Simple Unit Test -- Expanding Unit Test Coverage -- Implementing Unit Tests for Function Modules -- Implementing Unit Tests for Global Classes -- ABAP Statements and Features Affecting Automated Unit Testing -- Exploring the Effects of the MESSAGE Statement -- Exploring the Effects of ALV Reports -- Exploring the Effects of Classic List Processing Statements -- How Automated Unit Testing Enables Confident Refactoring -- Diagnosing the Absence of Sufficient Test Data -- Creating and Using Fabricated Test Data -- Gaining Control Over References to Modifiable Global Variables Within Subroutines -- Summary -- Chapter 7: Design for Testability -- Changing the Production Path to Enable Automated Testing -- Categorizing Input and Output -- Encapsulating Indirect Input and Output -- Interaction Points -- Encapsulating Indirect Input Processes to Accommodate Unit Testing -- Encapsulating Indirect Output Processes to Accommodate Unit Testing -- Summary -- Chapter 8: Test Doubles -- Depended-On Components -- The Purpose of Test Doubles -- Alternative 1 -- Alternative 2 -- Alternative 3 -- Using Test Doubles -- Test Double Using Base Class -- Test Double Using Interface -- Categories of Test Doubles -- Using Test Doubles for Indirect Input -- Using Test Doubles for Indirect Output -- Summary -- Chapter 9: Service Locator -- Purpose of a Service Locator -- Using a Service Locator -- Using a Service Factory -- Organizing Local Components -- Summary -- Chapter 10: Leveraging the Service Locator. Issues Requiring Leverage -- Using the Service Locator to Manage Global Classes -- Using the Service Locator to Manage Function Modules -- Using the Service Locator to Manage MESSAGE Statements -- Handling MESSAGE Statements Triggering Unconditional Unit Test Failures -- Handling Unit Test Failures Arising from MESSAGE Statement Control Flow -- Using the Service Locator to Manage List Processing Statements -- Summary -- Chapter 11: Test-Driven Development -- The TDD Cycle -- The Three Laws of TDD -- The Benefits of TDD -- Following the TDD Cycle -- Summary -- Chapter 12: Configurable Test Doubles -- Isolation Frameworks -- mockA -- ABAP Test Double Framework -- Summary -- Chapter 13: Obtaining Code Coverage Information Through ABAP Unit Testing -- Code Coverage Metrics -- Summary -- Chapter 14: Cultivating Good Test Writing Skills -- The Pillars of Good Unit Tests -- Test Simplicity -- Test Coverage -- SAP Recommendations and Constraints When Writing Unit Tests -- Tips for Writing Unit Tests -- Issues Related to Testing Object-Oriented Code -- Summary -- Chapter 15: Welcome to Autropolis -- One Small Step for Manual Toward Automated -- The Right Tool for the Job -- Resistance Is Futile -- Becoming the Agent for Change -- Go Forth and Automate -- Summary -- Appendix A: Requirements Documentation and ABAP Exercise Programs -- Appendix B: Answers to Chapter Quizzes -- Answers to Quiz #1 -- Multiple Choice: Select the Best Answer -- True or False -- Answers to Quiz #2 -- Multiple Choice: Select the Best Answer -- True or False -- Appendix C: Concepts Associated with Defining Local Test Classes -- Index. |
| Record Nr. | UNINA-9910483795603321 |
|
McDonough James E.
|
||
| [Place of publication not identified] : , : APress, , [2021] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Automatic verification of sequential infinite-state processes / / Olaf Burkart
| Automatic verification of sequential infinite-state processes / / Olaf Burkart |
| Autore | Burkart Olaf |
| Edizione | [1st ed. 1997.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer, , [1997] |
| Descrizione fisica | 1 online resource (X, 166 p. 1 illus.) |
| Disciplina | 005.14 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer software - Verification
Software engineering |
| ISBN | 3-540-69678-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Background -- Pushdown Processes -- Model Checking -- Equivalence Checking -- Summary and Perspectives. |
| Record Nr. | UNINA-9910143472003321 |
|
Burkart Olaf
|
||
| Berlin, Heidelberg : , : Springer, , [1997] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Automatic verification of sequential infinite-state processes / / Olaf Burkart
| Automatic verification of sequential infinite-state processes / / Olaf Burkart |
| Autore | Burkart Olaf |
| Edizione | [1st ed. 1997.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer, , [1997] |
| Descrizione fisica | 1 online resource (X, 166 p. 1 illus.) |
| Disciplina | 005.14 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer software - Verification
Software engineering |
| ISBN | 3-540-69678-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Background -- Pushdown Processes -- Model Checking -- Equivalence Checking -- Summary and Perspectives. |
| Record Nr. | UNISA-996466096903316 |
|
Burkart Olaf
|
||
| Berlin, Heidelberg : , : Springer, , [1997] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Black-box testing : techniques for functional testing of software and systems / Boris Beizer
| Black-box testing : techniques for functional testing of software and systems / Boris Beizer |
| Autore | Beizer, Boris <1934- > |
| Pubbl/distr/stampa | New York [etc.], : Wiley, c1995 |
| Descrizione fisica | XXV, 294 p. ; 23 cm |
| Disciplina |
005.1
005.14 |
| Soggetto topico |
Elaboratori elettronici - Programmi - Sviluppo
Elaboratori elettronici - Programmi - Verifica |
| ISBN | 0471120944 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-MIL0426226 |
|
Beizer, Boris <1934- >
|
||
| New York [etc.], : Wiley, c1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Brazilian Symposium on Systematic and Automated Software Testing / / Association for Computing Machinery
| Brazilian Symposium on Systematic and Automated Software Testing / / Association for Computing Machinery |
| Pubbl/distr/stampa | New York, NY : , : Association for Computing Machinery, , 2021 |
| Descrizione fisica | 1 online resource (63 pages) |
| Disciplina | 005.14 |
| Collana | ICPS |
| Soggetto topico | Computer software - Testing |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910510421103321 |
| New York, NY : , : Association for Computing Machinery, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
