DocumentCode
1725425
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
fYear
1988
Firstpage
340
Lastpage
346
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Computers and Communications, 1988. Conference Proceedings., Seventh Annual International Phoenix Conference on
Conference_Location
Scottsdale, AZ
Print_ISBN
0-8186-0830-7
Type
conf
DOI
10.1109/PCCC.1988.10096
Filename
10096
Link To Document