Hans van der Schoot

Validation activities for LOTOS based on static data flow analysis

M.Sc.Thesis (MI 93-36)

Department of Computer Science
University of Twente, Enschede, the Netherlands
(carried out at the University of Ottawa)

"Validation activities for LOTOS based on static data flow analysis"
discusses data flow based validation of full LOTOS specifications and
their implementations.

By performing a static data flow analysis of a LOTOS specification,
all associations among its 'inputs' and its 'outputs' are exposed,
which thereby facilitates two kinds of validation activities, viz.
data flow anomaly detection and data flow oriented test selection.
The former provides a means of validating the LOTOS specification,
whereas the latter is intended for testing the conformance of the
corresponding implementation.