Text: selected readings from the literature
Projects: Students will participate in projects in which they are expected to design and implement test sets according to selected criteria, and to apply various statitical models of software reliability to reported test results.
Topics (tentative):
1 The testing process: test descriptions, oracles, etc.
Structural testing methods (control and data flow).
Basic functional testing
2 Correctness and the limits of testing
Undecidable questions related to testing
3 The neighborhood paradigm of testing
Mutation testing, domain testing
4 Symbolic execution
Automatic test generation
5 Specification-Based Testing
Category-partition, test refinement
6 Estimating the probability of correctness,
Test sensitivity
7 Reliability growth modeling :
Jelinski Moranda.
8 Moranda Geometric Model.
9 Musa's Models-- Basic and Log Poisson
10 Predictive models and Measuremnt Techniques.
11 Real data sources--Nagle's replication technique
12 Data Simulation techniques
13 Testing/Reliability Crossovers