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
FM2018 Δ   0Kb   28 May 2020
Fmics2013 Δ   0Kb   28 May 2020
GandALF2017 Δ   0Kb   28 May 2020
HMI2011 Δ   0Kb   28 May 2020
LVLPrivate Δ   0Kb   28 May 2020
LVLPrivateNews Δ   0Kb   28 May 2020
Main Δ   0Kb   28 May 2020
Members Δ   0Kb   28 May 2020
Publications Δ   4Kb   28 May 2020
Site Δ   0Kb   28 May 2020
Talks Δ   4Kb   28 May 2020
Tools Δ   0Kb   28 May 2020
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 = {https://lvl.info.ucl.ac.be/Publications/AFormalAnalysisOfRequirements-BasedTesting},
  }