Repetitive Quiescence in Implementation and Testing (Extended Abstract)


Share/Save/Bookmark

Tretmans, G.J. (1997) Repetitive Quiescence in Implementation and Testing (Extended Abstract). In: Formale Beschreibungstechniken für verteilte Systeme, 19.-20. Juni 1997, Berlin, Germany (pp. pp. 23-37).

[img] PDF
Restricted to UT campus only
: Request a copy
191kB
Abstract:This paper studies implementation relations and testing based on labelled transition sys-
tems, using the assumption that implementations communicate with their environment via
inputs and outputs. Such implementations are formalized by restricting the class of transition
systems to those systems that can always accept input actions. Implementation relations,
which formalize the notion of correctness of these implementations with respect to labelled
transition system specifications, are defined analogous to the theories of testing equivalence
and preorder, and refusal testing. A test generation algorithm is given, which is proved to
produce a sound and exhaustive test suite from a specification, i.e., a test suite that fully
characterizes the set of correct implementations.
Item Type:Conference or Workshop Item
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Link to this item:http://purl.utwente.nl/publications/63309
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page