This paper presents a model-based black-box testing app- roach for dynamically adaptive systems. Behavioral models of such systems are formally specified using timed automata. With the aim of obtaining the new test suite and avoiding its regeneration in a cost effective manner, we propose a selective test generation approach. The latter comprises essentially three modules: (1) a model differencing module that detects similarities and differences between the initial and the evolved behavioral models, (2) an old test classification module that identifies reusable and retestable tests from the old test suite, and finally (3) a test generation module that generates new tests covering new behaviors and adapts old tests that failed during animation. To show its efficiency, the proposed technique is illustrated through the Toast application and compared to the classical Regenerate All and Retest All approaches.
CITATION STYLE
Lahami, M., Krichen, M., Barhoumi, H., & Jmaiel, M. (2015). Selective test generation approach for testing dynamic behavioral adaptations. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9447, pp. 224–239). Springer Verlag. https://doi.org/10.1007/978-3-319-25945-1_14
Mendeley helps you to discover research relevant for your work.