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 条
  • [41] DEALING WITH DIFFERENT TIME GRANULARITIES IN FORMAL SPECIFICATIONS OF REAL-TIME SYSTEMS
    CORSETTI, E
    MONTANARI, A
    RATTO, E
    [J]. REAL-TIME SYSTEMS, 1991, 3 (02) : 191 - 215
  • [42] Calculating probabilities of real-time test cases
    Jurdzinski, Marcin
    Peled, Doron
    Qu, Hongyang
    [J]. FORMAL APPROACHES TO SOFTWARE TESTING, 2006, 3997 : 134 - 151
  • [43] Decomposing real-time specifications
    Olderog, ER
    Dierks, H
    [J]. COMPOSITIONALITY: THE SIGNIFICANT DIFFERENCE, 1998, 1536 : 465 - 489
  • [44] Test of preemptive real-time systems
    Adjir, Noureddine
    de Saqui-Sannes, Pieffe
    Rahmouni, K. Mustapha
    [J]. 2008 IEEE/ACS INTERNATIONAL CONFERENCE ON COMPUTER SYSTEMS AND APPLICATIONS, VOLS 1-3, 2008, : 734 - +
  • [45] VERIFYING PROPERTIES OF HMS MACHINE SPECIFICATIONS OF REAL-TIME SYSTEMS
    GABRIELIAN, A
    IYER, R
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1992, 575 : 421 - 431
  • [46] A note on the verification of automata specifications of probabilistic real-time systems
    Moura, AV
    Pinto, GA
    [J]. INFORMATION PROCESSING LETTERS, 2002, 82 (05) : 223 - 228
  • [47] RTSYNCHRONIZER - LANGUAGE SUPPORT FOR REAL-TIME SPECIFICATIONS IN DISTRIBUTED SYSTEMS
    REN, SP
    AGHA, GA
    [J]. SIGPLAN NOTICES, 1995, 30 (11): : 50 - 59
  • [48] Conformance tests for real-time systems with timed automata specifications
    Cardell-Oliver, Rachel
    [J]. Formal Aspects of Computing, 2000, 12 (05) : 350 - 366
  • [49] Real-time java API specifications for high coverage test generation
    Ahrendt, Wolfgang
    Mostowski, Wojciech
    Paganelli, Gabriele
    [J]. ACM International Conference Proceeding Series, 2012, : 145 - 154
  • [50] Transformational design of real-time systems Part I: From requirements to program specifications
    Michael Schenke
    Ernst-Rüdiger Olderog
    [J]. Acta Informatica, 1999, 36 : 1 - 65
12345