Test Case Generation of Embedded Real-Time Systems with Interruptions for FreeRTOS

被引：0
|
作者：
Andrade, Wilkerson L. [1 ]
Machado, Patricia D. L. [1 ]
Alves, Everton L. G. [1 ]
Almeida, Diego R. [1 ]
机构：
[1] Univ Fed Campina Grande, Campina Grande, Brazil
来源：
FORMAL METHODS: FOUNDATIONS AND APPLICATIONS | 2009年 / 5902卷
关键词：
SYMBOLIC TEST-GENERATION;
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Tins paper discusses issues raised in the construction of test models and automatic generation of test; cases for embedded real-time systems with interruptions that can run on the FreeRTOS operating system The focus is on the use of symbolic transition systems (STSs) as the formalism from winch test cases are generated by using the STG tool The solution presented considers a test case execution model for real-time systems with interruptions that can be based on the integrated use of FreeRTOS components A case study is presented to illustrate all steps from the construction of the test model to test case generation
引用
收藏
页码：54 / 69
页数：16
相关论文
共 50 条
  • [31] Scheduling for embedded real-time systems
    Balarin, F
    Lavagno, L
    Murphy, P
    Sangiovanni-Vincentelli, A
    [J]. IEEE DESIGN & TEST OF COMPUTERS, 1998, 15 (01): : 71 - 82
  • [32] Tucan Virtual prototype generation and time constraints analysis of real-time embedded systems
    Hoyos-Rodriguez, Horacio
    Jimenez, Fernando
    Casallas, Rubby
    Correal, Dario
    [J]. DESIGN AUTOMATION FOR EMBEDDED SYSTEMS, 2013, 17 (01) : 129 - 165
  • [33] Hybrid real-time operating systems: deployment of critical FreeRTOS features on FPGA
    Gomes, Tiago
    Pereira, Jorge
    Garcia, Paulo
    Salgado, Filipe
    Silva, Vitor
    Pinto, Sandro
    Ekpanyapong, Mongkol
    Tavares, Adriano
    [J]. INTERNATIONAL JOURNAL OF EMBEDDED SYSTEMS, 2016, 8 (5-6) : 483 - 492
  • [34] Bounding worst case garbage collection time for embedded real-time systems
    Kim, T
    Chang, N
    Shin, H
    [J]. SIXTH IEEE REAL-TIME TECHNOLOGY AND APPLICATIONS SYMPOSIUM, PROCEEDINGS, 2000, : 46 - 55
  • [35] Automatic test case generation with region-related coverage annotations for real-time systems
    Huang, GD
    Wang, F
    [J]. AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2005, 3707 : 144 - 158
  • [36] Open source FreeRTOS as a case study in real-time operating system evolution
    Guan, Fei
    Peng, Long
    Perneel, Luc
    Timmerman, Martin
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 2016, 118 : 19 - 35
  • [37] Time-optimal real-time test case generation using UPPAAL
    Hessel, A
    Larsen, KG
    Nielsen, B
    Pettersson, P
    Skou, A
    [J]. FORMAL APPROACHES TO SOFTWARE TESTING, 2004, 2931 : 114 - 130
  • [38] Real-time density maps generation of moving objects using embedded systems
    Suder, Jakub
    Marciniak, Tomasz
    Podbucki, Kacper
    Dabrowski, Adam
    [J]. PROCEEDINGS OF 2022 64TH INTERNATIONAL SYMPOSIUM ELMAR-2022, 2022, : 179 - 184
  • [39] Modeling and generation tools for large-scale, real-time embedded systems
    Bapty, T
    Neema, S
    Nordstrom, S
    Shetty, S
    Vashishtha, D
    Overdorf, J
    Sheldon, P
    [J]. ECBS 2003: 10TH IEEE INTERNATIONAL CONFERENCE AND WORKSHOP ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS, 2003, : 11 - 16
  • [40] Hard Real-Time Execution Environment Extension for FreeRTOS
    Stangaciu, Cristina S.
    Micea, Mihai V.
    Cretu, Vladimir I.
    [J]. 2014 IEEE INTERNATIONAL SYMPOSIUM ON ROBOTIC AND SENSORS ENVIRONMENTS (ROSE 2014), 2014,
12345