Case studies on fault detection effectiveness of model based test generation techniques.

Case studies on fault detection effectiveness of model based test generation techniques.

Model-based test generation (MBTG) is becoming an area of active research. These techniques differ in terms of (1) modeling notations used, and (2) the adequacy criteria used for test generation. This paper (1) reviews different classes of MBTG techniques at a conceptual level, and (2) reports resul...

Full description

Bibliographic Details
Published in:Software engineering notes. 30, 5 (2005).
Main Author: Paradkar, Amit
Format: Article
Language:English
Subjects:
Software.
Operating systems.
Reliability.
Fault-tolerance.
Software engineering.
Software / Program Verification.
Model checking.
Testing and debugging.
Testing tools (e.g., data generators, coverage testing).
Design.
Experimentation.
Measurement.
Performance.