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 条
  • [21] Executable Specifications for Real-Time Distributed Systems
    Ray, Arnab
    Cleaveland, Rance
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 203 (04) : 3 - 17
  • [22] Optimization of real-time systems timing specifications
    Andrei, Stefan
    Cheng, Albert Mo Kim
    [J]. 12TH IEEE INTERNATIONAL CONFERENCE ON EMBEDDED AND REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS, PROCEEDINGS, 2006, : 68 - +
  • [23] A framework for the specification of test cases for real-time distributed systems
    Walter, T
    Grabowski, J
    [J]. INFORMATION AND SOFTWARE TECHNOLOGY, 1999, 41 (11-12) : 781 - 798
  • [24] Real-time specifications
    David, Alexandre
    Larsen, Kim G.
    Legay, Axel
    Nyman, Ulrik
    Traonouez, Louis-Marie
    Wasowski, Andrzej
    [J]. INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2015, 17 (01) : 17 - 45
  • [25] Real-time specifications
    Alexandre David
    Kim G. Larsen
    Axel Legay
    Ulrik Nyman
    Louis-Marie Traonouez
    Andrzej Wąsowski
    [J]. International Journal on Software Tools for Technology Transfer, 2015, 17 : 17 - 45
  • [26] VERIFYING AUTOMATA SPECIFICATIONS OF PROBABILISTIC REAL-TIME SYSTEMS
    ALUR, R
    COURCOUBETIS, C
    DILL, D
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1992, 600 : 28 - 44
  • [27] ANIMATION PROTOTYPING OF FORMAL SPECIFICATIONS OF REAL-TIME SYSTEMS
    HUGHES, TS
    COOLING, JE
    [J]. MICROPROCESSING AND MICROPROGRAMMING, 1990, 30 (1-5): : 381 - 388
  • [28] The Specifications of the Weakly Hard Real-Time Systems: A Review
    Ismail, Habibah
    Jawawi, Dayang N. A.
    [J]. SOFTWARE ENGINEERING AND COMPUTER SYSTEMS, PT 2, 2011, 180 : 274 - 288
  • [29] Performance specifications and metrics for adaptive real-time systems
    Lu, CY
    Stankovic, JA
    Abdelzaher, TF
    Tao, G
    Son, SH
    Marley, M
    [J]. 21ST IEEE REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, 2000, : 13 - 23
  • [30] Synthesizing controllers from real-time specifications
    Dierks, H
    [J]. IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 1999, 18 (01) : 33 - 43
12345