Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
STRUCTURAL COVERAGE FOR LOTOS A Probe Insertion Technique
 

Summary: 19
2
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
{damyot,luigi} @site.uottawa.ca
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.
1. INTRODUCTION
"When to stop testing?" is and will remain an important problem for com-

  

Source: Amyot, Daniel - School of Information Technology and Engineering, University of Ottawa

 

Collections: Computer Technologies and Information Sciences