Exploration Testing

This paper describes a new way of testing reactive systems as investigated by the RATE-project at the Tampere University of Technology. We abandon the idea of systematically using a large library of predetermined test cases and instead use a "live" specification to generate test runs onthe-fly, as testing progresses. In order to do this, we assume that the behavior of the implementation under test is specified as a labelled transition system. This testing method is most applicable to testing concurrent, nondeterministic, and reactive behaviors rather than data-intensive computation.

• Type: Conference
• Year: 2001
• Where: ACSD
• Authors: Juhana Helovuo, Sari Leppänen
• Keywords: ACSD 2001, Hardware, Labelled Transition System, Testing Progresses, Testing Reactive Systems