Software reliability in weapon systems

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.