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 Methods.

3.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 Statements.

5.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: Glossary.

Appendix C: Questions for Self-Assessment.

Bibliography.

Index.