Patterns in property specifications for finite-state verification
Proceedings of the 21st international conference on Software engineering
Bounded Model Checking Using Satisfiability Solving
Formal Methods in System Design
Deciding Properties for Message Sequence Charts
FoSSaCS '98 Proceedings of the First International Conference on Foundations of Software Science and Computation Structure
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
Automating Requirements Traceability: Beyond the Record & Replay Paradigm
Proceedings of the 17th IEEE international conference on Automated software engineering
Model-Checking of causality properties
LICS '95 Proceedings of the 10th Annual IEEE Symposium on Logic in Computer Science
Playing with Time: On the Specification and Execution of Time-Enriched LSCs
MASCOTS '02 Proceedings of the 10th IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems
Events and Constraints: A Graphical Editor for Capturing Logic Requirements of Programs
RE '01 Proceedings of the Fifth IEEE International Symposium on Requirements Engineering
On the State of the Art in Requirements-based Validation and Test ofSoftware
On the State of the Art in Requirements-based Validation and Test ofSoftware
Using scenarios to support traceability
TEFSE '05 Proceedings of the 3rd international workshop on Traceability in emerging forms of software engineering
A Scenario-Matching Approach to the Description and Model Checking of Real-Time Properties
IEEE Transactions on Software Engineering
IBM Systems Journal - Model-driven software development
Practical Model-Based Testing: A Tools Approach
Practical Model-Based Testing: A Tools Approach
Towards traceability of model-based testing artifacts
Proceedings of the 3rd international workshop on Advances in model-based testing
Using model-checkers to generate and analyze property relevant test-cases
Software Quality Control
Requirements-based test case specification by using information from model construction
Proceedings of the 3rd international workshop on Automation of software test
Principles of Model Checking (Representation and Mind Series)
Principles of Model Checking (Representation and Mind Series)
| Hi-index | 0.00 |
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.