Title :
Software reliability in weapon systems
Author_Institution :
AFOTEC, Albuquerque, NM, USA
Abstract :
AFOTEC is responsible for the operational testing of application software used in weapon systems. In order to determine if a system is ready for operational testing, raw data from unit and integration testing are analyzed to determine if the software is exhibiting maturity and reliability growth. A graphical tool containing a library of widely accepted software reliability growth models then selects the optimum model by first subjecting the data to goodness-of-fit criterion and then prequential likelihood (PL) as a measure of predictive strength. The intent is to use these data with operational profiles to determine the expected software reliability for a given system operational mission
Keywords :
maximum likelihood estimation; military computing; program testing; software libraries; software reliability; software tools; weapons; AFOTEC; application software; goodness-of-fit criterion; graphical tool; integration testing; operational profiles; operational testing; predictive strength; prequential likelihood; software library; software reliability growth models; unit testing; weapon systems; Equations; Frequency; Parameter estimation; Predictive models; Propulsion; Software reliability; Software testing; Software tools; System testing; Weapons;
Conference_Titel :
Software Reliability Engineering - Case Studies, 1997. Proceedings., The Eighth International Symposium on
Conference_Location :
Albuquerque, NM
Print_ISBN :
0-8186-8221-3
DOI :
10.1109/CSSRE.1997.637851