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 条
  • [1] 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
  • [2] Use of FreeRTOS in Teaching Real-time Embedded Systems Design Course
    He, Nannan
    Huang, Han-Way
    [J]. 2014 ASEE ANNUAL CONFERENCE, 2014,
  • [3] 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
  • [4] 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,
  • [5] Energy efficient mixed task handling on real-time embedded systems using FreeRTOS
    Ramegowda, Deepak
    Lin, Man
    [J]. JOURNAL OF SYSTEMS ARCHITECTURE, 2022, 131
  • [6] Scheduling and energy savings for small scale embedded FreeRTOS-based real-time systems
    Oliveira, Gesse
    Lima, George
    [J]. DESIGN AUTOMATION FOR EMBEDDED SYSTEMS, 2023, 27 (1-2) : 3 - 29
  • [7] Scheduling and energy savings for small scale embedded FreeRTOS-based real-time systems
    Gessé Oliveira
    George Lima
    [J]. Design Automation for Embedded Systems, 2023, 27 : 3 - 29
  • [8] 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
  • [9] AUTOMATED CODE GENERATION OF EMBEDDED REAL-TIME SYSTEMS
    AUER, A
    KEMPPAINEN, P
    OKKONEN, A
    SEPPANEN, V
    [J]. MICROPROCESSING AND MICROPROGRAMMING, 1988, 24 (1-5): : 51 - 55
  • [10] Formal Specification for Compiler Based Test Case Generation of Embedded Real-Time System
    Chen, Yong
    He, Yanxiang
    Xu, Chao
    Wu, Wei
    Liu, Jianbo
    [J]. BUSINESS, ECONOMICS, FINANCIAL SCIENCES, AND MANAGEMENT, 2012, 143 : 643 - 650
12345