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
相关论文
共 15 条
  • [1] ANDRADE WL, 2008, SAST 2008, P34
  • [2] Barry R., 2009, Using The FreeRTOS Real Time Kernel
  • [3] Clarke D, 2002, LECT NOTES COMPUT SC, V2280, P470
  • [4] DEFIGUEIREDO ALL, 2006, SIGSOFT SOFTW ENG NO, V31, P1
  • [5] DEHARBE D, 2009, LNCS, V5902, P54
  • [6] *FREERTOS, FREERTOS ORG PROJ
  • [7] HESSEL A, 2008, LNCS, V4949, P77, DOI DOI 10.1007/978-3-540-78917-8_
  • [8] Jeannet B, 2005, LECT NOTES COMPUT SC, V3440, P349
  • [9] Jéron T, 2006, INT FED INFO PROC, V209, P197
  • [10] Krichen M, 2004, LECT NOTES COMPUT SC, V2989, P109
12