Syllabus
What is the software bug? Bug typology. Impossibility of algorithmic software testing.
Differences between custom software and box software.
Configuration testing.
User interface testing.
Black, Grey, White box testing, reasons for darker testing.
Making white tests more efficient. Invariants and their limits. Internal standards. Integration of standard checking into compile process.
Tests testing. (Code coverage. Mutants testing.)
Upgrades testing.
Specification testing.
Documentation testing.
Annotation
Software testing, software development methods symplifying software incorporation.