The KIPS Transactions:PartD (정보처리학회논문지D)

Korea Information Processing Society (한국정보처리학회)
권호 표지
DOI QR코드

DOI QR Code

Design and Application of the TFM Based System Test Model for the Weapon System Embedded Software

무기체계 임베디드 소프트웨어에 대한 TFM 기반 시스템 테스트 모델 설계 및 적용

  • 김재환 (국방대학교 전산정보학과) ;
  • 윤희병 (국방대학교 전산정보학과)
  • Published : 2006.12.31
Download PDF
⟨ Previous Next ⟩

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'.

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

Keywords

References

  1. Software Technology Support Center, Guidelines for Successful Acquisition and Management of SoftwareIntensive Systems(GSAM), Department of the Air Force, Ver. 3.0, 2000. 5
  2. Object Management Group, 'UML 2.0 Superstructure RFP,' OMG document no. pct/03-08-02, 2003. 2
  3. Paul C. Jorgensen, Software Testing, A Craftsman's Approach, Part IV, CRC Press, 1995
  4. Yan Jiong, Wang Ji and Chen Huowang, 'Deriving software statistical testing model from UML model,' 3rd International Conference Quality Software, pp.343-350, 2003. 11 https://doi.org/10.1109/QSIC.2003.1319120
  5. S.D. Miller, R.A. DeCarlo, and A.P. Mathur, 'A software cybernetic approach to control of the software system test phase,' COMPSAC, Vol.2, pp.103-108, 2005. 7 https://doi.org/10.1109/COMPSAC.2005.33
  6. R. Fryer, 'A FPGA based real-time analyzer for in-flight software & system testing,' DASC, Vol.2, pp.506-506, 2004. 10
  7. C. Yilmaz, M.B. Cohen, and A.A. Porter, 'Covering arrays for efficient fault characterization in complex configuration spaces,' IEEE Transactions on Software Engineering, Vol.32, Is. 1, pp.20-34, 2006. 1. https://doi.org/10.1109/TSE.2006.8
  8. Mark Sh. Levin and Mark Last, 'Muli-Function System Testing: Composition of Test Sets,' 8th IEEE International Symposium on High Assurance Systems Engineering(HASE'04), pp.99-108, 2004
  9. A. En-Nouaary, F. Khendddek, and R. Dssouli, 'Testing Embedded Real-Time Systems,' 7th International Conference on Real-Time Computing Systems and Applications(RTCSNOO), pp.417-424, 2000 https://doi.org/10.1109/RTCSA.2000.896421
  10. B. Selic, 'Tutorial h2: an overview of UML 2.0,' 25th International Conference Software Engineering, pp.755-756, 2003.5 https://doi.org/10.1109/ICSE.2003.1201272
  11. Sang-Uk Ieon, jang-Eui Hong and Doo-Hwan Bae, 'Interaction-based behavior modeling of embedded software using UML 2.0,' IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC' 06), p.5, 2006.4 https://doi.org/10.1109/ISORC.2006.42
  12. M. Bjerkander and C. Kobryn, 'Architecting Systems with UML 2.0,' IEEE Software, Vol. 20, Is. 4, pp.57-61, 2003. 9 https://doi.org/10.1109/MS.2003.1207456
  13. Rumbaugh, Jacobson, and Booch, The Unified Modeling Language Reference Manual, Addison-Wesley, 1999
  14. David A. Patterson and John L. Hennessy, Computer Organization And Design, ELSEVIER, 2005
  15. M. Gh, Mohammad and K.K. Saluja, 'Optimizing program disturb fault tests using defect-based testing,' IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol.24, Is. 6, pp.905-915, 2005. 6 https://doi.org/10.1109/TCAD.2005.847941
  16. William Stallings, Data and Computer Communications 7th Ed., Pear Education, 2004