STRUCTURAL COVERAGE FOR LOTOS
A Probe Insertion Technique
Daniel Amyot and Luigi Logrippo
School of Information Technology and Engineering
University of Ottawa
Ottawa, Ontario, K1N 6N5,Canada
Abstract Coverage analysis of programs and specifications is a common approach to
measure the quality and the adequacy of a test suite. This paper presents a probe
insertion technique for measuring the structural coverage of LOTOS specifica-
tions against validation test suites. Coverage results can help detecting incom-
plete test suites, a discrepancy between a specification and its tests, and
unreachable parts of a given specification. Such results are provided for several
examples, taken from real-life and hypothetical communicating systems for
which a LOTOS specification was constructed and validated.
Keywords: Coverage, LOTOS, probes, specification, validation testing.
"When to stop testing?" is and will remain an important problem for com-