Requirements Traceability within Model-Based Testing: Applying Path Fragments and Temporal Logic | IGI Global Scientific Publishing
Welcome to the InfoSci Platform
Reference Hub1
Requirements Traceability within Model-Based Testing: Applying Path Fragments and Temporal Logic

Requirements Traceability within Model-Based Testing: Applying Path Fragments and Temporal Logic

Vanessa Grosch
Copyright: © 2011 |Volume: 2 |Issue: 2 |Pages: 21
ISSN: 1947-3176|EISSN: 1947-3184|EISBN13: 9781613506905|DOI: 10.4018/jertcs.2011040101
Cite Article Cite Article

MLA

Grosch, Vanessa. "Requirements Traceability within Model-Based Testing: Applying Path Fragments and Temporal Logic." IJERTCS vol.2, no.2 2011: pp.1-21. https://doi.org/10.4018/jertcs.2011040101

APA

Grosch, V. (2011). Requirements Traceability within Model-Based Testing: Applying Path Fragments and Temporal Logic. International Journal of Embedded and Real-Time Communication Systems (IJERTCS), 2(2), 1-21. https://doi.org/10.4018/jertcs.2011040101

Chicago

Grosch, Vanessa. "Requirements Traceability within Model-Based Testing: Applying Path Fragments and Temporal Logic," International Journal of Embedded and Real-Time Communication Systems (IJERTCS) 2, no.2: 1-21. https://doi.org/10.4018/jertcs.2011040101

Export Reference

Mendeley
Favorite Full-Issue Download

Abstract

Requirements traceability enables the linkage between all development artifacts during the development process. Within model-based testing, requirements traceability links the original requirements with test model elements and generated test cases. Current approaches are either not practical or lack the necessary formal foundation for generating requirements-based test cases using model-checking techniques involving the requirements trace. This paper describes a practical and formal approach to ensure requirements traceability. The descriptions of the requirements are defined on path fragments of timed automata or timed state charts. The graphical representation of these paths is called a computation sequence chart (CSC). CSCs are automatically transformed into temporal logic formulae. A model-checking algorithm considers these formulae when generating test cases.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global Scientific Publishing bookstore.