Embedded Software Formalization Testing Method and its Application in Missile-Borne Software

Ji Cun Ma; Xing Lin Qi; Jing Lv

doi:10.4028/www.scientific.net/AMM.574.646

Paper Titles

Airport Taxiway Head-On Conflict Prediction and Avoidance in A-SMGCS
p.621

The Modification of Digital Current Following Control Approach of Buck DC-DC Converter
p.628

Research on the Designing and Checking Method for Electric Actuator Used on Supersonic Speed Target Cruise Missile
p.633

Sea-Battlefield Situation Assessment Based on Improved Decision Tree
p.639

Embedded Software Formalization Testing Method and its Application in Missile-Borne Software
p.646

A Method of Rendezvous and Docking Based on the 6-DOF Parallel Mechanism in Subsea Environment
p.651

A Method for Computing Logarithms of K-Circulant Matrices
p.661

Generalized Hybrid Dislocated Function Projective Synchronization of Chaotic Systems with Time Delay
p.672

HomeApplied Mechanics and MaterialsApplied Mechanics and Materials Vol. 574Embedded Software Formalization Testing Method and...

Embedded Software Formalization Testing Method and its Application in Missile-Borne Software

Abstract:

The formal modeling method can accurately describe systems. Using formal method to test software improves the efficiency of software testing and it is comprehensive. Common real-time embedded software formal testing methods include Z language, finite state machine (FSM) and unified modeling language (UML), Petri net and time input/output automata (TIOA). This paper analyzes the characteristics of embedded software testing. The above formal methods and test case coverage criterions and test data collection methods are introduced. Combined with the characteristics of missile-borne software, this paper presents suitable ideas of testing missile-borne software.

You might also be interested in these eBooks

Recent Research on Mechanical Engineering, Mechatronics and Automation

View Preview

Info:

Periodical:

Applied Mechanics and Materials (Volume 574)

Pages:

646-650

DOI:

https://doi.org/10.4028/www.scientific.net/AMM.574.646

Citation:

Cite this paper

Online since:

July 2014

Authors:

Ji Cun Ma*, Xing Lin Qi, Jing Lv

Keywords:

Embedded Software Testing, Formalization Method, FSM, TIOA, UML

Export:

RIS, BibTeX

Price:

Permissions CCC:

Request Permissions

Permissions PLS:

Request Permissions

Сopyright:

Citation:

* - Corresponding Author

References

[1] Qiao Wenjun. Research of embedded software testing platform. Nanjing University of Aeronautics and Astronautics, (2007).

Google Scholar

[2] Liu Xiaoming. Embedded software testing based on component of research. Dalian Jiaotong University, (2008).

Google Scholar

[3] Wei Zheng. Embedded software test automation technology research. Beijing University of Technology, (2009).

Google Scholar

[4] Huang Zhihua. Test case generation method based on the specifications and its application in real-time embedded software testing. Xinjiang University, (2005).

Google Scholar

[5] Tang Le. Test case generation technology research and implementation for software reliability. University of Electronic Science and Technology, (2007).

Google Scholar

[6] Zhou Xiaohan. A kind of embedded real-time test method for software based on components. Southwest University, (2010).

Google Scholar

[7] Li Liuying. UML testing technology research and implementation. National University of Defense Technology, (2000).

Google Scholar

[8] Liu fang. Embedded software testing technology research. Beijing University of Posts and Telecommunications, (2009).

Google Scholar

[9] Zhao Jingli. The safety analysis of component-based software system based on Petri net. Taiyuan University of Science and Technology, (2008).

Google Scholar

[10] Yu ShengJi. Embedded software system test platform research. University of Electronic Science and Technology, (2004).

Google Scholar

[11] Fan Dongli. Embedded software testing technology research. Harbin Industrial University, (2006).

Google Scholar