DocumentCode
2754055
Title
Supervisors for testing non-deterministically specified systems
Author
Savor, T. ; Seviora, R.E.
Author_Institution
Dept. of Electr. & Comput. Eng., Waterloo Univ., Ont., Canada
fYear
1997
fDate
1-6 Nov 1997
Firstpage
948
Lastpage
953
Abstract
An approach to automate detection of behavioral failures during system testing is described. A supervisor monitors the inputs and outputs of a system under test. It reports discrepancies between observed and specified behaviors as failures. Failures due to both design and implementation are detectable. The approach presented is able to tolerate legal behavioral alternatives arising out of specification non-determinism
Keywords
automatic test equipment; automatic testing; computational complexity; electronic equipment testing; fault location; telecommunication equipment testing; failure detection; legal behavior; nondeterministically specified systems; path detection module; supervisor monitors; testing; Computer displays; Condition monitoring; Instruments; Laboratories; Law; Legal factors; Software reliability; System software; System testing; Telephony;
fLanguage
English
Publisher
ieee
Conference_Titel
Test Conference, 1997. Proceedings., International
Conference_Location
Washington, DC
ISSN
1089-3539
Print_ISBN
0-7803-4209-7
Type
conf
DOI
10.1109/TEST.1997.639710
Filename
639710
Link To Document