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

Authors:
Kristina Winbladh;Thomas A. Alspaugh;Hadar Ziv;Debra J. Richardson
Affiliations:
University of California, Irvine;University of California, Irvine;University of California, Irvine;University of California, Irvine
Venue:
ASE '06 Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering
Year:
2006

Citing 0
Cited 6

Architecture-based testing using goals and plans

Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis
An automated approach to monitoring and diagnosing requirements

Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Monitoring and diagnosing software requirements

Automated Software Engineering
Monitoring and Diagnosing Malicious Attacks with Autonomic Software

ER '09 Proceedings of the 28th International Conference on Conceptual Modeling
Analysing monitoring and switching problems for adaptive systems

Journal of Systems and Software
A taxonomy for requirements engineering and software test alignment

ACM Transactions on Software Engineering and Methodology (TOSEM)

Quantified Score

Hi-index	0.00

Visualization

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.