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 条

[31] Embedded Partitioning Real-time Operating System Based on Microkernel [J].

Chen, Tanhong ;

Li, Huiyong ;

Niu, Jianwei ;

Ren, Tao ;

Xu, Guizhou .

2019 22ND IEEE INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE AND ENGINEERING (IEEE CSE 2019) AND 17TH IEEE INTERNATIONAL CONFERENCE ON EMBEDDED AND UBIQUITOUS COMPUTING (IEEE EUC 2019), 2019, :205-210

[32] Real-Time Performance Analysis and Tuning of Embedded System Virtualization Architecture Based on KVM [J].

Mathew, Deepa ;

Jose, Bijoy Antony .

INTERNATIONAL JOURNAL OF EMBEDDED AND REAL-TIME COMMUNICATION SYSTEMS (IJERTCS), 2022, 13 (01)

[33] Radar control software design based on real-time UML [J].

Hai, Li .

Proceedings of 2006 CIE International Conference on Radar, Vols 1 and 2, 2006, :336-339

[34] Development, potential, and limitations of real-time online (pseudo-dynamic) testing [J].

Nakashima, M .

PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES, 2001, 359 (1786) :1851-1867

[35] Hardware/software co-design of a real-time kernel based tracking system [J].

Ali, Usman ;

Malik, Mohammad Bilal .

JOURNAL OF SYSTEMS ARCHITECTURE, 2010, 56 (08) :317-326

[36] Coverage Criteria for State-Based Testing: A Systematic Review [J].

Pradhan, Sonali ;

Ray, Mitrabinda ;

Patnaik, Srikanta .

INTERNATIONAL JOURNAL OF INFORMATION TECHNOLOGY PROJECT MANAGEMENT, 2019, 10 (01) :1-20

[37] Real-Time Embedded Control System for a Portable Meteorological Station [J].

Moya, Marcelo ;

Guerron, Gonzalo ;

Montero, Andres .

ENFOQUE UTE, 2015, 6 (03) :106-114

[38] An Augmented Lagrangian Filter Method for Real-Time Embedded Optimization [J].

Chiang, Nai-Yuan ;

Huang, Rui ;

Zavala, Victor M. .

IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2017, 62 (12) :6110-6121

[39] Hardware acceleration of multibody simulations for real-time embedded applications [J].

Antonio J. Rodríguez ;

Roland Pastorino ;

Ángel Carro-Lagoa ;

Karl Janssens ;

Miguel Á. Naya .

Multibody System Dynamics, 2021, 51 :455-473

[40] Hardware acceleration of multibody simulations for real-time embedded applications [J].

Rodriguez, Antonio J. ;

Pastorino, Roland ;

Carro-Lagoa, Angel ;

Janssens, Karl ;

Naya, Miguel A. .

MULTIBODY SYSTEM DYNAMICS, 2021, 51 (04) :455-473

← 1 2 3 4 5 →