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
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;
Conference_Titel :
Test Conference, 1997. Proceedings., International
Conference_Location :
Washington, DC
Print_ISBN :
0-7803-4209-7
DOI :
10.1109/TEST.1997.639710
