서지주요정보
Metamorphic testing for reliability in system of systems = 시스템 오브 시스템즈의 신뢰성을 위한 메타모픽 테스팅
서명 / 저자 Metamorphic testing for reliability in system of systems = 시스템 오브 시스템즈의 신뢰성을 위한 메타모픽 테스팅 / Kiat Kian Anthony Chua.
발행사항 [대전 : 한국과학기술원, 2021].
Online Access 원문보기 원문인쇄

소장정보

등록번호

8038035

소장위치/청구기호

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

MCS 21071

휴대폰 전송

도서상태

이용가능(대출불가)

사유안내

반납예정일

리뷰정보

초록정보

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.

본 연구는 시스템 오브 시스템즈 (Systems-of-Systems, SoS) 에서의 테스팅 오라클 문제에 대한 해결책으로 메타모픽 테스팅 기법을 SoS에 적용한다. SoS에서의 구체적인 메타모픽 관계식 (Metamorphic Relations, MR) 정의를 위해 우리는 SoS의 모델링과 분석 과정에서 사용되는 SoS의 특징들을 활용하여 메타모픽 관계 패턴 (MR Pattern, MRP)을 정의하고, 이 MRP로부터 MR을 생성하는 기법을 제안하였다. 본 연구에서는 제안한 MRP 기반 MR 생성 기법을 스마트 그리드와 재난 대응 SoS 두 가지 예시 SoS 시뮬레이터에 적용하여, 해당 SoS들의 신뢰성 및 메타모픽 테스팅의 적용가능성을 평가하였다. 해당 시험의 결과로, 본 기법을 통해 생성한 MR들을 활용하여 두 가지 SoS에서 모두 신뢰성에 영향을 주는 오류들을 찾을 수 있었다.

서지기타정보

서지기타정보
청구기호 {MCS 21071
형태사항 iv, 35 p. : 삽화 ; 30 cm
언어 영어
일반주기 저자명의 한글표기 : 채토니
지도교수의 영문표기 : Doo-Hwan Bae
지도교수의 한글표기 : 배두환
Including Appendix
학위논문 학위논문(석사) - 한국과학기술원 : 전산학부,
서지주기 References : p. 31-33
QR CODE

책소개

전체보기

목차

전체보기

이 주제의 인기대출도서