Publications

A Formal Analysis of Requirements-Based Testing

Authors
Charles Pecheur, Franco Raimondi, Guillaume Brat
Tags
, , , , ,
Title
A Formal Analysis of Requirements-Based Testing
Authors
Charles Pecheur, Franco Raimondi, Guillaume Brat
 issta31-pecheur.pdf Δ   238Kb   29 Apr 2010
Type
In Proceedings
Book title
2009 International Conference on Software Testing and Analysis (ISSTA), Chicago, IL
Editor
ACM
Year
2009

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. 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.

Tags Tags: , , , , ,


BibTeX Record
  @INPROCEEDINGS{lvl-2009-1,
    TITLE = {A Formal Analysis of Requirements-Based Testing},
    AUTHOR = {Charles Pecheur and Franco Raimondi and Guillaume Brat},
    YEAR = {2009},
    BOOKTITLE = {2009 International Conference on Software Testing and Analysis (ISSTA), Chicago, IL},
    EDITOR = {ACM},
    URL = {http://lvl.info.ucl.ac.be/Publications/AFormalAnalysisOfRequirements-BasedTesting},
  }