A Test Framework for Dynamically Supporting the Simulation Works of the Global Navigation Satellite Systems

위성항법 시뮬레이션 작업을 동적으로 지원하는 테스트 프레임워크

  • 국승학 (충남대학교 컴퓨터공학) ;
  • 김현수 (충남대학교 전기정보통신공학부) ;
  • 이상욱 (한국전자통신연구원 위성관제-항법연구팀)
  • Published : 2009.12.31

Abstract

Simulation is the work that identifies the characteristics of some problem through the simulated experiments. During the experiments it is frequently required to change or replace the simulation models, algorithms, or input/output data. Especially, in the case of the simulation works performed by replacing algorithms, if a replaceable component that implements a specific algorithm is not correct with respect to its functionality it is very difficult to carry out the simulation works successfully. In this paper, we suggest a test framework that verifies functional correctness of the replaceable component in the software-based GNSS (Global Navigation Satellite System) simulation environments. When a component is replaced, this framework enables us to properly execute the functional test for the component according to its context.

시뮬레이션은 어떤 문제를 모의적으로 실험하여 그 특성을 파악하는 작업이다. 시뮬레이션 과정에서는 시뮬레이션 모델, 알고리즘, 입출력 데이터의 교체 및 변경이 빈번하게 발생한다. 특히 알고리즘의 교체를 통한 시뮬레이션 작업의 경우 알고리즘을 구현한 컴포넌트가 교체될 때 기능적으로 정확하게 동작하지 않는다면 시뮬레이션 작업을 성공적으로 수행하기 어렵다. 이 논문에서는 소프트웨어 기반 위성항법 시뮬레이션 환경에서 교체될 컴포넌트가 기능적으로 정확하게 구현되어 있는지를 검증하기 위한 테스트 프레임워크를 제안한다. 이 프레임워크는 컴포넌트가 교체되는 시점에서 교체되는 컴포넌트의 상황에 맞게 기능 테스트를 수행할 수 있게 해준다.

Keywords

References

  1. C.A. Chung, SIMULATION MODELING HANDBOOK: A Practical Approach, CRC Press, 2004.
  2. A. Sulistio, C.S. Yeo, and R. Buyya, “Taxonomy of computer-based simulation and its mapping to parallel and distributed system simulation tools,” Software Practice and Experience, pp653-673, 2004.
  3. 이재은, 주인원, 이상욱, 김재훈, “소프트웨어 위성항법 시뮬레이터 예비 설계”, 한국항공우주학회 학술발표대회 논문집, pp. 395-398, 2008.
  4. S. Kang, “Relating Interoperability Testing with Conformance Testing,” Global Telecommunications Conf. (GLOBECOM 98), Vol. 6, pp.3768-3773, 1998.
  5. J. Gao, D. Gopinathan, Q. Mai, and J. He, “A Systematic Regression Testing Method and Tool for Software Components,” 30th Annual Int’l Computer Software and Applications Conf. (COMPSAC'06), pp. 455-466, 2006.
  6. J. Bach, "General Functionality and Stability Test Procedure," http://www.satisfice.com/tools/procedure.pdf, 1999.
  7. 오일노, 국승학, 김현수, 김철홍, 윤석진, 최유희 “J2ME 대응 라이브러리 클래스 테스트 도구 개발”, 한국소프트웨어 공학 학술대회 논문집, 제8권, pp 357-364, 2006.
  8. T. Bennett and P. Wennberg, “Maintaining Verification Test Consistency between Executable Specifications and Embedded Software in a Virtual System Integration Laboratory Environment,” Proc. of the 28th Annual NASA Goddard Software Engineering Workshop, pp.221-228, 2003.
  9. http://www.mathworks.co.kr/products/simverification/
  10. M. L. Hutcheson, Software Testing Fundamentals: Methods and Metrics, Wiley & Sons, 2003.
  11. A. P. Mathur, Foundations of Software Testing, Pearson Education, 2008.