Automated State-based Online Testing Real-time Embedded Software with RTEdge

被引：0

作者：

Hasanain, Wafa ^{[1
]}

Labiche, Yvan ^{[1
]}

Gheorghe, Serban ^{[2
]}

机构：

[1] Carleton Univ, Syst & Comp Engn, 1125 Colonel Dr, Ottawa, ON, Canada

[2] Edgewater Comp Syst Inc, Ottawa, ON, Canada

来源：

MODELSWARD 2015 PROCEEDINGS OF THE 3RD INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT | 2015年

关键词：

State-based Testing; Online Testing; Real-time; Embedded; RTEdge;

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

Verifying a real time embedded application is challenging since one has to consider timing requirements in addition to functional ones. During online state-based testing the generation and execution of test cases happen concurrently: test case generation uses information from a state-based test model in combination with observed execution behaviour. This paper describes a practical online testing algorithm that is implemented in the state-based modeling tool RTEdge. Two case studies show that our online testing algorithm produces a test suite that achieves high model coverage, thus facilitating the automated verification of real-time embedded software.

引用

页码：294 / 302

页数：9

共 50 条

[21] REAL-TIME EAR DETECTION BASED ON EMBEDDED SYSTEMS [J].

Yuan, Li ;

Lu, Fei .

PROCEEDINGS OF 2018 INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND CYBERNETICS (ICMLC), VOL 1, 2018, :115-120

[22] UML-Based Development of Embedded Real-Time Software on Multi-Core in Practice: Lessons Learned and Future Perspectives [J].

Ciccozzi, Federico ;

Seceleanu, Tiberiu ;

Corcoran, Diarmuid ;

Scholle, Detlef .

IEEE ACCESS, 2016, 4 :6528-6540

[23] A software process for the construction of predictable on-board embedded real-time systems [J].

Vardanega, T ;

Van Katwijk, J .

SOFTWARE-PRACTICE & EXPERIENCE, 1999, 29 (03) :235-266

[24] A GPU based real-time GPS software receiver [J].

Thomas Hobiger ;

Tadahiro Gotoh ;

Jun Amagai ;

Yasuhiro Koyama ;

Tetsuro Kondo .

GPS Solutions, 2010, 14 :207-216

[25] A GPU based real-time GPS software receiver [J].

Hobiger, Thomas ;

Gotoh, Tadahiro ;

Amagai, Jun ;

Koyama, Yasuhiro ;

Kondo, Tetsuro .

GPS SOLUTIONS, 2010, 14 (02) :207-216

[26] Operating systems for reconfigurable embedded platforms: Online scheduling of real-time tasks [J].

Steiger, C ;

Walder, H ;

Platzner, M .

IEEE TRANSACTIONS ON COMPUTERS, 2004, 53 (11) :1393-1407

[27] Random Forest on an Embedded Device for Real-time Machine State Classification [J].

Kueppers, Fabian ;

Albers, Jonas ;

Haselhoff, Anselm .

2019 27TH EUROPEAN SIGNAL PROCESSING CONFERENCE (EUSIPCO), 2019,

[28] Sensitivity analysis of complex embedded real-time systems [J].

Racu, Razvan ;

Hamann, Arne ;

Ernst, Rolf .

REAL-TIME SYSTEMS, 2008, 39 (1-3) :31-72

[29] Sensitivity analysis of complex embedded real-time systems [J].

Razvan Racu ;

Arne Hamann ;

Rolf Ernst .

Real-Time Systems, 2008, 39 :31-72

[30] The ⟪OTSENKA⟫ software package for the real-time assessment of the state of power systems [J].

Grishin, YA ;

Kolosok, IN ;

Korkina, YS ;

Em, LV ;

Ornov, VG ;

Shelukhin, NN .

ELECTRICAL TECHNOLOGY RUSSIA, 1999, (01) :49-65

← 1 2 3 4 5 →