Test case generation from UML-based specification = UML 명세로부터의 시험사례 생성에 관한 연구

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 306
  • Download : 0
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.
Advisors
Bae, Doo-Whanresearcher배두환researcher
Description
한국과학기술원 : 전산학전공,
Publisher
한국과학기술원
Issue Date
2000
Identifier
157678/325007 / 000965441
Language
eng
Description

학위논문(박사) - 한국과학기술원 : 전산학전공, 2000.2, [ viii, 101 p. ]

Keywords

uml; object-oriented program; specification-based testing; software-testing; statecharts; 스테이트챠트; 유엠엘; 객체지향프로그램; 명세기반테스팅; 소프트웨어테스팅

URI
http://hdl.handle.net/10203/33163
Link
http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=157678&flag=dissertation
Appears in Collection
CS-Theses_Ph.D.(박사논문)
Files in This Item
There are no files associated with this item.

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0