Conference Proceeding

Supervisors for testing non-deterministically specified systems

Dept. of Electr. & Comput. Eng., Waterloo Univ., Ont.
IEEE International Test Conference (TC) 12/1997; DOI:10.1109/TEST.1997.639710 ISBN: 0-7803-4209-7 In proceeding of: Test Conference, 1997. Proceedings., International
Source: IEEE Xplore

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

0 0
 · 
0 Bookmarks
 · 
16 Views
Data provided are for informational purposes only. Although carefully collected, accuracy cannot be guaranteed. The impact factor represents a rough estimation of the journal's impact factor and does not reflect the actual current impact factor. Publisher conditions are provided by RoMEO. Differing provisions from the publisher's actual policy or licence agreement may be applicable.

Keywords

automate detection
 
behavioral failures
 
failures
 
inputs
 
legal behavioral alternatives
 
supervisor monitors
 
system testing
 

T. Savor