Campus Event Calendar
Event Entry
What and Who
Towards a structural coverage measure for protocols
Bertrand Le Saec
LabRI, Univ. Bordeaux II
Logik-Seminar
AG 1, AG 2, AG 3, INET, AG 4, AG 5, D6, RG1, SWS
AG Audience
English
Note: We use this to send email in the morning.
Date, Time and Location
Friday, 26 April 96
15:15
60 Minutes
46.1 - MPII
019
Saarbrücken
Abstract
The coverage of a protocol specification by finite test suite
appears to be an important criteria for the quality evaluation
of communication system tests. We present a new evaluation
coverage method which takes in account the structure of the
automaton specification of a protocol. This approach is based
on a canonical decomposition of a test sequence induced by the
elementary cycles of the automaton.
appears to be an important criteria for the quality evaluation
of communication system tests. We present a new evaluation
coverage method which takes in account the structure of the
automaton specification of a protocol. This approach is based
on a canonical decomposition of a test sequence induced by the
elementary cycles of the automaton.
Contact
--email hidden
passcode not visible
logged in users only
Tags, Category, Keywords and additional notes
Verifikation; Testing
Am 25.04.96 um 13.15 Uhr gibt Bertrand Le Saec in Geb. 46.1,
Hoersaal 022, ein Tutorial über industrielle Anwendungen von
formellen Methoden zur Verifikation und zum Testing.
Hoersaal 022, ein Tutorial über industrielle Anwendungen von
formellen Methoden zur Verifikation und zum Testing.