kirancodes.me
To Proof Maintenance & Beyond!
FSE 2001

STG: a tool for generating symbolic test programs and oracles from operational specifications

Duncan Clarke, Thierry Jéron, Vlad Rusu, Elena Zinovieva

PDFDOI 10.1145/503209.503252dblp

Abstract

We report on a tool we have developed that automates the derivation of tests from specifications. The tool implements conformance testing techniques to derive symbolic tests that incorporate their own oracles from formal operational specifications. It was applied for testing a simple version of the CEPS (Common Electronic Purse Specification).

BibTeX
@inproceedings{Clarke-al:FSE01,
  author    = {Duncan Clarke and
               Thierry J{\'{e}}ron and
               Vlad Rusu and
               Elena Zinovieva},
  title     = {{STG:} a tool for generating symbolic test programs and oracles from operational specifications},
  booktitle = {{ESEC/SIGSOFT} {FSE}},
  pages     = {301--302},
  publisher = {{ACM}},
  year      = {2001},
}

Related papers