Supervisors for Testing Non-Deterministically Specified Systems

Authors:
T. Savor;R. E. Seviora
Affiliations:
-;-
Venue:
ITC '97 Proceedings of the 1997 IEEE International Test Conference
Year:
1997

Citing 7
Cited 0

Formal Methods for Protocol Testing: A Detailed Study

IEEE Transactions on Software Engineering
Specification-based test oracles for reactive systems

ICSE '92 Proceedings of the 14th international conference on Software engineering
Observer-A Concept for Formal On-Line Validation of Distributed Systems

IEEE Transactions on Software Engineering
Concurrent Runtime Monitoring of Formally Specified Programs

Computer
Experience in Diagnosing a Remote, Tele-Controlled Unit Using the AITEST Expert System

Proceedings of the IEEE International Test Conference on Designing, Testing, and Diagnostics - Join Them
Improving the efficiency of supervision by software through state aggregation

RTAS '95 Proceedings of the Real-Time Technology and Applications Symposium
Automatic detection of software failures with hierarchical supervisors

Automatic detection of software failures with hierarchical supervisors

Quantified Score

Hi-index	0.00

Visualization

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 andspecified behaviors as failures. Failures due to both design and implementation are detectable. The approachpresented is able to tolerate legal behavioral alternatives arising out of specification non-determinism.