• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제7권7호
• /
• pp.249-258
• /
• 2018

국방 무기체계에서의 소프트웨어 비중이 증가하고 있으며 구조도 점차 복잡해지고 있어, 이에 따른 신뢰성 검증이 매우 중요하다. 특히 무기체계 시스템을 구성하는 소프트웨어 구성 요소 들의 상호 작용에 따라 발생하는 결함은 정적 시험 및 코드 실행률 점검 수준의 동적 시험만으로는 예방하기가 어렵다. 본 논문에서는 소프트웨어의 동적 결함 유형을 분류 개발한다. 미 국방부 무기체계에 사용하는 오픈 소스 소프트웨어(OSS)에서 보고된 이슈 분석을 통하여 본 논문에서 분류한 동적 결함이 실제로 발생하며, 이들은 대체로 통합 이후 발생하는 결함이며, 재현이 어렵고, 결함 원인 파악이 어려웠음을 보인다. 이 분석 결과를 기반으로 무기체계 신뢰성 검증을 위하여 소프트웨어 통합 시험 개선의 중요성을 도출한다.

• 한국컴퓨터정보학회논문지
• /
• 제14권11호
• /
• pp.123-134
• /
• 2009

국방 무기체계에 내장되는 소프트웨어가 무기체계 핵심요소로 부각되면서 내장형 소프트웨어를 체계적으로 관리하고 이에 대한 기술정보를 제공할 수 있는 정보체계의 필요성이 제기되고 있다. 하지만 무기체계 기술정보자료 및 관련정보들이 각 군 및 국방과학연구소 또는 방위산업체에서 기술정보를 대부분 개별적으로 관리하고 있으므로 기술정보 공유 및 통합정보서비스가 어려운 실점이다. 본 논문에서는 무기체계의 핵심기술인 내장형 소프트웨어를 체계적으로 관리하기 위해 기존 정보체계의 문제점을 분석하고 기술정보 관리에 대한 현행 법 제도의 문제점을 파악하여 제도 개선방안을 제시한다. 또한 체계적인 관리를 위해 방위사업 관련 법령들에 명기된 각 산출물들을 분석하여 내장형SW 기술정보를 식별하고 정보서비스 현황과 각 군 및 군 관련연구기관의 요구사항들을 분석한다. 이를 통해 무기체계 내장형 소프트웨어 통합관리체계 구축방안을 제시함으로써 국방 소프트웨어 기술정보 관리의 효율성을 높이고 기술정보 공유를 통해 소프트웨어 활용도 및 재사용성을 높임으로써 국방 소프트웨어 개발비용 절감과 소프트웨어 기술발전에 기여하고자 한다.

• 한국통신학회논문지
• /
• 제36권4B호
• /
• pp.332-345
• /
• 2011

무기체계가 첨단 복합화 형태로 진화하면서 물리적 구현에서 소프트웨어가 차지하는 비중과 중요성은 급격히 증대되고 있다. 특히 네트워크 중심전(NCW)으로 대변되는 현대의 전장 상황에서 신뢰성 있게 운용되는 무기체계를 개발하기 위해서는 신뢰성 있는 소프트웨어의 개발이 필수 불가결한 요소이다. 국내 무기체계의 연구개발 과정에서 하드웨어 구성품과는 다르게 소프트웨어 요소에 대한 신뢰성 관련 기술 활동은 일부 구현된 소프트웨어에 대해 신뢰도 평가를 수행하는 수준이다. 그러나 연구개발 기간에 소프트웨어의 목표 신뢰도를 확보하기 위해서는 무기체계 개발 초기 단계부터 체계적인 신뢰성 공학 활동이 요구된다. 본 연구에서는 범위가 제약되어 있던 그 동안의 소프트웨어 신뢰성 관련 연구 활동을 무기체계 연구개발 수명주기 동안 목표 신뢰도를 만족하는 소프트웨어를 개발할 수 있도록 시스템 공학 관점에서 접근법을 제시하였다. 그 결과 무기체계의 연구개발 수명주기 동안 적용할 수 있는 프로세스를 도출하였는데 이를 무기체계의 소프트웨어 신뢰성 공학 프로세스 (Software Reliability Engineering Process for Weapon Systems: SREP-WS)로 명명하였다. 각종 첨단무기체계 개발에 도출된 SREP-WS를 적용함으로써 소프트웨어 신뢰도를 정량적 관리할 수 있고, 또한 목표 신뢰도를 개발기간 중에 확보할 수 있게 된다.

• 한국군사과학기술학회지
• /
• 제23권4호
• /
• pp.389-398
• /
• 2020

Test cases in the existing weapon system software were created manually by the tester analyzing the test items defined in the software integration test procedure. However, existing test case generation method has two limitations. First, the quality of test cases can vary depending on the tester's ability to analyze the test items. Second, excessive time and cost may be incurred in writing test cases. This paper proposes a method to automatically generate test cases based on the requirements model and specifications to overcome the limitations of the existing weapon system software test case generation. Generate test sequences and test data based on the use case event model, a model representing the requirements of the weapon system software, and the use case specification specifying the requirements. The proposed method was applied to 8 target models constituting the avionics control system, producing 30 test sequences and 8 test data.

• 정보처리학회논문지D
• /
• 제13D권7호
• /
• pp.923-930
• /
• 2006

본 논문에서는 무기체계 임베디드 소프트웨어의 시간 요소를 고려한 TFM(Time Factor Method) 기반의 시스템 테스트 모델을 설계하고, 적용사례를 통하여 결과를 제시한다. 이를 위해 무기체계 임베디드 소프트웨어의 특징과 시스템 테스트 그리고 객체지향 모델의 표현방법인 UML 표기법에 대하여 알아보고, 시스템 테스트 모델 설계를 위한 TFM 접근 방법으로 시간 요소를 고려한 테스트 방법과 시간 요소 측정 방법 그리고 테스트 케이스 선정 알고리즘을 제시한다. 무기체계 임베디드 소프트웨어의 TFM 기반 시스템 테스트 모델은 세 가지 요소 (X,Y,Z) 로 구성되며, 'X' 에서는 최대시간경로를 선정하는 알고리즘을 통해 테스트 케이스가 도출되고, 'Y' 에서는 Sequence Diagram과 관련된 객체를 식별하고, 'Z'에서는 Timing Diagram을 통하여 식별된 각 객체들의 실행시간을 측정한다. 또한 제안한 W:M 기반 시스템 테스트 모델을 '다기능 미사일 방어시스템'에 적용하여 테스트 케이스를 추출하는 방법을 제시한다.

• 한국산학기술학회논문지
• /
• 제22권3호
• /
• pp.310-315
• /
• 2021

군에서 사용하는 무기체계의 경우 경제적이고 효율적인 조달·관리 및 유지를 위하여 국방규격을 제정하여 관리한다. 국방규격은 제품 및 용역에 대한 기술적인 요구사항과 요구필요조건의 일치성 여부를 판단하기 위한 절차와 방법을 서술한 문서로, 작성된 국방규격은 무기체계의 생산, 품질보증, 형상관리 등에 활용된다. 소프트웨어도 국방규격의 하나로 다른 국방규격(국방규격서, 품질보증요구서, 도면, 부품/BOM 목록)과 같이 작성되고 관리되나, 소프트웨어의 일부(또는 전부)를 포함하지 않고 규격화를 수행하는 경우가 있다. 이 경우 개발업체를 제외하고는 다른 업체들은 제품을 생산할 수 없어 경쟁계약이 제약될 뿐만 아니라, 승인 없이 업체가 임의로 소프트웨어를 변경할 수 있어 무기체계의 품질에도 큰 영향을 미친다. 따라서 소프트웨어의 규격화 누락 여부의 검증은 반드시 필요하나, 하드웨어 내부에 탑재되는 펌웨어의 경우 개발업체 외에는 규격화 누락 여부의 확인이 매우 어렵다. 본 연구에서는 실제 품질보증 업무 수행 시에 활용할 수 있는 소프트웨어 규격화 누락 여부의 검증 방안을 제시하였으며, 이를 통해 무기체계의 효율적인 생산, 품질보증에 기여할 것이다.

• 한국산학기술학회논문지
• /
• 제22권5호
• /
• pp.387-393
• /
• 2021

본 연구에서는 기존의 무기체계 소프트웨어 개발 프로세스에 ISO/IEC 25023의 소프트웨어 품질 평가 모델을 적용하여 기존보다 무기체계 소프트웨어의 품질을 향상시킬 수 있는지 확인하였다. 현재 무기체계 소프트웨어 개발 프로세스는 소프트웨어 품질 요구사항을 관리하고 있지만 소프트웨어 품질은 제한적으로만 향상시키고 있었다. 소프트웨어 품질 요구사항에서 품질 특성을 정의하고 관리하였지만 개별적인 사업에 따라 품질 특성이 다르게 정의되었기 때문이다. 따라서 소프트웨어 품질 요구사항의 품질 특성이 동일하여도 산출물이 다르고 사업에 따라 품질 관리의 차이가 컸다. 무기체계 소프트웨어 개발 프로세스 내에서 소프트웨어 품질 관리 제한점의 원인은 소프트웨어 품질 특성에 대한 일관된 정의 부족과 정량적으로 측정되지 않는 산출물로 파악하였다. 국제표준 소프트웨어 품질평가 메트릭인 ISO/IEC 25023은 소프트웨어를 8가지 주특성 및 31가지 부특성으로 구분하여 품질 특성을 정의하고 정량적으로 소프트웨어 제품 품질을 평가할 수 있는 기준을 제시한다. ISO/IEC 25023을 무기체계 소프트웨어 개발 프로세스에 적용하여 소프트웨어 품질을 향상시키는 방안을 검토하고 소프트웨어 품질 향상 효과를 분석하였다.

• 한국전자통신학회논문지
• /
• 제17권4호
• /
• pp.663-670
• /
• 2022

본 연구는 한국형 합동 전술데이터링크 체계 사업의 사례를 통해 무기체계 소프트웨어 개발 및 관리 매뉴얼에서 규정하고 있는 무기체계 소프트웨어 신뢰성 시험이 정의되기 전에 획득한 소프트웨어 자산을 안정적으로 무기체계에 통합하는 방안을 제시한다. 이를 위하여 무기체계 소프트웨어 신뢰성 시험에 대한 개요와 한국형 합동 전술데이터링크체계 사업의 특성에 따른 신뢰성시험 적용의 문제점을 기술하고, 각 문제점에 대한 사업의 결정안과 이를 통한 기대 효과를 기술한다.

• 한국산학기술학회논문지
• /
• 제22권1호
• /
• pp.285-293
• /
• 2021

군수품 최초양산품 품질관리는 연구개발 이후 최초로 양산 계약된 군수품을 대상으로 개발 후 완성된 규격에 따라 개발품의 양산 실현 가능성과 적합성 평가를 목적으로 수행한다. 하지만 본 연구를 통한 무기체계 최초양산품 소프트웨어 품질보증을 수행하기 이전까지 최초양산품 품질보증은 하드웨어 중심으로 수행되어 소프트웨어에 대한 품질보증은 미흡한 상태였다. 이로 인해 후속 양산단계에서 소프트웨어의 문제점들이 발견됐을 경우 불가피한 기술변경에 따라 많은 시간과 비용이 소요되었다. 본 논문에서는 소프트웨어 기술자료의 충분성 및 적합성을 점검하기 위한 무기체계 최초양산품 소프트웨어 품질보증 프로세스 연구를 수행한 결과를 보인다. 그 결과 컴퓨터 파일의 완전성 점검, 소프트웨어 기술문서의 적합성 점검, 소프트웨어 기술자료와 그 외 국방규격의 연계 여부를 점검하는 프로세스를 정립하고 이 프로세스를 적용하여 최초양산품 소프트웨어 품질보증을 수행한 결과를 분석하여 최초양산품 소프트웨어 품질보증 프로세스의 효용성을 보인다. 소프트웨어 기술자료의 완전성을 확보하여 양산단계에서 발생할 수 있는 소프트웨어 문제점을 사전에 식별하여 소프트웨어의 선제적인 품질 확보에 기여할 수 있음을 보인다.

• 정보처리학회논문지D
• /
• 제13D권5호
• /
• pp.717-724
• /
• 2006

무기체계 획득 사업에 있어서 소프트웨어의 비중이 높아감에 따라 비용추정의 중요성이 증대되고 있으나, 무기체계 내장형 소프트웨어의 비용에 대한 추정은 일반 소프트웨어 비용 추정 방법을 따르며 주로 PRICE S 모델을 도구로 사용하고 있다. 그렇지만, PRICE S 모델에서 내장형 소프트웨어에 대한 개발규모 산정에 따른 추정 비용의 타당성에 대한 검증 결과는 알려져 있지 않다. 따라서 본 연구에서는 PRICE S 모델을 이용하여 무기체계 내장형 소프트웨어의 산정 규모를 통한 비용 추정 기법을 제안한다. 이를 위하여 PRICE S 모델의 규모 산정 도구를 이용하여 코드라인과 기능점수 방식으로 소프트웨어의 규모를 추정한다. 최종적으로는 제작사에서 제공하는 실제 비용 자료와 비교한다. 결과적으로 객관적으로 추정이 어려웠던 무기체계 내장형 소프트웨어의 규모 및 비용을 추정하는 방안을 제시함으로써, 앞으로 무기체계 획득 사업에서 소프트웨어의 비용 검증 및 협상에 활용할 수 있을 것이다.