Abstract
In the case of weapon systems used by the military, defense standards are applied for economical and efficient procurement, management, and maintenance. Defense specifications are documents describing procedures and methods for determining whether technical requirements for products and services are consistent and apply to the production of weapon systems, quality assurance, and configuration management. Software is also subject to defense specifications, and is documented and managed in the same way as other defense specifications. Sometimes it happened to be standardized without some(or all) software. In this case, a competitive contract is impossible and it may affect the quality of weapon systems because the manufacturer arbitrarily changes the software without prior approval. So, software standardization is required, but it is very difficult to verify for firmware installed in hardware. This paper proposed a verification method for g software standardization, and we expect it will contribute to the efficient production and quality assurance of weapon systems.
군에서 사용하는 무기체계의 경우 경제적이고 효율적인 조달·관리 및 유지를 위하여 국방규격을 제정하여 관리한다. 국방규격은 제품 및 용역에 대한 기술적인 요구사항과 요구필요조건의 일치성 여부를 판단하기 위한 절차와 방법을 서술한 문서로, 작성된 국방규격은 무기체계의 생산, 품질보증, 형상관리 등에 활용된다. 소프트웨어도 국방규격의 하나로 다른 국방규격(국방규격서, 품질보증요구서, 도면, 부품/BOM 목록)과 같이 작성되고 관리되나, 소프트웨어의 일부(또는 전부)를 포함하지 않고 규격화를 수행하는 경우가 있다. 이 경우 개발업체를 제외하고는 다른 업체들은 제품을 생산할 수 없어 경쟁계약이 제약될 뿐만 아니라, 승인 없이 업체가 임의로 소프트웨어를 변경할 수 있어 무기체계의 품질에도 큰 영향을 미친다. 따라서 소프트웨어의 규격화 누락 여부의 검증은 반드시 필요하나, 하드웨어 내부에 탑재되는 펌웨어의 경우 개발업체 외에는 규격화 누락 여부의 확인이 매우 어렵다. 본 연구에서는 실제 품질보증 업무 수행 시에 활용할 수 있는 소프트웨어 규격화 누락 여부의 검증 방안을 제시하였으며, 이를 통해 무기체계의 효율적인 생산, 품질보증에 기여할 것이다.