• 정보처리학회논문지D
• /
• 제11D권3호
• /
• pp.649-658
• /
• 2004

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