A Model-Based Testing Tool for Embedded Software

被引：1

作者：

Liu, Chien-Hung ^{[1
]}

Chen, Shu-Ling ^{[2
]}

Huang, Tien-Chi ^{[1
]}

机构：

[1] Natl Taipei Univ Technol, Dept Comp Sci & Informat Engn, Taipei, Taiwan

[2] Southern Taiwan Univ, Dept Management & Informat Technol, Tainan, Taiwan

来源：

2012 SIXTH INTERNATIONAL CONFERENCE ON GENETIC AND EVOLUTIONARY COMPUTING (ICGEC) | 2012年

关键词：

software testing; embedded sofware; model-based testing; testing tool;

D O I：

10.1109/ICGEC.2012.22

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

In recent years, the number of embedded software has grown rapidly because embedded systems have become essential in our life. However, embedded software is tightly coupled with hardware and operating systems and often lacks structure, which makes embedded software complicated and difficult to understand and test. In this paper, we apply model-based testing technique to embedded software. A test model is presented to support structural analysis and testing for embedded software. Moreover, a tool is developed to automate the construction of the proposed test model and the testing of embedded software. A case study is presented to illustrate the usefulness of the proposed model-based testing approach.

引用

页码：180 / 183

页数：4

共 50 条

[41] Sketching a process for testing model-based developed software
Baero, Thomas
Krause, Rene
Sax, Eric
[J]. WMSCI 2005: 9th World Multi-Conference on Systemics, Cybernetics and Informatics, Vol 7, 2005, : 31 - 36
[42] Model-based testing approaches selection for software projects
Dias-Neto, Arilo Claudio
Travassos, Guilherme Horta
[J]. INFORMATION AND SOFTWARE TECHNOLOGY, 2009, 51 (11) : 1487 - 1504
[43] VERA: A flexible model-based vulnerability testing tool
Blome, Abian
Ochoa, Martin
Li, Keqin
Peroli, Michele
Dashti, Mohammad Torabi
[J]. 2013 IEEE SIXTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST 2013), 2013, : 471 - 478
[44] AutoFun: An Automated Model-based Functional Testing Tool
Domingues, Anderson
Rodrigues, Elder M.
Bernardino, Maicon
[J]. I BRAZILIAN SYMPOSIUM ON SYSTEMATIC AND AUTOMATED SOFTWARE TESTING (SAST 2016), 2016,
[45] Towards a tool environment for model-based testing with AsmL
Barnett, M
Grieskamp, W
Nachmanson, L
Schulte, W
Tillmann, N
Veanes, M
[J]. FORMAL APPROACHES TO SOFTWARE TESTING, 2004, 2931 : 252 - 266
[46] A Model-based Tool for Generating Software Process Model Tailoring Transformations
Silvestre, Luis
Cecilia Bastarrica, Maria
Ochoa, Sergio F.
[J]. PROCEEDINGS OF THE 2014 2ND INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT (MODELSWARD 2014), 2014, : 533 - 540
[47] Critical Knowledge Representation for Model-Based Testing of Embedded Systems
Havlice, Z.
Szaboova, V.
Vizi, J.
[J]. IEEE 11TH INTERNATIONAL SYMPOSIUM ON APPLIED MACHINE INTELLIGENCE AND INFORMATICS (SAMI 2013), 2013, : 169 - 174
[48] Model-based testing of embedded systems in hardware in the loop environment
Keranen, J. S.
Raty, T. D.
[J]. IET SOFTWARE, 2012, 6 (04) : 364 - 376
[49] Test Framework Generation for Model-Based Testing in Embedded Systems
Iyenghar, Padma
[J]. 2011 37TH EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA 2011), 2011, : 267 - 274
[50] Tool support to model-based quality analysis of software architecture
Zhang, Qian
Wu, Jian
Zhu, Hong
[J]. 30TH ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, VOL 1, REGULAR PAPERS/PANELS, PROCEEDINGS, 2006, : 121 - +

← 1 2 3 4 5 →