무기체계 임베디드 소프트웨어에 대한 TFM 기반 시스템 테스트 모델 설계 및 적용
Design and Application of the TFM Based System Test Model for the Weapon System Embedded Software
0
조회
0
다운로드
0
인용
0
참고문헌
키워드
초록
본 논문에서는 무기체계 임베디드 소프트웨어의 시간 요소를 고려한 TFM(Time Factor Method) 기반의 시스템 테스트 모델을 설계하고, 적용사례를 통하여 결과를 제시한다. 이를 위해 무기체계 임베디드 소프트웨어의 특징과 시스템 테스트 그리고 객체지향 모델의 표현방법인 UML 표기법에 대하여 알아보고, 시스템 테스트 모델 설계를 위한 TFM 접근 방법으로 시간 요소를 고려한 테스트 방법과 시간 요소 측정 방법 그리고 테스트 케이스 선정 알고리즘을 제시한다. 무기체계 임베디드 소프트웨어의 TFM 기반 시스템 테스트 모델은 세 가지 요소 (X,Y,Z)로 구성되며, “X” 에서는 최대시간경로를 선정하는 알고리즘을 통해 테스트 케이스가 도출되고, “Y” 에서는 Sequence Diagram과 관련된 객체를 식별하고, “Z”에서는 Timing Diagram을 통하여 식별된 각 객체들의 실행시간을 측정한다. 또한 제안한 TFM 기반 시스템 테스트 모델을 “다기능 미사일 방어시스템”에 적용하여 테스트 케이스를 추출하는 방법을 제시한다.
Abstract
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".
참고문헌 (16)
- Software Technology Support Center, "Guidelines for Successful Acquisition and Management of Software-Intensive Systems(GSAM) Department of the Air Force" (2000)
- Object Management Group, "UML 2.0 Superstructure RFP" (2003)
- Paul C. Jorgensen, "Software Testing, A Craftsman's Approach, Part IV" (1995), CRC Press
- Yan Jiong, "Deriving software statistical testing model from UML model", pp.343~350 (2003)
- S.D. Miller, "A software cybernetic approach to control of the software system test phase", 2, pp.103~108 (2005)
- R. Fryer, "A FPGA based real-time analyzer for in-flight software & system testing", 2, pp.506~506 (2004)
- C. Yilmaz, "Covering arrays for efficient fault characterization in complex configuration spaces", 32(1), pp.20~34 (2006)
- Mark Sh. Levin, "Muli-Function System Testing : Composition of Test Sets", pp.99~108 (2004)
- A. En-Nouaary, "Testing Embedded Real-Time Systems", pp.417~424 (2000)
- B. Selic, "Tutorial h2:an overview of UML 2.0", pp.755~756 (2003)
- Sang-Uk Jeon, "Interaction-based behavior modeling of embedded software using UML 2.0", pp.5~ (2006)
- M. Bjerkander, "Architecting Systems with UML 2.0", 20(4), pp.57~61 (2003)
- Rumbaugh, "The Unified Modeling Language Reference Manual" (1999), Addison-Wesley
- David A. Patterson, "Computer Organization And Design" (2005)
- M. Gh, "Optimizing program disturb fault tests using defect-based testing", 24(6), pp.905~915 (2005)
- William Stallings, "Data and Computer Communications 7th Ed." (2004), Pear Education