Goal
- Find defects while executing systems;
- Estimate the number of remaining defects.
Description
A lot of tools exist for testing executing systems or dynamic analysis and it is widely
applied in industry. Statistical testing can be used to give an estimation of the number of errors still left.
The outcome of this case study can be the actual defects found or e.g. an estimation if further testing is
necessary based on the previous test results. This means two different "certificates" can be obtained.
Input
- Executable information processing system;
- Architecture phase products:
- Requirements;
- Detailed System Model;
- Test Cases;
Output
- Defects;
- Software reliability and test coverage.
Case Studies
- Evaluation of the quality of a national error reporting system. In this system the failures and problems in distribution of energy are stored and analyzed.
- Diagnosis of technical knock-out criteria of software packages. Analysis of the technical quality of software packages based on these knock-out criteria.
- Collect test data in several projects, develop and implement a statistical model to use this data in order to predict the quality of software and forecast the needed effort to reach a given quality.
- Report of the statistical derived quality of specific modules of a big information system.
- Guard the execution of testing based on earlier developed test scenario’s. Validation of the acceptance test of a fully outsourced chip card system.

