DocumentCode
2684514
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
fYear
2011
fDate
12-15 June 2011
Firstpage
645
Lastpage
650
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Reliability, Maintainability and Safety (ICRMS), 2011 9th International Conference on
Conference_Location
Guiyang
Print_ISBN
978-1-61284-667-5
Type
conf
DOI
10.1109/ICRMS.2011.5979363
Filename
5979363
Link To Document