Generating functional test cases in-the-large for time-critical systems from logic-based specifications
- 1 May 1996
- proceedings article
- Published by Association for Computing Machinery (ACM)
- Vol. 21 (3) , 39-52
- https://doi.org/10.1145/229000.226300
Abstract
We address the problem of generating functional test cases for complex, highly structured time-critical systems starting from a modularized logic-based specification written in the TRIOR+ language, an object-oriented extension of the temporal logic TRIO.First, we present methods for producing test cases for a TRIO+ specification module, referring both to the internal, hidden, portion of the module and to its interface. Then, we discuss criteria to be used in the construction of test cases from a TRIO+ specification based on its composing modules and the connections among their interfaces. We formally define the notions related to test case derivation from TRIO+ modules and we introduce an executable language for describing a variety of strategies for constructing test cases for structured TRIO+ specifications starting from (parts of) the test cases of the composing modules. This language can be the basis for the implementation of an interactive tool for the semiautomatic construction of functional test cases from complex time-critical systems starting from their TRIO+ specificationThis publication has 10 references indexed in Scilit:
- Generating test cases for real-time systems from logic specificationsACM Transactions on Computer Systems, 1995
- Oracles for checking temporal properties of concurrent systemsACM SIGSOFT Software Engineering Notes, 1994
- Object-oriented logical specification of time-critical systemsACM Transactions on Software Engineering and Methodology, 1994
- TAOS: Testing with Analysis and Oracle SupportPublished by Association for Computing Machinery (ACM) ,1994
- The infeasibility of quantifying the reliability of life-critical real-time softwareIEEE Transactions on Software Engineering, 1993
- A model parametric real-time logicACM Transactions on Programming Languages and Systems, 1992
- Specification-based test oracles for reactive systemsPublished by Association for Computing Machinery (ACM) ,1992
- Test selection based on finite state modelsIEEE Transactions on Software Engineering, 1991
- Test generation for sequential circuitsIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1988
- Timing Constraints of Real-Time Systems: Constructs for Expressing Them, Methods of Validating ThemIEEE Transactions on Software Engineering, 1985