Approach to automatic detection of software failures

M. Hlady, R. Kovacevic, J. J. Li, B. R. Pekilis, D. Prairie, T. Savor, R. E. Seviora, D. Simser, A. Vorobiev

Research output: Contribution to journalConference articlepeer-review

15 Scopus citations

Abstract

The focus of this paper is on an approach to the automatic failure detection of reactive software systems called specification-based supervision. Assumed is that the software is specified in a formalism based on communicating extended finite state machines (CEFSMs). The major difficulty in supervising such systems is that the supervisor must account for all possible behaviors that are permissible under the non-determinism present in the specification. An approach to the automatic detection of failures based on the theory of beliefs is presented. This theory was developed to deal with the nondeterminisms present in CEFSM based formalisms. The specification language SDL, standardized by the International Telecommunication Union, is used as a concrete example. In the theory of beliefs, each behavioral alternative is represented as a separate belief of one or more specification CEFSMs. Beliefs are combined into consistent belief sets that represent legitimate external behaviors. A consistent belief set representing a behavior that does not match the actually observed behavior is terminated. If all consistent belief sets have been terminated, the observed behavior is not legitimate and is reported as a failure of the target software system. A prototype implementation of a belief-based supervisor was developed. The implementation was used to monitor execution of a small telephone exchange. Both the supervisor and exchange were emulated on a workstation. Statistics characterizing the number of consistent belief sets are presented.

Original languageEnglish
Pages (from-to)314-323
Number of pages10
JournalProceedings of the International Symposium on Software Reliability Engineering, ISSRE
StatePublished - 1995
EventProceedings of the 1995 6th International Symposium on Software Reliability Engineering - Toulouse, Fr
Duration: 24 Oct 199527 Oct 1995

Fingerprint

Dive into the research topics of 'Approach to automatic detection of software failures'. Together they form a unique fingerprint.

Cite this