Model-Based Testing for Embedded Systems

Automated Statistical Testing for Embedded Systems 141

record” suggests, one approaches statistical testing as experiments to demonstrate and doc-

ument that the system under test satisfies various criteria. This form of testing provides

supporting evidence for dependability assurance cases (Gutjahr 2000, Jackson, Thomas, and

Millett 2009).

Statistical testing based on usage models can be applied to large and complex systems

because the modeling can be done at various levels of abstraction and because the models

effectively allow analysis and simulation of use of the application rather than the application

itself.

References

Alam, M.S. et al. (1997).