Journal of KIISE:Software and Applications (한국정보과학회논문지:소프트웨어및응용)

Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

Test Case Generation Technique for Interoperability Testing

상호운용성 테스트를 위한 테스트케이스 생성 기법

  • 이지현 (전북대학교 컴퓨터과학과) ;
  • 노혜민 (전북대학교 컴퓨터과학과) ;
  • 유철중 (전북대학교 컴퓨터과학과) ;
  • 장옥배 (전북대학교 컴퓨터과학과) ;
  • 이준욱 (한국전자통신연구원 텔레매틱스연구단)
  • Published : 2006.01.01
Download PDF
⟨ Previous Next ⟩

Abstract

With the rapid growth of network technology, two or more products from different vendors are integrated and interact with each other to perform a certain function in the latest systems. Thus. interoperability testing is considered as an essential aspect of correctness of integrated systems. Interoperability testing is to test the ability of software and hardware on different machines from different vendors to share data. Most of the researches model communication system behavior using EFSM(Extended Finite State Machines) and use EFSM as an input of test scenario generation algorithm. Actually, there are many studies on systematic and optimal test case generation algorithms using EFSM. But in these researches, the study for generating EFSM model which is a foundation of test scenario generation isn't sufficient. This study proposes an EFSM generating technique from informal requirement analysis document for more complete interoperability testing. and implements prototype of Test Case Generation Tool generating test cases semi-automatically. Also we describe theoretical base and algorithms applied to prototype implementation.

네트워크 기술이 급격히 발전하면서 서로 다른 벤더들이 개발한 시스템들이 통합되거나 상호 운용함으로서 특정 기능을 수행한다. 이 경우 통합된 시스템의 정확성을 보증하는 상호운용성 테스트는 필수적이다. 상호운용성 테스트는 다른 벤더들이 개발한 다른 시스템이 데이타를 공유하는 경우 소프트웨어나 하드웨어의 성능을 테스트하는 것이다. 많은 연구에서 시스템의 행위를 모델링하기 위하여 EFSM(Extended Finite State Machines)을 사용하고 있고, EFSM은 테스트케이스 생성 알고리즘의 입력으로 사용된다. 그러나 대부분의 연구들은 최적의 테스트케이스 생성 알고리즘에 대한 것들로서 이들 알고리즘의 입력이 되는 EFSM 명세를 생성하는 과정에 관한 연구는 찾아보기 힘들다. 본 논문은 상호운용성 테스트를 위한 테스트케이스를 생성하는 연구로서 요구사항 분석서로부터 EFSM 명세를 생성하는 방법을 제안하고, 테스트케이스 생성의 자동화를 위하여 제안한 기법으로 생성된 EFSM을 입력으로 하여 표준화된 테스트 케이스 및 슈트를 자동 생성하기 위한 테스트케이스 생성기의 프로토타입을 구현한다. 또한 프로토타입 구현에 적용된 이론적 배경 및 알고리즘을 상세히 설명한다.

Keywords

References

  1. Glenn, R., Frankel, S., Montgomery, D., 'The NIST IPsec Web-Based Interoperability Test System,' Proceedings of IEEE 9th International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, pp. 147-152, 2000
  2. Moseley, S., Randall, S., Wiles, A., 'Experience Within ETSI of the Combined Roles of Conformance Testing and Interoperability Testing,' The 3rd Conference on Standardization and Innovation in Information Technology, pp. 177-189, 2003 https://doi.org/10.1109/SIIT.2003.1251206
  3. Qixiang, P., Shiduan, C., Yuehui, J, 'Protocol Conformance Test Suite Generation,' Proceedings of International Conference on Communication Technology, pp. 218-222, 1996 https://doi.org/10.1109/ICCT.1996.545165
  4. Wang, C. - J, Liu, M. T., 'Generating Test Cases for EFSM with Given Fault Models,' Proceedings of 12th Annual Joint Conference of the IEEE Computer and Communications Societies, pp. 774-781, 1993 https://doi.org/10.1109/INFCOM.1993.253292
  5. Petrenko, A., Boroday, S., Groz, R, 'Confirming Configurations in EFSM Testing,' IEEE Transactions on Software Engineering, Vol. 30, Issue 1, pp. 29-42, 2004 https://doi.org/10.1109/TSE.2004.1265734
  6. Lee, D., Yannakakis, M., 'Principles and Methods of Testing Finite State Machines- A Survey,' ？Proceedings of the IEEE, Vol. 84, Issue 8, pp. 1090-1123, 1996 https://doi.org/10.1109/JPROC.1996.533955
  7. Hao, R, Lee, D., Sinha, R. K., Griffeth, N., 'Integrated System Interoperability Testing with Applications to VoIP,' IEEE/ ACM Transactions on Networking, Vol. 12, Issue 5, pp. 23-836, 2004 https://doi.org/10.1109/TNET.2004.836136
  8. Griffeth, N., Hao, R, Lee, D., Sinha, R K., 'lnteroperabiJity Testing of VoIP Systems,' Global Telecommunications Conference, Vol. 3, pp. 1565-1570, 2000
  9. Malek, M., Dibuz, S., 'Pragmatic Method for lnteroperability Test Suite Derivation,' Proceedings of 24th Euromicro Conference, Vol. 2, pp. 838-844, 1998 https://doi.org/10.1109/EURMIC.1998.708110
  10. Tsai, Bar-Yuan, Stobart, S. Parrington, Mitchell, N., 'An Automatic Test Case Generator Derived from State-Based Testing,' Asia Pacific Software Engineering Conference, pp. 270-277, 1998 https://doi.org/10.1109/APSEC.1998.733729