A formal analysis of requirements-based testing

Pecheur, Charles and Raimondi, Franco and Brat, Guillaume (2009) A formal analysis of requirements-based testing. In: Proceedings of the Eighteenth International Symposium on Software Testing and Analysis. Rothermel, Gregg and Dillon, Laura, eds. Association for Computing Machinery, pp. 47-56. ISBN 9781605583389


Official URL: http://dx.doi.org/10.1145/1572272.1572279


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.

Item Type:Book Section
Additional Information:

Conference held on July 19-23, 2009 in Chicago, Illinois, USA.

Research Areas:School of Science and Technology > Science & Technology
ID Code:5270
Useful Links:
Deposited On:29 Apr 2010 13:24
Last Modified:23 Jul 2014 12:25

Repository staff only: item control page

Full text downloads (NB count will be zero if no full text documents are attached to the record)

Downloads per month over the past year