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...

全面介紹

書目詳細資料
發表在:Software engineering notes. 30, 5 (2005).
主要作者: Paradkar, Amit
格式: Article
語言:English
主題:
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.