Statecharts: A visual formalism for complex systems
Science of Computer Programming
Using model checking to generate tests from requirements specifications
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
Model-based testing for real: The inhouse card case study
International Journal on Software Tools for Technology Transfer (STTT)
Generating Efficient Test Sets with a Model Checker
SEFM '04 Proceedings of the Software Engineering and Formal Methods, Second International Conference
One evaluation of model-based testing and its automation
Proceedings of the 27th international conference on Software engineering
On the integration of design and test: a model-based approach for embedded systems
Proceedings of the 2006 international workshop on Automation of software test
Coverage metrics for requirements-based testing
Proceedings of the 2006 international symposium on Software testing and analysis
Formal incremental requirements specification of service-oriented automotive software systems
SOSE '06 Proceedings of the Second IEEE International Symposium on Service-Oriented System Engineering
Specification test coverage adequacy criteria = specification test generation inadequacy criteria
HASE'04 Proceedings of the Eighth IEEE international conference on High assurance systems engineering
Exploiting aspects in model-based testing
Proceedings of the eleventh workshop on Foundations of Aspect-Oriented Languages
Requirements Traceability within Model-Based Testing: Applying Path Fragments and Temporal Logic
International Journal of Embedded and Real-Time Communication Systems
Hi-index | 0.00 |
In model-based testing a test case specification is used to determine the set of test cases to be generated automatically. This paper introduces a requirements-based test case specification which uses information gathered by reasoning about the construction of the model. The basic idea is to reason about the motivation why an element of the model was introduced. This reasoning about model construction leads to specific restrictions of the model for every requirement; the restricted models are used for requirements-based test case generation. The paper gives a formal specification of the requirements-based test case specification TSpecREQ based on Mealy machines and outlines its usage in a development process where the requirements specifications given by various stakeholders are considered as well.