• Proceedings of the Korean Information Science Society Conference
• /
• 2012.06b
• /
• pp.83-85
• /
• 2012

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

• Proceedings of the Korean Information Science Society Conference
• /
• 2006.06c
• /
• pp.172-174
• /
• 2006

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

• The KIPS Transactions:PartD
• /
• v.13D no.7 s.110
• /
• pp.923-930
• /
• 2006

In this paper we design the system test model for the weapon system embedded software based on the Time Factor Method(TFM) considering time factors and suggest the results through the case study. For doing this, we discuss the features, system tests and the object-oriented model based UML notations of the weapon system embedded software. And we give a test method considering time factors, a measuring method to time factors, and a test case selection algorithm as an approach to the TFM for designing the system test model. The TFM based system test model consists of three factors (X, Y, Z) in the weapon system embedded software. With this model, we can extract test cases through the selection algorithm for a maximum time path in 'X', identify the objects related to the Sequence Diagram in 'Y' and measure the execution time of each objects which is identified by the Timing Diagram in 'Z' Also, we present the method of extracting the system test cases by applying the proposed system test model to the 'Multi-function missile defense system'.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.23 no.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.

• KIPS Transactions on Software and Data Engineering
• /
• v.8 no.4
• /
• pp.137-144
• /
• 2019

Testing maturity is critical to the system under development with lack of experience and skills in the acquisition of the weapon systems. Defects have a huge impact on important system operations. Sharing real-time information will lead to rapid command and mission capability in submarine. DDS(Data Distribution System) is a very important information sharing system and interface between various manufacturers or data formats. In this paper, we analyze data distribution characteristics of distributed data system to group data-specific systems and proposes a test case-generation method using path search of postorder and preorder which is a tree traversal in path testing method. The proposed method reduces 73.7.% testing resource compare to existing methods.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2021.11a
• /
• pp.2-5
• /
• 2021

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

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.22 no.1
• /
• pp.87-93
• /
• 2021

As the portion of modern weapons systems equipped with electronic components increases, the presence of embedded software has also increased, subsequently drawing interest in quality management and development methods. Unlike mechanical systems, software is logically intangible, hard to troubleshoot, and hard to reuse, making it hard to utilize limited resources when exposed to failures. The United States had successful results in establishing the Capability Maturity Model (CMM) by studying and applying separate processes for development and quality management of defense software. South Korea has also established, and utilizes, a standard of development and quality management for defense software based on international standards. However, some say those standards still remain at a basic level, and should be modified along with the progress in software. If the standard stays at a basic level, compared to software progression, the cost to reuse and restore resources will increase exponentially. This paper discusses improvement in the test processes for defense software through the Test Maturity Model-integration (TMMi)-derived from the CMM-and presents a blueprint for defense software quality management.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2008.11a
• /
• pp.535-538
• /
• 2008

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

• Journal of Advanced Navigation Technology
• /
• v.27 no.2
• /
• pp.228-234
• /
• 2023

As the increasing demand for high-quality software, there is huge requiring for quality certification of international standards, industrial functional safety (IEC 61508), automotive (ISO 26262), embedded software guidelines for weapon systems, etc., in the industry. Software companies are very difficult to systematically acquire the quality certification in terms of cost and manpower of Startup, venture small-sized companies. For their companies one test case automatic generation is considered as a core technique to evaluate or improve software quality. This paper proposes a test case automatic generation method based on the design decision table for system and software design verification. We apply the proposed method with OMG's standard techniques of metamodel and model transformation for automatically generating test cases. To do this, we design the metamodels of design decision table (Model) and test case document (Text) and define model transformation to automatically generate test cases, which will expect to easily work MC/DC coverage.

• Journal of the Korea Society for Simulation
• /
• v.19 no.4
• /
• pp.291-299
• /
• 2010

As recent advances in science, technology and performance requirements of the weapons system are getting highly diversified and complex, the performance requirements also get stringent and strict. Moreover, the weapons system should be intimately connected with other systems such as watchdog system, command and control system, C4I system, etc. However, a tremendous amount of time, cost and risk being spent to acquire new weapons system, and not being diminished compared to the rapid pace of its development speed. Defense Modeling and Simulation(M&S) comes into the spotlight as an alternative to overcoming these difficulties as well as constraints. In this paper, we propose the development process of virtual test framework based on the synthetic environment as a tool to analyze the effectiveness of the weapons system of underwater engagement model. To prove the proposed concept, we develop the test-bed of virtual test using Delta3D simulation engine, which is open source S/W. We also design the High Level Architecture and Real-time Infrastructure(HLA/RTI) based Federation for the interoperation with heterogeneous simulators. The significance of the study entails (1)the rapid and easy development of simulation tools that are customized for the Korean Theater of War; (2)the federation of environmental entities and the moving equations of the combat entities to manifest a realistic simulation.