DOI QR코드

DOI QR Code

Object-Oriented Software Interaction Test Techniques using Design/CPN

Design/CPN을 이용한 객체지향 소프트웨어 상호작용 테스트 기법

  • 이인혁 (충북대학교 대학원 전자계산학과) ;
  • 구연설 (충북대학교 전기전자컴퓨터공학부)
  • Published : 2004.06.01

Abstract

An object-oriented system is organized by a set of interacting objects and the system behavior is represented by the cooperating interaction bet ween objects. The characteristics of object-oriented software. such as inheritance and polymorphism, increase the difficulty of the object-oriented software testing. At running time of a program, one call from a member function can bind to other member functions because of the dynamic characteristics such as concurrence, dynamic binding and interaction. Therefore, there need the research about considering the characteristics of object-oriented software and concurrently testing the interaction between objects. In this paper, we propose the techniques as follows. First, we construct a flattened state chart diagram by considering the inheritance and polymorphism. Next, we model the system with CPN(Colored Petri Net) that usually is applying the system modeling and simulation. Last, we propose a test case generation techniques for testing the interaction between objects in object-oriented software by applying a Design/CPN tool.

객체지향 시스템은 상호 작용하늘 객체들의 집합으로 구성되었고 시스템의 행위는 객체들의 협력 행위로 표현된다. 객체지향 소프트웨어의 상속성, 다형성 등 특성들은 소프트웨어 테스팅에 어려움을 증가시키고 객체의 병행성, 동적바인딩, 상호작용 등 동적인 면들은 프로그램의 실행 시간에 한 멤버 함수의 호출에 의해 여러 멤버함수로 바인딩될 수 있다. 그러므로 객체지향 소프트웨어의 특성들을 고려하고 동시에 객체들간의 상호착용을 테스트하기 위한 연구가 필요하다 이 논문에서 상속성, 다형성 등 특성을 고려하여 평탄화된(Flattened) 상태차트 다이어그램을 구성하고, 시스템 모델링과 시뮬레이션에 전형적으로 사용되는 CPN(Colored Petri net)으로 모델링 한 후 Design/CPN 툴에 적용하여 객체지향 소프트웨어 객체들간의 상호작용 테스트를 자동화할 수 있는 테스트 레이스 생성 기법을 제안한다.

Keywords

References

  1. Perry, D.E. and Kaiser, G.E., 'Adequate Testing and Object-Oriented Programming,' Journal of Object-Oriented Programming, pp.13-19, 1990
  2. Rothernel, G. and Harrold, M.J., 'Selecting Regression Tests for Object-Oriented Software,' Technical Report pp.94-104, Clemson Univ., SC, March, 1994
  3. Peterson, J.L., 'Petri Net Theory and the Modeling of system,' Englewood Cliffs, New Jersey, Prentice Hall Inc, 1981
  4. Jensen, K., 'COLOURED PETRI NETS-Basic Concepts, Analysis Methods and Practical Use-Volume 1-3,' Stringer-Verlag, 1992, 1994, 1997
  5. Design/CPN Reference Manual for X-Windows Version 2.0,' Meta Software Corporation, 1993
  6. Watanabe, H., Tokuoka, H., Wu, W., Saeki, M., 'A technique for analysing and testing object-oriented software using coloured Petri nets,' In Asia Pacific Software Engineering Conference, IEEE Computer Society Press, pp.182-190, 1998 https://doi.org/10.1109/APSEC.1998.733718
  7. 김영집, 객체지향 소프트웨어의 상태기반 테스팅 방법, 박사학위논문, 충북대학교 대학원, 2001
  8. Harrold, M.J., McGregor, J.D. and Fitzpatrick, K.J., 'Incremental Testing of Object-Oriented Class Structures,' In 14th International Conference on Software Engineering, ACM, pp.201-208, 1992 https://doi.org/10.1145/143062.143093
  9. Hong, H.S., Kwon, Y.R. and Cha, S.D., 'Testing of object-oriented programsbased on finite state machines,' In Asia Pacific Software Engineering Conference, IEEE Computer Society Press, Los Alamitos, California, pp.234-241, 1995
  10. Robert, V. Binder, 'The FREE-flow Graph : Implementation based Testing of Object Using State determined Flow,' In Proceedings, 8th Annual Software Quality Week, San Francisco : Software Research, May, 1995
  11. 이현정, 우성희, 오병호, 이상호, '실행불가능 경로가 제거된 테스트 케이스 생성', 정보과학회 춘계발표 논문집, 제25권 제1호, pp.443-445, 1998
  12. Booch, G., Rumbaugh, J. and Jacobson, I.,'The Unified Modeling Language User Guide,' Addison-Wesley, 1999
  13. Robert, V. Binder, 'Testing Object-Oriented systems,' Addison-Wesley, 2000