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 条

[41] Test case selection for simulations in the maintenance of real-time systems
Henry, JE
[J]. JOURNAL OF SOFTWARE MAINTENANCE-RESEARCH AND PRACTICE, 2000, 12 (04): : 229 - 248
[42] Test-Data Generation for Testing Parallel Real-Time Systems
Aziz, Muhammad Waqar
Shah, Syed Abdul Baqi
[J]. TESTING SOFTWARE AND SYSTEMS, ICTSS 2015, 2015, 9447 : 211 - 223
[43] Generation of reliability test data for real-time embedded software based on the usage profile
Ai, J.
Minyan, L.
Lian, R.
[J]. SAFETY AND RELIABILITY FOR MANAGING RISK, VOLS 1-3, 2006, : 1403 - +
[44] Embedded real-time objects: When Java']Java meets CORBA in embedded real-time systems
Gien, M
Tombroff, M
[J]. WESCON/97 - CONFERENCE PROCEEDINGS, 1997, : 408 - 417
[45] Real-Time Operating Systems for Multicore Embedded Systems
Tomiyama, Hiroyuki
Honda, Shinya
Takada, Hiroaki
[J]. ISOCC: 2008 INTERNATIONAL SOC DESIGN CONFERENCE, VOLS 1-3, 2008, : 62 - 67
[46] 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
[47] Validating real-time constraints in embedded systems
Shyamasundar, RK
Aghav, JV
[J]. 2001 PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING, PROCEEDINGS, 2001, : 347 - 355
[48] Guest Editorial: Real-Time and Embedded Systems
Kaijie Wu
Zili Shao
[J]. Journal of Signal Processing Systems, 2016, 84 : 1 - 2
[49] Modeling and analysis of real-time and embedded systems
Graf, S
Gérard, S
Haugen, O
Ober, I
Selic, B
[J]. SATELLITE EVENTS AT THE MODELS 2005 CONFERENCE, 2006, 3844 : 58 - 66
[50] Evaluation of embedded intelligent real-time systems
Grabowski, M
Sanborn, SD
[J]. DECISION SCIENCES, 2001, 32 (01) : 95 - 123

← 1 2 3 4 5 →