A formal analysis of requirements-based testing
Book chapter
Pecheur, C., Raimondi, F. and Brat, G. 2009. A formal analysis of requirements-based testing. in: Rothermel, G. and Dillon, L. (ed.) Proceedings of the Eighteenth International Symposium on Software Testing and Analysis Association for Computing Machinery (ACM). pp. 47-56
Chapter title | A formal analysis of requirements-based testing |
---|---|
Authors | Pecheur, C., Raimondi, F. and Brat, G. |
Abstract | 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. |
Research Group | Foundations of Computing group |
SensoLab group | |
Artificial Intelligence group | |
Research Group on Development of Intelligent Environments | |
Page range | 47-56 |
Book title | Proceedings of the Eighteenth International Symposium on Software Testing and Analysis |
Editors | Rothermel, G. and Dillon, L. |
Publisher | Association for Computing Machinery (ACM) |
ISBN | |
Hardcover | 9781605583389 |
Publication dates | |
19 Jul 2009 | |
Publication process dates | |
Deposited | 29 Apr 2010 |
Output status | Published |
Additional information | Conference held on July 19-23, 2009 in Chicago, Illinois, USA. |
Digital Object Identifier (DOI) | https://doi.org/10.1145/1572272.1572279 |
Language | English |
File |
Permalink -
https://repository.mdx.ac.uk/item/829qx
Download files
38
total views12
total downloads1
views this month0
downloads this month