Embedded Software Formalization Testing Method and its Application in Missile-Borne Software
2014
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.
Keywords:
- Software construction
- Software reliability testing
- System integration testing
- Real-time computing
- Computer architecture
- Control engineering
- Package development process
- Software sizing
- Software development
- Software verification and validation
- Computer science
- Software measurement
- Programming language
- Software performance testing
- Correction
- Source
- Cite
- Save
- Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI