Sciweavers

ISSTA
2009
ACM

A formal analysis of requirements-based testing

13 years 10 months ago
A formal analysis of requirements-based testing
The aim of requirements-based testing is to generate test cases from a set of requirements for a given system or piece of software. In this paper we propose a formal semantics for the generation of test cases from requirements by revising and extending the results presented in previous works (e.g. [21, 20, 13]). We give a syntactic characterisation of our method, defined inductively over the syntax of LTL formulae, and prove that this characterisation is sound and complete, given some restrictions on the formulae that can be used to encode requirements. We provide various examples to show the applicability of our approach. Categories and Subject Descriptors D.2.5 [Software Engineering]: Testing and Debugging; D.2.4 [Software Engineering]: Software/Program Verification General Terms Verification Keywords Coverage metrics, Requirements-based testing
Charles Pecheur, Franco Raimondi, Guillaume Brat
Added 28 May 2010
Updated 28 May 2010
Type Conference
Year 2009
Where ISSTA
Authors Charles Pecheur, Franco Raimondi, Guillaume Brat
Comments (0)