kirancodes.me
To Proof Maintenance & Beyond!
ASE 2006

An Automated Approach for Goal-driven, Specification-based Testing

Kristina Winbladh, Thomas A. Alspaugh, Hadar Ziv, Debra J. Richardson

DOI 10.1109/ase.2006.11dblp

Abstract

This paper presents a specification-based approach that addresses several known challenges including false positives and domain knowledge errors. Our approach begins with a goal graph and plans. Source code is annotated with goals and events and precompiled to emit those at run time. Plans are automatically translated into a rule-based recognizer. An oracle is produced from the pre- and postconditions associated with the plan's goals. When the program is executed, goals and events are emitted and automatically tested against plans and oracles. The concept is demonstrated on a small example and a larger publicly available case study

BibTeX
@inproceedings{Winbladh-al:ASE06,
  author    = {Kristina Winbladh and
               Thomas A. Alspaugh and
               Hadar Ziv and
               Debra J. Richardson},
  title     = {An Automated Approach for Goal-driven, Specification-based Testing},
  booktitle = {ASE},
  pages     = {289--292},
  publisher = {{IEEE} Computer Society},
  year      = {2006},
}

Related papers