Automatic failure detection with Conditional-Belief supervisors

Li, J.J.; Seviora, R.E.

doi:10.1109/issre.1996.558672

Cited by 13 publications

(9 citation statements)

References 5 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…This project is looking at ways to generate tests from speci cations others, such a s L i e t a l . , h a ve b e e n d e v eloping techniques for creating expected output from speci cations 25,20,28].…”

Section: Introductionmentioning

confidence: 99%

Criteria for generating specification-based tests

Offutt

Xiong

Liu

Proceedings Fifth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'99) (Cat. No.PR00434)

View full text Add to dashboard Cite

This paper presents general criteria for generating test inputs from state-based s p eci cations. Software testing can only be formalized and quanti ed w h e n a solid basis for test generation can be d e n e d. Formal speci cations of complex systems represent a signicant opportunity for testing because they precisely describe what functions the software i s s u p p osed t o p r ovide in a form that can easily be manipulated. These techniques provide coverage criteria that are b ased o n the speci cations, and are made up of several parts, including test pre xes that contain inputs necessary to put the software into the appropriate state for the test values. The test generation process includes several steps for transforming speci cations to tests. Empirical results from a comparative case study application of these criteria are p r esented.

show abstract

Section: Introductionmentioning

confidence: 99%

Criteria for generating specification-based tests

Offutt

Xiong

Liu

Proceedings Fifth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'99) (Cat. No.PR00434)

View full text Add to dashboard Cite

show abstract

“…They have been used as a basis for test case generation, to check the output of software on test inputs [32,40,42], and as a basis for formalizing test specifications (as opposed to functional specifications) [50,51,52]. This paper is primarily concerned with the first use, that of generating test cases from specifications, commonly referred to as specification-based testing.…”

Section: Introductionmentioning

confidence: 99%

Generating test data from state‐based specifications

Offutt

Liu

Abdurazik

et al. 2003

Software Testing Verif & Rel

270

159

View full text Add to dashboard Cite

show abstract

“…Several research issues that require immediate attention are a better understanding of the tradeoffs among the power of failure detection, degree of state observbility, and the complexity of proof rules. Again, the main objective of the use of compositional approach is to reduce belief explosion [9], [10] or state explosion. However, nothing comes for free, and we may run into the problem of assumption explosion.…”

Section: Discussionmentioning

confidence: 99%

“…In comparison-based supervision, a supervisor waits for a target system output to compare it with the predicted output [9], [10]. Again, constraint-based supervisor can report not only the external failures but also the internal erroneous behaviors.…”

Section: Why Compositionality In Supervision?mentioning

confidence: 99%

“…The belief-based supervisors [9], [10] maintain a collection of hypotheses called consistent belief sets, which are basically the sets of possible global states. Even though they do not make the parallel composition of individual machines into a single one statically, the number of beliefs or global states may grow exponentially as the nondeterminism increases.…”

Section: Related Workmentioning

confidence: 99%

See 1 more Smart Citation