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 条

[41] Development of a real-time drowsiness warning system based on an embedded system [J].

Lin, Chih-Jer ;

Ding, Chih-Hao ;

Liu, Chung-Chi ;

Liu, Ying-Lung .

2015 INTERNATIONAL CONFERENCE ON ADVANCED ROBOTICS AND INTELLIGENT SYSTEMS (ARIS), 2015,

[42] Communication-Aware Prediction-Based Online Scheduling in High-Performance Real-Time Embedded Systems [J].

Goupille-Lescar, Baptiste ;

Lenormand, Eric ;

Parlavantzas, Nikos ;

Morin, Christine .

ALGORITHMS AND ARCHITECTURES FOR PARALLEL PROCESSING, ICA3PP 2018, PT III, 2018, 11336 :575-592

[43] Real-time embedded system for traffic sign recognition based on ZedBoard [J].

Wajdi Farhat ;

Hassene Faiedh ;

Chokri Souani ;

Kamel Besbes .

Journal of Real-Time Image Processing, 2019, 16 :1813-1823

[44] Reliability Evaluation of Embedded Real-time System based on Error Scenario [J].

Ran, Zheng ;

Yan, Hua ;

Li, Yun .

CURRENT TRENDS IN COMPUTER SCIENCE AND MECHANICAL AUTOMATION (CSMA), VOL 2, 2017, :548-560

[45] An optimization based design for integrated dependable real-time embedded systems [J].

Islam, Shariful ;

Suri, Neeraj ;

Balogh, Andras ;

Csertan, Gyoergy ;

Pataricza, Andras .

DESIGN AUTOMATION FOR EMBEDDED SYSTEMS, 2009, 13 (04) :245-285

[46] Real-time embedded system for traffic sign recognition based on ZedBoard [J].

Farhat, Wajdi ;

Faiedh, Hassene ;

Souani, Chokri ;

Besbes, Kamel .

JOURNAL OF REAL-TIME IMAGE PROCESSING, 2019, 16 (05) :1813-1823

[47] An optimization based design for integrated dependable real-time embedded systems [J].

Shariful Islam ;

Neeraj Suri ;

András Balogh ;

György Csertán ;

András Pataricza .

Design Automation for Embedded Systems, 2009, 13 :245-285

[48] Real-Time Detection of Cook Assistant Overalls Based on Embedded Reasoning [J].

Sheng, Qinghua ;

Sheng, Haixiang ;

Gao, Peng ;

Li, Zhu ;

Yin, Haibing .

SENSORS, 2021, 21 (23)

[49] Research on Real-Time Testing Modeling Based on RTCM Approach [J].

Li, Ling ;

Wu, Ji ;

Liu, Chao ;

Yang, Haiyan .

PROCEEDINGS OF 2016 INTERNATIONAL CONFERENCE ON MODELING, SIMULATION AND OPTIMIZATION TECHNOLOGIES AND APPLICATIONS (MSOTA2016), 2016, 58 :43-48

[50] Real-time Reconfiguration in Multimedia Embedded Systems [J].

Garcia-Valls, Marisol ;

Basanta-Val, Pablo ;

Estevez-Ayres, Iria .

IEEE TRANSACTIONS ON CONSUMER ELECTRONICS, 2011, 57 (03) :1280-1287

← 1 2 3 4 5 →