Paper Info
Title
Oracles for checking temporal properties of concurrent systems
Abstract
Verifying that test executions are correct is a crucial step in the testing process. Unfortunately, it can be a very arduous and error-prone step, especially when testing a concurrent system. System developers can therefore benefit from oracles automating the verification of test executions.This paper examines the use of Graphical Interval Logic (GIL) for specifying temporal properties of concurrent systems and describes a method for constructing oracles from GIL specifications. The visually intuitive representation of GIL specifications makes them easier to develop and to understand than specifications written in more traditional temporal logics.Additionally, when a test execution violates a GIL specification, the associated oracle provides information about a fault. This information can be displayed visually, together with the execution, to help the system developer see where in the execution a fault was detected and the nature of the fault.
Year
DOI
Venue
1994
10.1145/193173.195401
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Keywords
Field
DocType
program optimization,compilers,formal specifications,temporal logic
Program optimization,Programming language,Interval temporal logic,Software engineering,Computer science,Oracle,Real-time computing,Compiler,Formal specification,Test execution
Conference
Volume
Issue
ISSN
19
5
0163-5948
ISBN
Citations 
PageRank 
0-89791-691-3
48
3.82
References 
Authors
17
2
Name
Order
Citations
PageRank
Laura K. Dillon149770.70
Qing Yu2483.82