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

[img]
Preview
PDF
243kB

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

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.

Item Type:Book Section
Additional Information:

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

Research Areas:Middlesex University Schools and Centres > School of Science and Technology > Computer Science
Middlesex University Schools and Centres > School of Science and Technology > Computer Science > Foundations of Computing group
Middlesex University Schools and Centres > School of Science and Technology > Computer Science > SensoLab group
Middlesex University Schools and Centres > School of Science and Technology > Computer Science > Artificial Intelligence group
Middlesex University Schools and Centres > School of Science and Technology > Computer Science > Intelligent Environments group
ID Code:5270
Useful Links:
Deposited On:29 Apr 2010 13:24
Last Modified:21 Nov 2014 17:20

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