Symbolic Test Case Generation of Compositional Real-Time Systems Driven by Interruptions

被引：1
|
作者：
Damasceno, Adriana [1 ,2 ]
Machado, Patricia [2 ]
Andrade, Wilkerson [2 ]
Torres, Wesley [2 ]
机构：
[1] Univ Fed Campina Grande, CCTA, Campina Grande, Paraiba, Brazil
[2] Univ Fed Campina Grande, SPLab, Campina Grande, Paraiba, Brazil
来源：
2015 IEEE 18th International Symposium on Real-Time Distributed Computing (ISORC) | 2015年
关键词：
Real-Time Systems; tioco; Integration Testing; Interruptions;
D O I：
10.1109/ISORC.2015.38
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Real-time systems are composed of subsystems that may communicate by means of interruptions. An interruption is an event that requires preemption of a resource held by an executing subsystem. This subsystem may resume its execution from the point where it stopped when interruption handling finishes its execution. Testing systems composed of interruptions is hard since interruptions may happen at different points of execution. This fact demands the tester to apply a systematic procedure to specify and perform testing of the interruption behavior at specific points of interest. In this paper, we propose a symbolic approach to generating interruption test cases from real-time system models. We define an interruption operator for a timed model along with its properties. An empirical study illustrates its applicability to test application level interruptions on an Android system.
引用
收藏
页码：228 / 235
页数：8
相关论文
共 50 条
  • [1] Test Case Generation of Embedded Real-Time Systems with Interruptions for FreeRTOS
    Andrade, Wilkerson L.
    Machado, Patricia D. L.
    Alves, Everton L. G.
    Almeida, Diego R.
    [J]. FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, 2009, 5902 : 54 - 69
  • [2] 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
  • [3] Testing real-time systems from compositional symbolic specifications
    Adriana C. Damasceno
    Patricia D. L. Machado
    Wilkerson L. Andrade
    [J]. International Journal on Software Tools for Technology Transfer, 2017, 19 : 53 - 71
  • [4] Testing real-time systems from compositional symbolic specifications
    Damasceno, Adriana C.
    Machado, Patricia D. L.
    Andrade, Wilkerson L.
    [J]. INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2017, 19 (01) : 53 - 71
  • [5] Test Case Generation for Flexible Real-Time Control Systems
    Nilsson, Robert
    Henriksson, Dan
    [J]. ETFA 2005: 10TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 2, PROCEEDINGS, 2005,
  • [6] Generating test sequences using symbolic execution for event-driven real-time systems
    Lee, NH
    Cha, SD
    [J]. MICROPROCESSORS AND MICROSYSTEMS, 2003, 27 (10) : 523 - 531
  • [7] Experimental test generation for real-time systems
    Fouchal, H
    Rabat, C
    Rollet, A
    Tarhini, A
    [J]. INTELLIGENT AND ADAPTIVE SYSTEMS AND SOFTWARE ENGINEERING, 2004, : 284 - 289
  • [8] Complete Test Graph Synthesis For Symbolic Real-time Systems
    Khoumsi, Ahmed
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 130 : 79 - 100
  • [9] Symbolic model checking for event-driven real-time systems
    Yang, J
    Mok, AK
    Wang, F
    [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1997, 19 (02): : 386 - 412
  • [10] 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
12345