DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | Cha, Sung-Deok | - |
dc.contributor.advisor | 차성덕 | - |
dc.contributor.author | Lee, Nam-Hee | - |
dc.contributor.author | 이남희 | - |
dc.date.accessioned | 2011-12-13T05:20:34Z | - |
dc.date.available | 2011-12-13T05:20:34Z | - |
dc.date.issued | 2003 | - |
dc.identifier.uri | http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=231150&flag=dissertation | - |
dc.identifier.uri | http://hdl.handle.net/10203/32849 | - |
dc.description | 학위논문(박사) - 한국과학기술원 : 전산학전공, 2003.8, [ viii, 72 p. ] | - |
dc.description.abstract | Modern embedded software is often quite complex for testing interactions among tasks, and it is desirable to automate testing process as much as possible for cost effective testing. In this dissertation, we demonstrate how to automatically generate test cases from a set of scenarios by constructing a semantically equivalent global behavior model. We separately describe internal interactions of each external input event using Message Sequence Charts (MSCs). Since brute-force approach to translate MSCs into a finite state machine (FSM) results in a large number of states and transitions, we propose a state-reduced FSM, global FSM (GFSM), by encoding the possible configurations of system into states. When scenarios are to be executed concurrently, as is often the case for embedded software, the number of transitions grows too quickly for the approach to remain practical. In this dissertation, we demonstrate that partial order reduction technique is useful in reducing the number of transitions. We illustrate how to identify a sequence of message exchanges, independent region, that are semantically equivalent. When concurrent messages are interleaved, the number of transitions can be reduced by excluding the messages within the independent region. Finally, test cases are generated from the GFSM to satisfy either the state- or transition-tour coverage criteria, and represented in terms of the required external events` sequences and internal interactions. We develop a software toolset, a graphical MSCs editor and test case generator, to automatically generate test cases. We have successfully applied the proposed approach to specify a major portion of software requirements running on a digital TV. | eng |
dc.language | eng | - |
dc.publisher | 한국과학기술원 | - |
dc.subject | Embedded Software Testing | - |
dc.subject | Task Interaction Testing | - |
dc.subject | Message Sequence Charts | - |
dc.subject | 메시지 순서도 | - |
dc.subject | 내장 소프트웨어 테스팅 | - |
dc.subject | 태스크 상호작용 테스팅 | - |
dc.title | (A) testing method for task interactions of embedded software using message sequence charts | - |
dc.title.alternative | 메시지 순서도를 이용한 내장 소프트웨어의 태스크 상호작용 테스팅 방법 | - |
dc.type | Thesis(Ph.D) | - |
dc.identifier.CNRN | 231150/325007 | - |
dc.description.department | 한국과학기술원 : 전산학전공, | - |
dc.identifier.uid | 000985257 | - |
dc.contributor.localauthor | Cha, Sung-Deok | - |
dc.contributor.localauthor | 차성덕 | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.