Color Scheme
Key Concept
Corresponding Diagram
In-Class Discussion
In-Class Activity
Details in SETP or MMM
Fault Manifests Itself in a Failure
PIE Model by Jeffrey Voas
Types of Faults
Algorithmic fault
Syntax fault
Precision fault
Documentation fault
Overload, capacity, and throughput fault
Recovery fault
Hardware/Software fault
Standards/Procedure fault
Document and Resolve through GitHub
Develop an example of these two types of faults
What fault type is best detected by coverage criteria?
Orthogonal Defect Classification
Open/clear, closed/opaque, or grey?
Code Inspections and Walkthroughs
Testing gives a confidence in correctness
Proofs can demonstrate a fault-free program
Adequacy Criteria
"Give me a graph and I will cover it"
SUT, Criterion, and Requirements
Test coverage monitor
Methods and classes
Statements, branches, paths
Definition-use testing
Subsumption hierarchies
Give and explain one example of subsumption
Give and explain one example of each type
EvoSuite and Evolutionary Testing
Any questions about program testing?