• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2012년도 한국컴퓨터종합학술대회논문집 Vol.39 No.1(B)
• /
• pp.83-85
• /
• 2012

국방 분야의 무기체계 내장형 소프트웨어(embedded software)는 그 규모와 복잡도가 증가함에 따라 소프트웨어 품질이 매우 중요하게 인식되고 있으며, 고객 또한 소프트웨어 품질 및 신뢰성 시험 활동에 대해 높은 요구사항을 제시하고 있다. 최근 "무기체계 내장형 소프트웨어 획득 및 관리 실무 지침서(방위사업청 지침, 2011.11.30)"가 명문화되었으며, 이 지침서 내에도 소프트웨어 신뢰성 시험을 강조하고 있다. 그러나 업계에서는 소프트웨어 신뢰성 시험에 대한 개발 단계의 테스트 설계 활동이 체계적으로 수행되지 않고 있으며, 테스트 설계 활동에서 테스트 설계 기법을 제대로 활용하고 있지 못하고 있다. 이를 위해 본 논문에서는 테스트 설계 활동과 테스트 설계 기법을 소개한다. TMMi 및 ISTQB 지식체계에서 제시하고 있는 테스트 설계 기법을 기반으로 실제 무기체계 내장형 소프트웨어의 테스트 시 적용하였던 테스트 설계 기법을 소개하고, 테스트케이스를 효과적으로 도출할 수 있는 방법을 제안한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2006년도 한국컴퓨터종합학술대회 논문집 Vol.33 No.1 (C)
• /
• pp.172-174
• /
• 2006

본 연구에서는 시간 요소를 고려한 무기체계 소프트웨어의 시스템 테스트 모델을 제시한다. 이를 위해 컴포넌트 기반의 UML 표기법과 무기체계의 시간 제약 특징을 고려한 무기체계 소프트웨어의 시스템 테스트 모델인 TFM(Time Factor Method) 모델을 제안한다. TFM 모델은 세 가지 요소인 (X.Y,Z)으로 구성되어 있는데. "X" 에서는 최대시간경로를 선정하는 알고리즘을 통해 테스트 케이스가 도출되고, "Y" 에서는 Sequence Diagram과 관련된 컴포넌트(오브젝트)를 식별하고, "Z"에서는 Timing Diagram을 통하여 식별된 각각의 컴포넌트의 실행시간을 측정한다. 또한 제안된 TFM 모델의 적용사례를 들어 테스트 케이스를 도출한다.

• 정보처리학회논문지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 기반 시스템 테스트 모델을 '다기능 미사일 방어시스템'에 적용하여 테스트 케이스를 추출하는 방법을 제시한다.

• 한국군사과학기술학회지
• /
• 제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.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제8권4호
• /
• pp.137-144
• /
• 2019

무기체계 기술의 국산화 과정에서 경험과 기술이 부족한 상태로 개발 중인 체계에 대한 테스트 기술의 성숙도는 매우 중요하다. 테스트에서 발견하지 못한 결함은 시스템 운용 중 막대한 영향을 미친다. 잠수함에서 실시간 정보공유 체계는 신속한 지휘결심과 임무능력으로 이어진다. 데이터 분산 시스템은 매우 중요한 정보 공유체계이며 제조사나 데이터 형태가 다른 체계들 간에 이루어진다. 본 논문에서는 데이터 분산 시스템의 데이터 분산 특성을 분석하여 데이터별 체계를 그룹핑하고, 경로 테스트 기법에 트리순회 방법인 후위트리순회, 전위트리순회를 이용하여 테스트케이스 생성기법을 제시한다. 제시한 기법은 기존기법들에 비해 73.7% 테스팅 리소스를 감소시킬 수 있다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2021년도 추계학술발표대회
• /
• pp.2-5
• /
• 2021

테스트 주도 개발(TDD: Test-Driven Development)의 가치와 원칙을 잘 이해하고 있고, TDD 를 적용한 개발 방식이 습관화되어 있으면 TDD 가 제공하는 다양한 장점들을 얻을 수 있다. 하지만 위와 같은 경우가 아니라면 TDD 를 적용하더라도 비용 대비 효과를 얻을 수 없다. 본 논문에서는 비용 대비 효과를 높일 수 있도록 TDD 를 상황에 맞게 테일러링하여 협업에 적용한 사례를 제시한다.

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

현대 무기체계는 전자장비 탑재의 비중이 늘어나고 있으며, 그에 따른 소프트웨어 탑재비중도 늘어나고 있다. 소프트웨어 비중이 높아감에 따라 그 품질관리와 개발방법에 대한 관심도 높아졌다. 물리적으로 가시화 된 기계체계와 달리 논리적으로 비가시화 된 소프트웨어는 결함에 노출될 경우 복구의 어려움, 재사용의 어려움, 자원의 낭비와 같은 위험에 놓여 질 수 있다. 미국의 경우 국방 소프트웨어의 개발과 품질관리를 위한 별도의 프로세스를 연구하고 적용하는 노력을 통해 CMM(Capability Maturity Model)을 만드는 성과도 거두었다. 우리나라 또한 국제표준을 바탕으로 국방 소프트웨어 개발 및 품질관리에 대한 기준을 만들어 활용하고 있다. 그러나 소프트웨어의 발전 속도에 맞추어 기준을 변경해야 함에도 아직 기초수준에 머무르고 있다는 지적이 있다. 소프트웨어 발전 속도에 비해 기준이 낮다면, 자원 재사용 비용 및 복구비용이 기하급수적으로 늘어난다. 본 논문에서는 CMM의 소프트웨어 테스트 파생형인 TMMi(Test Maturity Model-integration)을 통해 국방 소프트웨어 테스트 절차 발전 방안에 대해 논의하고, 국방 소프트웨어 품질관리에 대한 청사진을 제시하고자 한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2008년도 추계학술발표대회
• /
• pp.535-538
• /
• 2008

국방에서 사용되는 소프트웨어는 미션 크리티컬(Mission Critical)한 고 품질의 소프트웨어가 요구된다. 이를 위해 많은 조직에서는 전체 개발 프로세스를 개선하기 위한 목적으로 CMMI를 적용하고 있으나 테스트 프로세스를 개선하는 데는 부족함이 있어 고 품질의 소프트웨어를 생산하는데 어려움이 따르고 있다. 더욱이 국방이라는 특수한 도메인에서는 그러한 현상이 빈번히 발생함에 따라 국방 도메인에 적합한 테스트 성숙도 모델의 필요성이 제기되었으며 이를 위해 국방 시험 성숙도 모델(MND-TMM)이 개발되었고 현재 시험 적용 중이다. 본 논문에서는 현재 무기체계 소프트웨어를 개발하는 조직에서 전체 개발 프로세스를 개선하기 위해 CMMI를 적용하고 있기에 테스트 프로세스를 개선하기 위한 모델인 MND-TMM과 CMMI를 비교 분석하여 두 모델의 강점과 약점을 제시하고 상호연계방안을 모색한다. 상호연계를 통해 국방 소프트웨어 개발 조직에서는 두 모델을 적용하는데 있어 비용 및 시간을 줄이고 소프트웨어의 품질을 향상시킬 것으로 기대한다.

• 한국항행학회논문지
• /
• 제27권2호
• /
• pp.228-234
• /
• 2023

고품질 소프트웨어의 요구 증가로 국제표준, 산업 기능안전(IEC 61508), 자동차(ISO 26262), 무기체계 내장형 소프트웨어 지침 등 품질 인증 요구가 많다. 스타트 업, 벤처, 중소 업체들은 비용 및 인력 측면에서 체계적인 품질 획득이 어려움이 있다. 그들 업체에게 자동 테스트 케이스 생성은 비용, 시간, 인력 문제에도 소프트웨어 품질을 향상할 수 있는 해법으로 제시 될 수 있다. 이를 위해, 시스템 및 소프트웨어 설계 검증이 가능한 "의사 결정표" 기반 테스트 케이스 자동화를 제안한다. 이는 OMG의 표준 기법인 메타모델과 모델 변환 기법을 사용해 각각 의사 결정표(Model)와 테스트 케이스(Text)의 메타모델 설계 및 모델변환을 정의한다. 즉 의사 결정표 입력으로 테스트 케이스 발생 자동화이다. 이를 통해 MC/DC 커버리지등도 쉽게 적용 가능하다.

• 한국시뮬레이션학회논문지
• /
• 제19권4호
• /
• pp.291-299
• /
• 2010

최근 과학기술의 발전에 따라 국방 M&S에서의 무기체계 기술 및 분석을 위한 요구사항이 매우 다양화되고 복잡해졌으며, 무기체계에 요구되는 성능 또한 엄격해지고 있다. 따라서 미래의 무기체계는 와치-독 시스템, 지휘 통제 시스템, C4I 시스템과 같이 서로 다른 시스템들과의 연동기술이 필수적이다. 그러나 급속도로 발전하고 있는 M&S 기술과 비교하였을 때, 새로운 무기체계 획득 시 소요되는 시간, 비용 및 위험성은 감소되지 않고 있다. 이러한 애로사항을 극복하고자 국방 M&S 기술이 그 대안으로 떠오르고 있다. 본 논문에서는 수중대잠전 교전모델의 무기체계 효과도를 검증하기 위한 도구로써, 합성환경기반의 가상시험 프레임워크를 설계하고자 한다. 이를 위해, 오픈 소스 소프트웨어 중 하나인 Delta3D 시뮬레이션 엔진을 이용하여 가상시험 테스트베드를 구축하였으며, 다른 시뮬레이터들과의 상호연동성을 위해 HLA/RTI을 만족하는 페더레이션을 설계하였다. 본 연구의 중요성은 한국전장에 적합한 효율적인 시뮬레이션 도구를 개발하고, 보다 현실적인 시뮬레이션을 위한 전투객체의 운동방정식 및 환경 객체의 페더레이션을 설계하는데 있다.