kirancodes.me
To Proof Maintenance & Beyond!
ASE 2001

Test Purposes: Adapting the Notion of Specification to Testing

Yves Ledru, Lydie du Bousquet, Pierre Bontron, Olivier Maury, Catherine Oriat, Marie-Laure Potet

DOI 10.1109/ase.2001.989798dblp

Abstract

Nowadays, test cases may correspond to elaborate programs. It is therefore sensible to try to specify test cases in order to get a more abstract view of these. This paper explores the notion of test purpose as a way to specify a set of test cases. It shows how test purposes are exploited today by several tools that automate the generation of test cases. It presents the major relations that link test purposes, test cases and reference specification. It also explores the similarities and differences between the specification of test cases, and the specification of programs. This opens perspectives for the synthesis and the verification of test cases, and for other activities like test case retrieval.

BibTeX
@inproceedings{Ledru-al:ASE01,
  author    = {Yves Ledru and
               Lydie du Bousquet and
               Pierre Bontron and
               Olivier Maury and
               Catherine Oriat and
               Marie{-}Laure Potet},
  title     = {Test Purposes: Adapting the Notion of Specification to Testing},
  booktitle = {ASE},
  pages     = {127--134},
  publisher = {{IEEE} Computer Society},
  year      = {2001},
}

Related papers