An approach to automatic detection of software failures

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

doi:10.1109/issre.1995.497672

Cited by 25 publications

(4 citation statements)

References 6 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…2) Temporal properties -the order of events, which can be checked by comparing the sequence of observed events with that specified by either a temporal logic [7], [8]; a finite state machine model [15], [6]; or a context-free grammar [2]. 3) Timing constraints -the time elapsed between events, which can be expressed using a real-time logic [23], [17]; or as extensions on a finite state machine model [25], [34].…”

Section: Related Workmentioning

confidence: 99%

Requirements-based monitors for real-time systems

Peters

2000

Proceedings of the 2000 ACM SIGSOFT International Symposium on Software Testing and Analysis

View full text Add to dashboard Cite

Abstract-Before designing safety-or mission-critical real-time systems, a specification of the required behavior of the system should be produced and reviewed by domain experts. After the system has been implemented, it should be thoroughly tested to ensure that it behaves correctly. This is best done using a monitor, a system that observes the behavior of a target system and reports if that behavior is consistent with the requirements. Such a monitor can be used both as an oracle during testing and as a supervisor during operation. Monitors should be based on the documented requirements of the system.If the target system is required to monitor or control real-valued quantities, then the requirements, which are expressed in terms of the monitored and controlled quantities, will allow a range of behaviors to account for errors and imprecision in observation and control of these quantities. Even if the controlled variables are discrete valued, the requirements must specify the timing tolerance. Because of the limitations of the devices used by the monitor to observe the environmental quantities, there is unavoidable potential for false reports, both negative and positive. This paper discusses design of monitors for real-time systems, and examines the conditions under which a monitor will produce false reports. We describe the conclusions that can be drawn when using a monitor to observe system behavior.

show abstract

Section: Related Workmentioning

confidence: 99%

Requirements-based monitors for real-time systems

Peters

2000

Proceedings of the 2000 ACM SIGSOFT International Symposium on Software Testing and Analysis

View full text Add to dashboard Cite

show abstract

“…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

“…It can be used as a complement to formal verification and software testing in which higher reliability of software systems can be achieved. Recently, there has been increasing attention from the research community to the development of techniques and tools for runtime monitoring of software systems [1][2][3][4][5][6][7][8]. For example, Java with Assertions (Jass) [3] extends Java to allow annotating Java programs with specification in the form of assertions such as method pre-and post-conditions, class invariants, and so on.…”

Section: Introductionmentioning

confidence: 99%

Software monitoring through formal specification animation

Liang

Dong

Sun

et al. 2009

Innovations Syst Softw Eng

View full text Add to dashboard Cite

This paper presents a formal specification-based software monitoring approach that can dynamically and continuously monitor the behaviors of a target system and explicitly recognize undesirable behaviors in the implementation with respect to its formal specification. The key idea of our approach is in building a monitoring module that connects a specification animator with a program debugger. The requirements information about expected dynamic behaviors of the target system are gathered from the formal specification animator, while the actual behaviors of concrete implementations of the target system are obtained through the program debugger. Based on the information obtained from both sides, the judgement on the conformance of the concrete implementation with respect to the formal specification is made timely while the target system is running. Furthermore, the proposed formal specification-based software monitoring technique does not embed any instrumentation codes to the target system nor does it annotate the target system with any formal specifications. It can detect implementation errors in a real-time manner, and help the developers and users of the system to react to the problems before critical failure occurs.

show abstract

An approach to automatic detection of software failures

Cited by 25 publications

References 6 publications

Requirements-based monitors for real-time systems

Requirements-based monitors for real-time systems

Criteria for generating specification-based tests

Software monitoring through formal specification animation

Contact Info

Product

Resources

About