DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | Bae, Doo-Hwan | - |
dc.contributor.advisor | 배두환 | - |
dc.contributor.author | Kiat Kian, Anthony Chua | - |
dc.date.accessioned | 2022-04-27T19:32:00Z | - |
dc.date.available | 2022-04-27T19:32:00Z | - |
dc.date.issued | 2021 | - |
dc.identifier.uri | http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=963375&flag=dissertation | en_US |
dc.identifier.uri | http://hdl.handle.net/10203/296122 | - |
dc.description | 학위논문(석사) - 한국과학기술원 : 전산학부, 2021.8,[iv, 35 p. :] | - |
dc.description.abstract | We address the oracle problem in the domain of the software testing in System of Systems (SoS) by applying Metamorphic Testing (MT). In order to derive concrete Metamorphic Relations (MR) for SoS, we first borrow the concept of creating MRs from abstract Metamorphic Relation Patterns (MRPs), where the represented MRPs themselves describe characteristics that are used in the modeling and analysis of SoS. They are then applied to two SoS simulator types, the Smart Grid SoS and Mass Casualty Incident (MCI) Response SoS in order to test for Reliability in SoS and to also determine the viability of MT in SoS. It is shown through the experiments conducted that the derived concrete MRs are able to find faults in both the systems under test. | - |
dc.language | eng | - |
dc.publisher | 한국과학기술원 | - |
dc.subject | System of systems▼aMetamorphic testing▼aMetamorphic relation patterns▼aSimulation | - |
dc.subject | 시스템오브시스템▼a메타모픽테스팅▼a메타모픽 관계 패턴▼a시뮬레이션 | - |
dc.title | Metamorphic testing for reliability in system of systems | - |
dc.title.alternative | 시스템 오브 시스템즈의 신뢰성을 위한 메타모픽 테스팅 | - |
dc.type | Thesis(Master) | - |
dc.identifier.CNRN | 325007 | - |
dc.description.department | 한국과학기술원 :전산학부, | - |
dc.contributor.alternativeauthor | 채토니 | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.