Title :
The process of requirement analysis about military software system testing
Author :
Zhou, Qing ; Liu, Bin ; Yu, Zhengwei ; Xing, Xiaoqi
Author_Institution :
Sch. of Reliability & Syst. Eng., Beihang Univ., Beijing, China
Abstract :
The requirement of software system testing is the prerequisite and basis. This article has been premised on the concept of the requirement of software testing, research on the relationship between the requirement of software testing and the requirement of software system testing, combine the demand of GJB2725A for software testing requirements, and give the definition of requirement for software testing, give an formal method of analyzing the requirement of software system testing, and how to translate the software requirement to the requirement of software system testing, and give an example at last.
Keywords :
military computing; program testing; program verification; GJB2725A; formal method; military software system testing; requirement analysis process; Military standards; Missiles; Software systems; Software testing; System testing; software system testing; software system testing requirement; software testing;
Conference_Titel :
Reliability, Maintainability and Safety (ICRMS), 2011 9th International Conference on
Conference_Location :
Guiyang
Print_ISBN :
978-1-61284-667-5
DOI :
10.1109/ICRMS.2011.5979363
