CPN을 이용한 객체지향 소프트웨어 테스트 케이스 생성 기법 = Object-oriented software test case generation technique using colored petri net

국문 초록 (Abstract)

객체지향 소프트웨어의 상속성, 다형성 등의 특성들은 소프트웨어 데스팅에 어려움을 증가시키고 객체의 생성, 삭제, 동적바인딩, 상호작용 등의 동적인 면들은 프로그램의 실행 시간에 한 멤버 함수의 호출이 여러 멤버 함수에 바인딩 될 수 있다. 정적분석을 통하여 테스팅 정보를 얻는 방법들은 동적바인딩에 의한 불확실성을 다룰 수 있어야 한다. 따라서 이 논문에서는 시각적인 페트리 넷 (Petri Net)의 확장버전으로서 시스템의 모델링과 시뮬레이션에 전형적으로 사용되는 CPN(Colored Petri net)을 이용한 객체지향 소프트웨어 객체들의 상호작용을 테스트하기 위한 테스트 케이스 생성 기법을 제안한다.

다국어 초록 (Multilingual Abstract)

The attributes of inheritance, polymorphism and others increase the difficulties for testing the object-oriented software. There are several active methods such as creation, deletion, dynamic binding, interaction and so on. And these cause that calling a member function can be bound with several member functions in the program running time. So there need the testing methods that can extract the information of testing the object-oriented software by doing the static analysis about these uncertain features. In this paper, we propose a technique of generating the test case for testing the interactive objects of the object software. In this technique, we use a CPN(Colored Petri Net) that is a specific visual Petri Net expanded version and usually used to system modeling and simulation.