Applying software reliability engineering process to software development in Korea defense industry

In Korea weapon system software development, there is a manual which defines the process for software development, support and management. Although this manual guides developers to perform static and dynamic testing of source code, these are not sufficient for developing reliable software. Therefore undefined activities in the manual, such as modeling software reliability and metric data collection, need to be specified and covered. In this paper, we suggest software reliability engineering process to the software development in Korea defense industry. We define several additional reliability activities for each software development lifecycle phase. We also applied models and metrics for accessing and analyzing the reliability of software products. These are based on international standards about software reliability. We hope that our research helps developers to produce more reliable software.