GENERATING TEST CASES FOR REAL-TIME SYSTEMS FROM LOGIC SPECIFICATIONS

被引：76
|
作者：
MANDRIOLI, D
MORASCA, S
MORZENTI, A
机构：
来源：
ACM TRANSACTIONS ON COMPUTER SYSTEMS | 1995年 / 13卷 / 04期
关键词：
AUTOMATED TOOLS; FIRST-ORDER LOGIC; FORMAL SPECIFICATIONS; FUNCTIONAL TESTING; REAL-TIME; SOFTWARE REQUIREMENTS; TEMPORAL LOGIC; TEST CASE; TEST ORACLE;
D O I：
10.1145/210223.210226
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We address the problem of automated derivation of functional test cases for real-time systems, by introducing techniques for generating test cases from formal specifications written in TRIO, a language that extends classical temporal logic to deal explicitly with time measures. We describe an interactive tool that has been built to implement these techniques, based on interpretation algorithms of the TRIO language. Several heuristic criteria are suggested to reduce drastically the size of the test cases that are generated. Experience in the use of the tool on real-life cases is reported.
引用
收藏
页码：365 / 398
页数：34
相关论文
共 50 条
  • [1] Wrapping real-time systems from temporal logic specifications
    Rodríguez, M
    Fabre, JC
    Arlat, J
    [J]. DEPENDABLE COMPUTING: EDCC-4, PROCEEDINGS, 2002, 2485 : 253 - 270
  • [2] VALIDATING REAL-TIME SYSTEMS BY EXECUTING LOGIC SPECIFICATIONS
    MORZENTI, A
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1992, 600 : 502 - 525
  • [3] Generating Test Cases for Real-Time Systems Based on Symbolic Models
    Andrade, Wilkerson L.
    Machado, Patricia D. L.
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2013, 39 (09) : 1216 - 1229
  • [4] TRIO - A LOGIC LANGUAGE FOR EXECUTABLE SPECIFICATIONS OF REAL-TIME SYSTEMS
    GHEZZI, C
    MANDRIOLI, D
    MORZENTI, A
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 1990, 12 (02) : 107 - 123
  • [5] Generating Optimal Test Cases for Real-Time Systems using DIVINE Model Checker
    Pal, Deepak
    Vain, Jueri
    [J]. 2016 15TH BIENNIAL BALTIC ELECTRONICS CONFERENCE (BEC), 2016, : 99 - 102
  • [6] Generating timed test cases with oracles for real-time software
    Lin, JC
    Ho, I
    [J]. ADVANCES IN ENGINEERING SOFTWARE, 2001, 32 (09) : 705 - 715
  • [7] Verifying Linear Real-Time Logic specifications
    Andrei, Stefan
    Cheng, Albert M. K.
    [J]. RTSS 2007: 28TH IEEE INTERNATIONAL REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, 2007, : 333 - +
  • [8] Automated generation of test suites from formal specifications of real-time reactive systems
    Zheng, Mao
    Alagar, Vasu
    Ormandjieva, Olga
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 2008, 81 (02) : 286 - 304
  • [9] Generating Test Cases for Timed Systems from Controlled Natural Language Specifications
    Schnelte, Matthias
    [J]. 2009 THIRD IEEE INTERNATIONAL CONFERENCE ON SECURE SOFTWARE INTEGRATION AND RELIABILITY IMPROVEMENT, PROCEEDINGS, 2009, : 348 - 353
  • [10] Time-optimal test cases for real-time systems
    Hessel, A
    Larsen, KG
    Nielsen, B
    Pettersson, P
    Skou, A
    [J]. FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, 2003, 2791 : 234 - 245
12345