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

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

DOI QR Code

Conformance Test Scenario Extraction Techniques for Embedded Software using Test Execution Time

테스트 수행시간을 고려한 임베디드 소프트웨어의 적합성 테스트 시나리오 추출 기법

  • 박인수 (삼성전자 무선사업부) ;
  • 신영술 (경북대학교 전자전기컴퓨터학부) ;
  • 안성호 (한국전자통신연구원 대경권연구센터 자동차SW플랫폼연구팀) ;
  • 김진삼 (한국전자통신연구원 대경권연구센터 자동차SW플랫폼연구팀) ;
  • 김재영 (한국전자통신연구원 대경권연구센터 자동차SW플랫폼연구팀) ;
  • 이우진 (경북대학교 IT대학 컴퓨터학부)
  • Received : 2010.02.26
  • Accepted : 2010.03.31
  • Published : 2010.04.30
Download PDF
⟨ Previous Next ⟩

Abstract

Conformance testing for embedded software is to check whether software was correctly implemented according to software specification or not. In conformance testing, test scenarios must be extracted to cover every test cases of software. In a general way, test scenarios simply focus on testing all functions at least one time. But, test scenarios are necessary to consider efficiency of test execution. In this paper, we propose a test scenario extraction method by considering function's execution time and waiting time for user interaction. A test model is a graph model which is generated from state machine diagram and test cases in software specification. The test model is augmented by describing test execution time and user interaction information. Based on the test model, test scenarios are extracted by a modified Dijkstra's algorithm. Our test scenario approach can reduce testing time and improve test automation.

임베디드 소프트웨어의 적합성 테스트는 소프트웨어의 기능이 명세를 따라 정확히 구현되었는지 검사하는 것이다. 적합성 테스트에서 테스트 시나리오는 소프트웨어의 전체 기능을 테스트할 수 있도록 추출되어야 한다. 일반적으로 테스트 시나리오는 단순히 전체의 기능들을 한 번씩 테스트해 보는데 초점이 맞춰져 있다. 하지만 테스트 시나리오는 테스트 수행의 효율성을 고려할 필요가 있다. 이 연구에서는 각 함수들을 테스트하는데 걸리는 시간과 사용자 입력으로 인해 발생하는 대기 시간을 고려하여 최적화된 테스트 시나리오를 추출하는 기법을 제안한다. 테스트 시나리오를 추출하기 위해 상태 머신 다이어그램과 테스트 케이스를 바탕으로 그래프 형태의 테스트 모델을 생성한다. 테스트 모델에는 테스트 수행 시간과 사용자 입력에 대한 정보가 포함되어 있다. 최적화된 테스트 시나리오는 테스트 모델을 기반으로 수정된 최단거리 알고리즘을 이용하여 추출한다. 제안하는 테스트 시나리오 작성 기법을 이용하면 테스트 수행 시간을 줄일 수 있고, 테스트 자동화를 향상시킬 수 있다.

Keywords

References

  1. Anders Hessel, Paul Pettersson, "A Global Algorithm for Model-Based Test Suite Generation," Electronic Notes in Theoretical Computer Science 190, pp.47-59, August, 2007. https://doi.org/10.1016/j.entcs.2007.08.005
  2. 배현섭, 윤광식, 오승욱, "임베디드 소프트웨어 테스팅 이슈 및 현황," 정보과학회지, 제24권, 제8호, pp.40-45, 2006.
  3. OMG, Unified Modeling Language : Superstructure, version 2.1.1, 2007.
  4. Sanjai Rayadurgam, Mats P. E. Heimdahl, "Test-Sequence Generation from Formal Requirement Models," Proceedings of the 6th IEEE International Symposium of High Assurance Systems Engineering, pp.23-31, 2001. https://doi.org/10.1109/HASE.2001.966804
  5. R. Lai, "A survey of communication protocol testing," Journal of Systems and Software, Vol.62, pp.21-46, 2002. https://doi.org/10.1016/S0164-1212(01)00132-7
  6. Wang Linzhang, et al., "Generating Test Cases from UML Activity Diagram based on Gray-Box Method," Proceedings of APSEC'04, pp.284-291, 2004. https://doi.org/10.1109/APSEC.2004.55
  7. P. G. Sapna, H. Mohanty, "Automated Scenario Generation Based on UML Activity Diagrams," Proceedings of Information Technology, pp.209-214, 2008. https://doi.org/10.1109/ICIT.2008.52
  8. Philip Samuel, Anju T. Joseph, "Test Sequence Generation from UML Sequence Diagrams," Proceedings of the 9th ACIS International Conference on Software Engineering, pp. 879-887, 2008. https://doi.org/10.1109/SNPD.2008.100
  9. R.E. Miller, S. Paul, "Generating minimal length test sequences for conformance testing of communication protocols," Proceedings of Tenth Annual Joint Conference of the IEEE Computer and Communications Societies, Vol.2, pp.970-979, April 1991. https://doi.org/10.1109/INFCOM.1991.147610
  10. Hasan Ural, Keqin Zhu, "Optimal Length Test Sequence Generation Using Distinguishing Sequences," IEEE/ACM Transactions on Networking, Vol.1, pp.358-371, June 1993. https://doi.org/10.1109/90.234857
  11. ISO/IEC 13210:1999(E), IEEE Std 2003, Information Technology - Requirements and Guidelines for Test Methods Specifications and Test Method Implementations for Measuring Conformance to POSIX Standards, 1999.
  12. Richard E. Neapolitan, Kumarss Naimipour, Foundations of Algorithms Using C++ Pseudocode 3rd Edition, Jones and Bartlett Publishers, 2004.
  13. Chul Kim, J. S. Song, "Test Sequence Generation Methods for Protocol Conformance Testing," Proceedings of Computer Software and Applications Conference 1994, pp. 169-174, November, 1994. https://doi.org/10.1109/CMPSAC.1994.342812