Exploration Testing

Authors:
Juhana Helovuo;Sari Leppanen
Affiliations:
-;-
Venue:
ACSD '01 Proceedings of the Second International Conference on Application of Concurrency to System Design
Year:
2001

Citing 0
Cited 6

Verifying Reliable Data Transmission over UMTS Radio Interface with High Level Petri Nets

FORTE '02 Proceedings of the 22nd IFIP WG 6.1 International Conference Houston on Formal Techniques for Networked and Distributed Systems
Heuristics for Faster Error Detection With Automated Black Box Testing

Electronic Notes in Theoretical Computer Science (ENTCS)
Verifying a UMTS Protocol Using Spin and EASN

Electronic Notes in Theoretical Computer Science (ENTCS)
DEVSpecL: DEVS specification language for modeling, simulation and analysis of discrete event systems

Information and Software Technology
Efficient model checking of safety properties

SPIN'03 Proceedings of the 10th international conference on Model checking software
Model-Based testing through a GUI

FATES'05 Proceedings of the 5th international conference on Formal Approaches to Software Testing

Quantified Score

Hi-index	0.00

Visualization

Abstract

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 on- the-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.