초록 ▼

최근에는 소프트웨어의 재사용성을 높이고 개발 비용을 절감하기위한 일환으로 객체지향 기술에 대한 관심이 높아가고 있다. 객체지향 프로그래밍은 정보은폐, 상속등을 이용하 여 이미 개발이 완료된 클래스들을 재사용할 수 있다는 장점을 지니고 있다. 이러한 점에서 다양환 상황에서 클래스들을 신뢰성 있게 재사용하기 위해서는클래스들을 테스팅하는 작업 이 필수적이다. 그러나, 대부분의 소프트웨어 테스팅에 관한연구는 구조적 프로그래밍 기 법이나 상세 명세화 기법과 같은 전통적인 개발 방법에 의해서 설계된 절차형 프로그램을 주로

최근에는 소프트웨어의 재사용성을 높이고 개발 비용을 절감하기위한 일환으로 객체지향 기술에 대한 관심이 높아가고 있다. 객체지향 프로그래밍은 정보은폐, 상속등을 이용하 여 이미 개발이 완료된 클래스들을 재사용할 수 있다는 장점을 지니고 있다. 이러한 점에서 다양환 상황에서 클래스들을 신뢰성 있게 재사용하기 위해서는클래스들을 테스팅하는 작업 이 필수적이다. 그러나, 대부분의 소프트웨어 테스팅에 관한연구는 구조적 프로그래밍 기 법이나 상세 명세화 기법과 같은 전통적인 개발 방법에 의해서 설계된 절차형 프로그램을 주로 다루었고, 객체지향 프로그램의 테스팅에 관한 연구는미흡한 실정이다. 본 연구는 객 체지향 프로그램을 테스팅 하기 위하여 필요한 테스트 케이스를 자동적으로 생성할 수 있는 통합된 테스팅 시스템을 구축하는 것을 목표로 한다.본 연구에서는 객체지향 프로그램의 기반이 되는 클래스의 테스팅을 위한 환경을 개발하였다. 객체지향 프로그램의 기본 구성 요소인 클래스는 추상자료형 의 구현으로 간주할수 있다. 따라서 추상자료형의 테스팅은 객체지향 프로그램을 테스팅하는 과정에서 중요한 역 할을 수행한다. 본 연구에서는 추상자료형을 지원하는 클래스를 테스팅하는 방법을제시하 였다. 제안된 테스팅 방법은 테스트케이스의 자동생성 및 제어를 위하여 설계된ALTEL++라 는 테스트 명세 언어를 이용하여 작성한 테스트 명세서를 기반으로 한다. 특히, 사용자가 초기 테스트케이스를 설계하는 부담을 덜어주기 위하여 초기 테스트케이스 생성 전략을 제 시하고 평가하는 작업을 수행하였다.또한, 프로그램 내부구조를 고려하는 테스팅 방법과 명세서에 나타난 설계정보만을 이용하는 테스팅 방법은 상호 보완적 관계에 있으므로 이들을 유기적으로 통합하는 방법과 이를 지원하는 자동화된 도구가 요구된다. 이를 위하여 프로그램의 명세서가 없다 할지라고자동적으로 프로그램으로 부터 정보를 추출하여 다양한 테스트케이스를 용이하게 생성 시킬수 있는 방법 및 프로그램의 설계정보로 부터 얻어진 테스트케이스의 적합성 여부를 판별할수 있는 방법 및 도구등을 연구하는 것은 절대적으로 필요하다. 이를 위하여 본 연구에서는클래스를 테스팅하기 위하여 필요한 정보를 FSM으로 표현된 명세 뿐만아니라 심볼릭 실행(symbolic execution) 기법을 통하여 구현된 코드로 부터로도 얻는 방법을 개발하였다예제로 입력을 합니다. ' 하하하 ' 하하하

Abstract ▼

Recently, developing software systems in object-oriented stylehas drawn muchattention as an attempt to enhance software reuse and reduce thedevelopment cost. One of the benefits of object-orineted programming is that itpromotes reuse ofpreviously developed classes through in

Recently, developing software systems in object-oriented stylehas drawn muchattention as an attempt to enhance software reuse and reduce thedevelopment cost. One of the benefits of object-orineted programming is that itpromotes reuse ofpreviously developed classes through information hiding andinheritance. In thisrespect, it is essential to test the classes for confidently reusingthem in multiplecontexts. However, few works have been done in the areas of testingobject-orientedprograms, whereas researches in software testing have largely dealt withproceduralprograms designed by traditional development methodologies such asstructuredprogramming and stepwise refinement. The purpose of this project is todevelop anintegrated testing system of object-oriented programs which can generate testcasesautomatically.In this project, we have developed an environment for testing individualclasses,which are basic building blocks for object-oriented software development. Aclass canbe regarded as an implementation of an abstract data type(ADT).Consequently,testing of ADTs plays an important role in the overall testing process oftestingobject-oriented programs. In this project, we have presented a testing methodforclasses which implement ADTs. The testing method relies on the testspecificationswritten in a test specification language, ALTEL++ which is designed tocontrolautomatic test case generation. Especially, an effective initial test casegenerationstrategy is suggested in order to lessen the burden of a user in designingthestarting test case set.In addition, it is necessary to combine two types of testing techniques,program-basedtesting and specification-based testing for effective test casegeneration and to provide atool for the integrated form of testing strategy. For that purpose, we have developed aclass testing method which uses information derivedfrom codes using symbolic executiontogether with information from specificationsusing FSMs for testing activities.

목차 Contents

• 목차...6
• 연구내용...7
• 1. 서론...7
• 2. 관련연구...10
• 3. 클래스 테스팅...12
• 3.1 추상자료형과 클래스...12
• 3.2 테스트케이스의 정의...14
• 3.3 테스트케이스 불변성...15
• 4. ALTEL++ 테스트 명세서를 이용한 테스트케이스의생성...17
• 4.1 ALTEL++테스트 환경...17
• 4.2 초기 테스트케이스 생성 전략...20
• 4.3 ALTEL++ 테스트 명세 언어를 이용한 테스팅 절차...23
• 5. 결론 및 향후 연구...27
• 참고문헌...29
• 부록 1...31
• 부록 2....33
• 연구수행관련 논문발표목록서...34
• 자체평가서...35