서지주요정보
Test case generation from UML-based specification = UML 명세로부터의 시험사례 생성에 관한 연구
서명 / 저자 Test case generation from UML-based specification = UML 명세로부터의 시험사례 생성에 관한 연구 / Young-Gon Kim.
저자명 Kim, Young-Gon ; 김영곤
발행사항 [대전 : 한국과학기술원, 2000].
Online Access 원문보기 원문인쇄

소장정보

등록번호

8010605

소장위치/청구기호

학술문화관(문화관) 보존서고

DCS 00015

휴대폰 전송

도서상태

이용가능

대출가능

반납예정일

등록번호

9006420

소장위치/청구기호

서울 학위논문 서가

DCS 00015 c. 2

휴대폰 전송

도서상태

이용가능

대출가능

반납예정일

초록정보

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 순차도를 사용하여 객체 사이의 상호작용에 대하여 시험 사례 생성에 관하여 제시한다. 순차도의 구성함수들의 집합으로 시험 사례를 생성한다. 그리고 이러한 방법에 바탕을 두어 작성기, 변환기, 시험사례 생성기에 따른 시험사례를 생성하는 도구를 구현하였다.

서지기타정보

서지기타정보
청구기호 {DCS 00015
형태사항 viii, 101 p. : 삽도 ; 26 cm
언어 영어
일반주기 저자명의 한글표기 : 김영곤
지도교수의 영문표기 : Doo-Whan Bae
지도교수의 한글표기 : 배두환
수록잡지명 : "Test cases generation from UML state diagrams". IEE proceedings-software, vol. 146, no. 4, pp. 187-192 (1999)
학위논문 학위논문(박사) - 한국과학기술원 : 전산학전공,
서지주기 Reference : p. 96-101
주제 software-testing
specification-based testing
object-oriented program
uml
statecharts
소프트웨어테스팅
명세기반테스팅
객체지향프로그램
유엠엘
스테이트챠트
QR CODE qr code