Complete Test Graph Synthesis For Symbolic Real-time Systems

被引：4
|
作者：
Khoumsi, Ahmed [1 ]
机构：
[1] Univ Sherbrooke, Dept Elect & Comp Engn, Sherbrooke, PQ J1K 2R1, Canada
来源：
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | 2005年 / 130卷
关键词：
Test cases synthesis; real-time test; symbolic test; timed input output symbolic automata; test architecture;
D O I：
10.1016/j.entcs.2005.03.006
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We study the synthesis of test cases for symbolic real-time systems. By symbolic, we mean that the specification of the implementation under test (IUT) contains variables and parameters. And by real-time, we mean that the specification of the IUT contains timing constraints. Our method combines and generalizes two test methods presented in previous work, namely : 1) a method for synthesizing test cases for (non-symbolic) real-time systems, and 2) a method for synthesizing test cases for (non-real-time) symbolic systems.
引用
收藏
页码：79 / 100
页数：22
相关论文
共 50 条
  • [41] A test generation framework for quiescent real-time systems
    Briones, LB
    Brinksma, E
    [J]. FORMAL APPROACHES TO SOFTWARE TESTING, 2005, 3395 : 64 - 78
  • [42] Test cases generation for nondeterministic real-time systems
    Khoumsi, A
    Jéron, T
    Marchand, H
    [J]. FORMAL APPROACHES TO SOFTWARE TESTING, 2004, 2931 : 131 - 146
  • [43] Real-time operating systems on the test-bench
    Mächtel, M
    Rzehak, H
    [J]. REAL TIME PROGRAMMING 1999 (WRTP'99), 1999, : 195 - 201
  • [44] Use of runtime enforcement for the test of real-time systems
    Givel, Louis-Marie
    Brun, Matthias
    Constant, Camille
    Faucou, Sebastien
    Roux, Olivier H.
    [J]. 2015 IEEE 17TH INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE COMPUTING AND COMMUNICATIONS, 2015 IEEE 7TH INTERNATIONAL SYMPOSIUM ON CYBERSPACE SAFETY AND SECURITY, AND 2015 IEEE 12TH INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE AND SYSTEMS (ICESS), 2015, : 984 - 990
  • [45] A test case generation algorithm for real-time systems
    Hessel, A
    Pettersson, P
    [J]. QSIC 2004: PROCEEDINGS OF THE FOURTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE, 2004, : 268 - 273
  • [46] A METHODOLOGY FOR DESIGN, TEST, AND EVALUATION OF REAL-TIME SYSTEMS
    SHERE, KD
    CARLSON, RA
    [J]. COMPUTER, 1994, 27 (02) : 35 - 48
  • [47] Real-time on-line test for MDOF systems
    Nakashima, M
    Masaoka, N
    [J]. EARTHQUAKE ENGINEERING & STRUCTURAL DYNAMICS, 1999, 28 (04): : 393 - 420
  • [48] A method of test cases generation for real-time systems
    Ho, I
    Lin, JC
    [J]. FIRST INTERNATIONAL SYMPOSIUM ON OBJECT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING (ISORC '98), 1998, : 249 - 253
  • [49] A real-time test
    不详
    [J]. LIBRARY JOURNAL, 2001, 126 (02) : 50 - 50
  • [50] A complete real-time Ethernet solution for numerical control systems
    [J]. Huang, F.-C. (hchang@163.com), 1600, Springer London (74): : 1 - 4
12345