Abstract:
This paper addresses the problem of automatizing the
production of test sequences for reactive systems. We
particularly
focus on two points: (1) generating relevant inputs,
with respect to
some knowledge about the environment in which the system
is intended to
run; (2) checking the correctness of the test results,
according to
the expected behavior of the system. We propose to use
synchronous observers to express both the relevance
and the
correctness of the test sequences. In particular, the
relevance
observer is used to randomly choose inputs satisfying
temporal
assumptions about the environment. These assumptions
may involve both
Boolean and linear numerical constraints. A prototype
tool, called
Lurette, has been developed and experimented,
which works on
observers written in the Lustre programming
language.
Reference:
@INPROCEEDINGS{lurette:rtss,
AUTHOR = {P. Raymond and D. Weber and X. Nicollin
and N. Halbwachs},
TITLE={Automatic Testing of Reactive Systems},
BOOKTITLE={19th IEEE Real-Time Systems Symposium},
address = {Madrid, Spain},
month=dec,
year = 1998
}