Design/CPN을 이용한 객체지향 소프트웨어 상호작용 테스트 기법
Object-Oriented Software Interaction Test Techniques using Design/CPN
0
조회
0
다운로드
0
인용
0
참고문헌
키워드
초록
객체지향 시스템은 상호 작용하는 객체들의 집합으로 구성되었고 시스템의 행위는 객체들의 협력 행위로 표현된다. 객체지향 소프트웨어의 상속성, 다형성 등 특성들은 소프트웨어 테스팅에 어려움을 증가시키고, 객체의 병행성, 동적바인딩, 상호작용 등 동적인 면들은 프로그램의 실행 시간에 한 멤버 함수의 호출에 의해 여러 멤버함수로 바인딩될 수 있다. 그러므로 객체지향 소프트웨어의 특성들을 고려하고 동시에 객체들 간의 상호작용을 테스트하기 위한 연구가 필요하다. 이 논문에서는 상속성, 다형성 등 특성을 고려하여 평탄화된(Flattened) 상태차트 다이어그램을 구성하고, 시스템 모델링과 시뮬레이션에 전형적으로 사용되는 CPN(Colored Petri net)으로 모델링 한 후, Design/CPN 툴에 적용하여 객체지향 소프트웨어 객체들간의 상호작용 테스트를 자동화할 수 있는 테스트 케이스 생성 기법을 제안한다.
Abstract
An object-oriented system is organized by a set of interacting objects and the system behavior is represented by the cooperating interaction between 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.
참고문헌 (13)
- Perry, "Adequate Testing and Object-Oriented Programming", pp.13~19 (1990)
- Rothernel,G, "Selecting Regression Tests for Object-Oriented Software", clemson uni (1994)
- Peterson, "Petri Net Theory and the Modeling of system", new jersey (1981)
- Jensen, "COLOURED PETRI NETS-Basic Concepts, Analysis Methods and Practical Use-Volume 1-3", Stringer-Verlag
- null, "Design", CPN Reference Manual for X-Windows Version 2.0, 1993., ~
- Watanabe, "A technique for analysing and testing object-oriented software using coloured Petri nets", pp.pp.182-~190 (1998), IEEE Computer Society Press
- 김영집, "객체지향 소프트웨어의 상태기반 테스팅 방법" (2001), 충북대학교 대학원
- Harrold, "Incremental Testing of Object-Oriented Class Structures In 14th International Conference on Software Engineering", pp.201~208 (1992)
- Hong, "Testing of object-oriented programsbased on finite state machines", pp.234~241 (1995), IEEE Computer Society Press
- Robert, "The FREE-flow Graph：Implementation based Testing of Object Using State determined Flow" (1995)
- 이현정, "실행불가능 경로가 제거된 테스트 케이스 생성", 제25권(제1호), pp.443~445 (1998)
- Booch, "The Unified Modeling Language User Guide" (1999), Addison-Wesley
- Robert, "Testing Object-Oriented systems," (2000), Addison-Wesley