Title :
Modelling of expressed system behavior towards characterization of the conformance testing problem
Author :
Turner, Doug ; Ural, Hasan
Author_Institution :
Dept. of Comput. Sci., Ottawa Univ., Ont., Canada
Abstract :
A tree model to concisely represent a possibly nondeterministic system behavior is presented. On the basis of this model, a characterization of the set of conforming implementations of a given specification by a set of tests is described. Possible strategies for selective application of the set of tests to a given implementation are discussed
Keywords :
computation theory; computer architecture; computer testing; program testing; specification languages; trees (mathematics); conformance testing problem characterisation; expressed system behaviour modelling; nondeterministic system behavior; tree model; Acoustic testing; Computer science; Process control; Protocols; Real time systems; System testing;
Conference_Titel :
Computers and Communications, 1988. Conference Proceedings., Seventh Annual International Phoenix Conference on
Conference_Location :
Scottsdale, AZ
Print_ISBN :
0-8186-0830-7
DOI :
10.1109/PCCC.1988.10096
