top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Software error detection through testing and analysis [[electronic resource] /] / J.C. Huang
Software error detection through testing and analysis [[electronic resource] /] / J.C. Huang
Autore Huang J. C. <1935->
Pubbl/distr/stampa Hoboken, N.J., : John Wiley & Sons, c2009
Descrizione fisica 1 online resource (271 p.)
Disciplina 005.1/4
Soggetto topico Computer software - Testing
Computer software - Reliability
Debugging in computer science
Soggetto genere / forma Electronic books.
ISBN 1-282-27967-X
9786612279676
0-470-46407-0
0-470-46405-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto SOFTWARE ERROR DETECTION THROUGH TESTING AND ANALYSIS; CONTENTS; Preface; 1 Concepts, Notation, and Principles; 1.1 Concepts, Terminology, and Notation; 1.2 Two Principles of Test-Case Selection; 1.3 Classification of Faults; 1.4 Classification of Test-Case Selection Methods; 1.5 The Cost of Program Testing; 2 Code-Based Test-Case Selection Methods; 2.1 Path Testing; 2.2 Statement Testing; 2.3 Branch Testing; 2.4 Howden's and McCabe's Methods; 2.5 Data-Flow Testing; 2.6 Domain-Strategy Testing; 2.7 Program Mutation and Fault Seeding; 2.8 Discussion; Exercises
3 Specification-Based Test-Case Selection Methods3.1 Subfunction Testing; 3.2 Predicate Testing; 3.3 Boundary-Value Analysis; 3.4 Error Guessing; 3.5 Discussion; Exercises; 4 Software Testing Roundup; 4.1 Ideal Test Sets; 4.2 Operational Testing; 4.3 Integration Testing; 4.4 Testing Object-Oriented Programs; 4.5 Regression Testing; 4.6 Criteria for Stopping a Test; 4.7 Choosing a Test-Case Selection Criterion; Exercises; 5 Analysis of Symbolic Traces; 5.1 Symbolic Trace and Program Graph; 5.2 The Concept of a State Constraint; 5.3 Rules for Moving and Simplifying Constraints
5.4 Rules for Moving and Simplifying Statements5.5 Discussion; 5.6 Supporting Software Tool; Exercises; 6 Static Analysis; 6.1 Data-Flow Anomaly Detection; 6.2 Symbolic Evaluation (Execution); 6.3 Program Slicing; 6.4 Code Inspection; 6.5 Proving Programs Correct; Exercises; 7 Program Instrumentation; 7.1 Test-Coverage Measurement; 7.2 Test-Case Effectiveness Assessment; 7.3 Instrumenting Programs for Assertion Checking; 7.4 Instrumenting Programs for Data-Flow-Anomaly Detection; 7.5 Instrumenting Programs for Trace-Subprogram Generation; Exercises; Appendix A: Logico-Mathematical Background
Appendix B: GlossaryAppendix C: Questions for Self-Assessment; Bibliography; Index
Record Nr. UNINA-9910139752103321
Huang J. C. <1935->  
Hoboken, N.J., : John Wiley & Sons, c2009
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Software error detection through testing and analysis [[electronic resource] /] / J.C. Huang
Software error detection through testing and analysis [[electronic resource] /] / J.C. Huang
Autore Huang J. C. <1935->
Pubbl/distr/stampa Hoboken, N.J., : John Wiley & Sons, c2009
Descrizione fisica 1 online resource (271 p.)
Disciplina 005.1/4
Soggetto topico Computer software - Testing
Computer software - Reliability
Debugging in computer science
ISBN 1-282-27967-X
9786612279676
0-470-46407-0
0-470-46405-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto SOFTWARE ERROR DETECTION THROUGH TESTING AND ANALYSIS; CONTENTS; Preface; 1 Concepts, Notation, and Principles; 1.1 Concepts, Terminology, and Notation; 1.2 Two Principles of Test-Case Selection; 1.3 Classification of Faults; 1.4 Classification of Test-Case Selection Methods; 1.5 The Cost of Program Testing; 2 Code-Based Test-Case Selection Methods; 2.1 Path Testing; 2.2 Statement Testing; 2.3 Branch Testing; 2.4 Howden's and McCabe's Methods; 2.5 Data-Flow Testing; 2.6 Domain-Strategy Testing; 2.7 Program Mutation and Fault Seeding; 2.8 Discussion; Exercises
3 Specification-Based Test-Case Selection Methods3.1 Subfunction Testing; 3.2 Predicate Testing; 3.3 Boundary-Value Analysis; 3.4 Error Guessing; 3.5 Discussion; Exercises; 4 Software Testing Roundup; 4.1 Ideal Test Sets; 4.2 Operational Testing; 4.3 Integration Testing; 4.4 Testing Object-Oriented Programs; 4.5 Regression Testing; 4.6 Criteria for Stopping a Test; 4.7 Choosing a Test-Case Selection Criterion; Exercises; 5 Analysis of Symbolic Traces; 5.1 Symbolic Trace and Program Graph; 5.2 The Concept of a State Constraint; 5.3 Rules for Moving and Simplifying Constraints
5.4 Rules for Moving and Simplifying Statements5.5 Discussion; 5.6 Supporting Software Tool; Exercises; 6 Static Analysis; 6.1 Data-Flow Anomaly Detection; 6.2 Symbolic Evaluation (Execution); 6.3 Program Slicing; 6.4 Code Inspection; 6.5 Proving Programs Correct; Exercises; 7 Program Instrumentation; 7.1 Test-Coverage Measurement; 7.2 Test-Case Effectiveness Assessment; 7.3 Instrumenting Programs for Assertion Checking; 7.4 Instrumenting Programs for Data-Flow-Anomaly Detection; 7.5 Instrumenting Programs for Trace-Subprogram Generation; Exercises; Appendix A: Logico-Mathematical Background
Appendix B: GlossaryAppendix C: Questions for Self-Assessment; Bibliography; Index
Record Nr. UNINA-9910811608503321
Huang J. C. <1935->  
Hoboken, N.J., : John Wiley & Sons, c2009
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui