Details in SETP or MMM
Fault Manifests Itself in a Failure
PIE Model by Jeffrey Voas
Types of Faults
Overload, capacity, and throughput 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
"Give me a graph and I will cover it"
SUT, Criterion, and Requirements
Test coverage monitor
Methods and classes
Statements, branches, paths
Give and explain one example of subsumption
Give and explain one example of each type
EvoSuite and Evolutionary Testing
Any questions about program testing?