An Embedded Software Testing Requirements Modeling Tool Describing Static and Dynamic Characteristics
Authors
Mingcheng Qu, Naigang Cui, Bingsong Zou, Xianghu Wu
Corresponding Author
Mingcheng Qu
Available Online January 2015.
- DOI
- 10.2991/isci-15.2015.49How to use a DOI?
- Keywords
- Model-Based Testing; Automatic Test Case Generation; Test Requirement Modeling; Embedded Software
- Abstract
It is generally believed that Model-based testing (MBT) began in 1956. MBT is an important software quality assurance technology. We propose a set of graphical components describing the testing requirements of embedded software, and research how to plan test items and how to generate test cases. We couple some graphical components as a modeling system supporting to describe test requirement for embedded software. The modeling system proposed can enhance the efficiency of embedded software testing to a certain extent.
- Copyright
- © 2015, the Authors. Published by Atlantis Press.
- Open Access
- This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).
Cite this article
TY - CONF AU - Mingcheng Qu AU - Naigang Cui AU - Bingsong Zou AU - Xianghu Wu PY - 2015/01 DA - 2015/01 TI - An Embedded Software Testing Requirements Modeling Tool Describing Static and Dynamic Characteristics BT - Proceedings of the 2015 International Symposium on Computers & Informatics PB - Atlantis Press SP - 359 EP - 366 SN - 2352-538X UR - https://doi.org/10.2991/isci-15.2015.49 DO - 10.2991/isci-15.2015.49 ID - Qu2015/01 ER -