Object-oriented programming languages and methodologies are now in wide-spread use. As software organizations adopt object-oriented methods and languages into their software development practices, more systematic testing methods for object-oriented programs have been sought after extensively. This thesis presents specification-based testing techniques for object-oriented software based on Unified Modeling Language (UML). We discuss the main two levels in object-oriented software testing: classes and interactions between classes. We show how specifications written in UML can be applied to the specification-testing of these two levels. In particular, we present test cases generation methods for state diagrams and sequence diagrams which have been extensively used for specifying dynamic behavior of systems. First, we show how UML state diagrams can be applied to class testing. We generate test cases from state diagrams by translating them into extended finite state machines (EFSMs) and identifying control and data flow information in the resulting EFSMs. Second, we show how interactions between classes can be tested using UML state diagrams. We reduce the internal structure of EFSMs for each state diagram and then compose reduced EFSMs into one EFSM. The interaction between classes is identified as transitions in the resulting EFSM. Third, we show how interactions between classes can be tested using UML sequence diagrams. A method is given that generates test cases as a set of sequences of member functions in sequence diagrams. We develop a prototype tool that generates test cases based on approach.
객체 지향 기술은 자연스런 모델링을 통하여 분석 및 설계 과정에서 효과적으로 사용되어지며 재사용성 및 확장성, 유지보수를 용이하게 해주므로 객체 지향 프로그램 언어와 방법론은 현재 널리 사용되고 있다. 그리고 통합 모델링 언어(UML)는 Booch, Rumbaugh, Jacobson의 방법들을 통합한 표준 객체 지향 방법론으로서 OMG에서 객체 지향 분석 및 설계에 산업계 표준으로 정하여 현재 널리 사용되고 있다. 소프트웨어 기관들이 객체 지향 방법과 언어를 그들의 소프트웨어 개발 업무에 채택함에 따라 객체 지향 프로그램을 위한 체계적인 테스팅 방법이 더욱더 요구되고 있다.
이 논문에서는 UML을 기반으로하는 객체 지향 소프트웨어의 명세 기반 테스팅을 제시한다. 객체 지향 소프트웨어 테스팅에서 크게 2 단계인 클래스와 상호작용에 대하여 제시한다. UML로 기술된 명세가 어떻게 이러한 2 단계의 명세 기반 테스팅에 적용되는지를 보여준다. 특히 시스템의 동적 행위를 묘사하는데 널리 사용되는 상태도와 순차도에 대한 시험 사례 생성 기법에 관하여 제시한다.
먼저, UML 상태도에 대하여 클래스 테스팅을 적용하여 시험 사례 생성에 관하여 제시한다. UML 상태도를 확장된 유한 상태 기계(EFSM)로 변환하고, 변환된 확장된 유한 상태 기계에 제어 흐름과 데이타 흐름을 적용하여 시험 사례를 생성한다. 둘째로, UML 상태 도를 이용하여 클래스 사에의 상호작용에 따른 시험 사례 생성에 관하여 제시한다. 각각의 상태 로부터 변환되여진 확장된 유한 상태 기계로 부터 내부 구조를 먼저 줄이고 난 후, 이들을 통합 하여 하나의 통합된 확장된 유한 상태 기계로 부터 시험 사례를 생성한다. 셋째, UML 순차도를 사용하여 객체 사이의 상호작용에 대하여 시험 사례 생성에 관하여 제시한다. 순차도의 구성함수들의 집합으로 시험 사례를 생성한다.
그리고 이러한 방법에 바탕을 두어 작성기, 변환기, 시험사례 생성기에 따른 시험사례를 생성하는 도구를 구현하였다.
