• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Tracing Requirements in a Model-Based Testing Approach

Fredrik Abbors, Dragos Truscan, Johan Lilius, Tracing Requirements in a Model-Based Testing Approach. In: Alimohammad Amirhossein, Meixner Anne, Popescu Manuela (Eds.), Proceedings of The First International Conference on Advances in System Testing and Validation Lifecycle (VALID 2009), 123–128, IEEE Computer Society , 2009.

http://dx.doi.org/10.1109/VALID.2009.15

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.

Files:

Full publication in PDF-format

BibTeX entry:

@INPROCEEDINGS{inpAbTrLi09a,
  title = {Tracing Requirements in a Model-Based Testing Approach},
  booktitle = {Proceedings of The First International Conference on Advances in System Testing and Validation Lifecycle (VALID 2009)},
  author = {Abbors, Fredrik and Truscan, Dragos and Lilius, Johan},
  editor = {Amirhossein, Alimohammad and Anne, Meixner and Manuela, Popescu},
  publisher = {IEEE Computer Society },
  pages = {123–128},
  year = {2009},
}

Belongs to TUCS Research Unit(s): Software Engineering Laboratory (SE Lab)

Edit publication