A flexible environment to evaluate state-based test techniques

Authors:
R. M. Hierons
Affiliations:
Brunel University, Uxbridge, Middlesex, UK
Venue:
ACM SIGSOFT Software Engineering Notes
Year:
2004

Citing 6
Cited 0

The Z notation: a reference manual

The Z notation: a reference manual
The B-book: assigning programs to meanings

The B-book: assigning programs to meanings
Fault classes and error detection capability of specification-based testing

ACM Transactions on Software Engineering and Methodology (TOSEM)
Modeling Reactive Systems with Statecharts: The Statemate Approach

Modeling Reactive Systems with Statecharts: The Statemate Approach
Comparing test sets and criteria in the presence of test hypotheses and fault domains

ACM Transactions on Software Engineering and Methodology (TOSEM)
Testing Can Be Formal, Too

TAPSOFT '95 Proceedings of the 6th International Joint Conference CAAP/FASE on Theory and Practice of Software Development

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this position paper we argue that the presence of a flexible test environment, that allows the rapid prototyping of test techniques, would facilitate empirical research in software testing. Such an environment could be combined with a set of benchmark systems and specifications in order to allow researchers to rapidly prototype and evaluate new techniques. In this paper we focus on some of the requirements for a description language to be used by such an environment.