DocumentCode :
3633333
Title :
Tracing Requirements in a Model-Based Testing Approach
Author :
Fredrik Abbors;Dragos Truscan;Johan Lilius
Author_Institution :
Dept. of Inf. Technol., Abo Akademi Univ., Turku, Finland
fYear :
2009
Firstpage :
123
Lastpage :
128
Abstract :
In this paper we discuss an approach for requirements traceability in a model-based testing process. We show how the informal requirements of the system under test evolve and are traced at different steps of the process. More specifically, we discuss how requirements are traced to system specifications and from system specification to tests during the test generation process, and then how the test results are analyzed and traced back the specification of the system. The approach allows us to have both a fast feed-back loop for debugging either the specification or the implementation of the system and a way to estimate the coverage degree of the generated tests with respect to requirements. We discuss tool support for the approach and exemplify with excerpts from a case study in the telecommunications domain.
Keywords :
"System testing","Automatic testing","Software testing","Software systems","Time to market","Life testing","Debugging","Information technology","Automation","Feedback loop"
Publisher :
ieee
Conference_Titel :
Advances in System Testing and Validation Lifecycle, 2009. VALID ´09. First International Conference on
Print_ISBN :
978-1-4244-4862-3
Type :
conf
DOI :
10.1109/VALID.2009.15
Filename :
5279414
Link To Document :
بازگشت