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 条
  • [1] 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
  • [2] Fully symbolic TCTL model checking for complete and incomplete real-time systems
    Morbe, Georges
    Scholl, Christoph
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 2015, 111 : 248 - 276
  • [3] Towards a Family of Test Selection Criteria for Symbolic Models of Real-Time Systems
    Almeida, Diego R.
    Moraes, Alan
    Andrade, Wilkerson L.
    Machado, Patricia D. L.
    [J]. FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2014, 2015, 8941 : 48 - 63
  • [4] Symbolic Test Case Generation of Compositional Real-Time Systems Driven by Interruptions
    Damasceno, Adriana
    Machado, Patricia
    Andrade, Wilkerson
    Torres, Wesley
    [J]. 2015 IEEE 18th International Symposium on Real-Time Distributed Computing (ISORC), 2015, : 228 - 235
  • [5] Symbolic cache analysis for real-time systems
    Blieberger, J
    Fahringer, T
    Scholz, B
    [J]. REAL-TIME SYSTEMS, 2000, 18 (2-3) : 181 - 215
  • [6] SYMBOLIC MODEL CHECKING FOR REAL-TIME SYSTEMS
    HENZINGER, TA
    NICOLLIN, X
    SIFAKIS, J
    YOVINE, S
    [J]. INFORMATION AND COMPUTATION, 1994, 111 (02) : 193 - 244
  • [7] Symbolic Cache Analysis for Real-Time Systems
    Johann Blieberger
    Thomas Fahringer
    Bernhard Scholz
    [J]. Real-Time Systems, 2000, 18 : 181 - 215
  • [8] Symbolic simulation of real-time concurrent systems
    Wang, F
    Huang, GD
    Yu, F
    [J]. REAL-TIME AND EMBEDDED COMPUTING SYSTEMS AND APPLICATIONS, 2003, 2968 : 595 - 617
  • [9] Symbolic model checking of real-time systems
    Logothetis, G
    Schneider, K
    [J]. EIGHTH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING, PROCEEDINGS, 2001, : 214 - 223
  • [10] Symbolic schedulability analysis of real-time systems
    Kwak, HH
    Lee, I
    Philippou, A
    Choi, JY
    Sokolsky, O
    [J]. 19TH IEEE REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, 1998, : 409 - 418
12345