DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | Bae, Doo-Hwan | - |
dc.contributor.advisor | 배두환 | - |
dc.contributor.author | Lee, Cheonghyun | - |
dc.contributor.author | 이정현 | - |
dc.date.accessioned | 2017-03-29T02:40:15Z | - |
dc.date.available | 2017-03-29T02:40:15Z | - |
dc.date.issued | 2016 | - |
dc.identifier.uri | http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=663491&flag=dissertation | en_US |
dc.identifier.uri | http://hdl.handle.net/10203/221881 | - |
dc.description | 학위논문(석사) - 한국과학기술원 : 전산학부, 2016.8 ,[v, 72 p. :] | - |
dc.description.abstract | System of systems (SoS) is a collection of systems that integrates a number of independent self-contained systems to accomplish their SoS-level goals, which cannot be accomplished by a single constituent system. Because SoS involves multiple and complex interactions among constituent systems for accomplishing SoS-level goals, an effective goal-oriented testing approach for distinguishing SoS interactions is necessary. However, previous research on goal-oriented testing requires manual processes, and does not focus on the sequence of system interactions. Therefore, this paper presents an effective goal-oriented testing approach for SoS, based on message interactions among constituent systems. Our approach uses SoS message interaction trace as a test input and expected message interaction trace as an expected output. To generate the expected trace, we proposed a goal-oriented test oracle model along with the XML-based oracle generator to demonstrate our generation process systematically. To allow testers to determine the effectiveness and efficiency, we proposed three-level comparison criteria to compare the simulation trace to the expected trace differently. To support our approach, we also developed a simulation-based testing tool along with the goal-oriented test oracle generator that produces the expected trace. In the evaluation, we demonstrated the effectiveness and efficiency of using the supporting tool we developed, and we concluded that our approach is more effective and saves more time than manually testing goals and effectively distinguishes the SoS interaction faults. In addition, we demonstrated that the proposed three-level comparison criteria shows the difference in effectiveness and time efficiency, so we concluded that testers need to choose between the testing effectiveness and testing time as a tradeoff. As a case study, we applied a Mass Casualty Incident (MCI) management and response plan to demonstrate our approach. | - |
dc.language | eng | - |
dc.publisher | 한국과학기술원 | - |
dc.subject | goal-oriented testing | - |
dc.subject | system of systems | - |
dc.subject | model-based software testing | - |
dc.subject | test oracle generation | - |
dc.subject | simulation-based testing | - |
dc.subject | 목표 지향 테스팅 | - |
dc.subject | 시스템 오브 시스템즈 | - |
dc.subject | 모델 기반 소프트웨어 테스팅 | - |
dc.subject | 테스트 오라클 생성 | - |
dc.subject | 시뮬레이션 기반 테스팅 | - |
dc.title | (A) goal-oriented testing approach for system of systems using task models | - |
dc.title.alternative | 시스템 오브 시스템즈를 위한 태스크 모델 기반 목표 지향 테스팅 기법 | - |
dc.type | Thesis(Master) | - |
dc.identifier.CNRN | 325007 | - |
dc.description.department | 한국과학기술원 :전산학부, | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.