A formal analysis of requirements-based testing
Pecheur, Charles, 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|
Conference held on July 19-23, 2009 in Chicago, Illinois, USA.
|Research Areas:||Science & Technology > Science & Technology|
|Deposited On:||29 Apr 2010 13:24|
|Last Modified:||03 Jun 2013 11:33|
Repository Staff Only: item control page
Downloads per month over past year