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 条
  • [41] Compositional schedulability analysis of hierarchical real-time systems
    Easwaran, Arvind
    Lee, Insup
    Shin, Insik
    Sokolsky, Oleg
    [J]. 10TH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT AND COMPONENT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, PROCEEDINGS, 2007, : 274 - +
  • [42] Automatic test generation for the analysis of a real-time system: Case study
    Clarke, D
    Lee, I
    [J]. THIRD IEEE REAL-TIME TECHNOLOGY AND APPLICATIONS SYMPOSIUM, PROCEEDINGS, 1997, : 112 - 124
  • [43] COMPOSITIONAL PRIORITY SPECIFICATION IN REAL-TIME DISTRIBUTED SYSTEMS
    SHYAMASUNDAR, RK
    LIU, LY
    [J]. SADHANA-ACADEMY PROCEEDINGS IN ENGINEERING SCIENCES, 1992, 17 : 75 - 93
  • [44] Transparent Synchronization Protocols for Compositional Real-Time Systems
    van den Heuvel, Martijn M. H. P.
    Bril, Reinder J.
    Lukkien, Johan J.
    [J]. IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2012, 8 (02) : 322 - 336
  • [45] Compositional Verification for Hierarchical Scheduling of Real-Time Systems
    Carnevali, Laura
    Pinzuti, Alessandro
    Vicario, Enrico
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2013, 39 (05) : 638 - 657
  • [46] A Compositional Monitoring Framework for Hard Real-Time Systems
    Pedro, Andre de Matos
    Pereira, David
    Pinho, Luis Miguel
    Pinto, Jorge Sousa
    [J]. NASA FORMAL METHODS, NFM 2014, 2014, 8430 : 16 - 30
  • [47] Compositional verification of real-time systems using Ecdar
    Alexandre David
    Kim. G. Larsen
    Axel Legay
    Mikael H. Møller
    Ulrik Nyman
    Anders P. Ravn
    Arne Skou
    Andrzej Wąsowski
    [J]. International Journal on Software Tools for Technology Transfer, 2012, 14 (6) : 703 - 720
  • [48] Overloads in Compositional Embedded Real-Time Control Systems
    Azim, Akramul
    [J]. PROCEEDINGS OF THE 2016 27TH INTERNATIONAL SYMPOSIUM ON RAPID SYSTEM PROTOTYPING (RSP): SHORTENING THE PATH FROM SPECIFICATION TO PROTOTYPE, 2016, : 51 - 57
  • [49] Scheduling Elastic Applications in Compositional Real-Time Systems
    Salman, Shaik Mohammed
    Mubeen, Saad
    Markovic, Filip
    Papadopoulos, Alessandro, V
    Nolte, Thomas
    [J]. 2021 26TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), 2021,
  • [50] Verification Architectures: Compositional Reasoning for Real-Time Systems
    Faber, Johannes
    [J]. INTEGRATED FORMAL METHODS, 2010, 6396 : 136 - 151
12345