디지털 라이브러리[ 검색결과 ]
시스템 오브 시스템즈의 오류 위치 추정을 위한 통계적 검증 결과 활용 기법 분석
http://doi.org/10.5626/JOK.2020.47.4.380
시스템 오브 시스템즈(System-of-Systems, SoS)는 독립적인 이종의 구성시스템들로 이루어진 크고 복잡한 시스템이며, 이런 SoS의 목표 달성도 확인을 위해 통계적 모델 검증(Statistical Model Checking, SMC) 기법이 주로 사용된다. 하지만 SoS가 특정 목표를 달성하지 못하는 경우, SoS내에 존재하는 목표 달성 저해 요소를 효율적으로 찾기 위해 기존 오류 위치 추정 기법을 확장 적용할 수 있다. 하지만, 기존 기법들은 성공, 실패의 테스팅 결과만을 사용하기 때문에, SMC의 확률적 결과값을 기존 위치 추정 기법에 사용하기 위한 추가적인 해석 기법이 필요하다. 따라서 본 연구에서는 SoS에 기존의 오류위치 추정기법을 적용하기 위한 6가지 기법을 소개하고, 재난 대응 SoS를 이용하여 해당 기법들에 대한 비교 분석을 진행하였다. 그 결과, SMC의 결과를 기댓값으로 활용한 기법이 모든 시나리오에서 평균적으로 좋은 성능을 보임을 밝힐 수 있었다.
시스템 오브 시스템즈 온톨로지 구축을 위한 사례 분석 기반의 메타모델 개발
http://doi.org/10.5626/JOK.2018.45.10.1056
온톨로지(ontology)는 시스템과 정보 도메인 상에 존재하는 다양한 개념과 관계를 체계적으로 정의하는 기법으로, 특정 목적을 위한 공통된 지식 기반을 구축하고 상호작용의 불일치를 줄이기 위해 활용된다. 시스템 오브 시스템즈(System-of-Systems, SoS)는 여러 독립적인 구성 시스템들의 협력을 통해 목표를 달성하는 매우 크고 복잡도가 높은 시스템으로, SoS 전반에 걸친 설계와 개발을 위해서는 앞서 설명한 온톨로지의 구축이 요구된다. 하지만 이러한 온톨로지 구축을 위해서는 도메인 전문가가 개발 대상시스템과 정보 도메인을 효과적이고 체계적으로 표현하기 위한 도구가 필요하다. 본 연구는 이러한 목적을 달성하기 위해, SoS 온톨로지 구축을 위한 모델 기반 기법으로 M2SoS (Meta-model for SoS)을 사례분석을 바탕으로 개발하고자 한다.
효과적인 모델 기반 안드로이드 GUI 테스팅을 위한 GUI 상태 비교 기법
안드로이드(Android) 어플리케이션(앱)의 신뢰성과 사용성 검증을 위해, 앱의 기능 검사와 크래쉬(Crash) 탐지 등을 위한 다양한 GUI 테스팅(Graphical User Interface Testing) 기법이 널리 사용되고 있다. 그 중 모델 기반(Model-based) GUI 테스팅 기법은 GUI 모델을 이용해 테스트 케이스를 생성하기 때문에, 기법의 유효성(Effectiveness)은 기반 모델의 정확도에 의존적이다. 따라서 모델 기반 기법의 유효성 향상을 위해서는 테스트 대상 앱의 행위를 충분히 반영할 수 있는 모델 생성 기법이 필요하며, 이를 위해 본 연구에서는 GUI 상태를 정밀하게 구분하는 계층적 화면 비교 기법을 통해 테스팅의 유효성과 효율성을 향상시키고자 한다. 또한, 기존 연구 기법과의 비교 실험을 통해 제안 기법이 유효한 모델의 효율적 생성을 가능하게 함을 확인함으로써, 모델 기반 안드로이드 GUI 테스팅의 성능 향상 가능성을 제시한다.
제한된 프로젝트 기간을 고려한 품질 기반 소프트웨어 프로젝트 계획 생성 기법
소프트웨어 프로젝트 계획은 각 작업의 공수를 예측하고, 적절한 인력을 할당한 뒤 일정을 산출하는 과정을 포함한다. 프로젝트의 규모가 커질수록 가능한 개발 계획의 경우의 수가 많아지기 때문에 관리자가 합리적인 결정을 내리기 어렵다. 이를 지원하기 위해 프로젝트 계획 생성 기법들이 제안되어왔다. 제안된 대부분의 기법들은 전체 프로젝트 일정의 최소화를 계획 생성의 가장 중요한 목표로 사용한다. 하지만 일정 최소화를 달성하는 계획은 개발되는 소프트웨어의 품질을 고려하지 못하기 때문에 이러한 부분을 함께 반영한 프로젝트 계획 생성이 필요하다. 본 연구에서는 합리적인 프로젝트 계획을 생성하기 위하여 소프트웨어 프로젝트 계획에 따른 소프트웨어 품질 점수를 정의하고 동시에 전체 일정 목표를 고려할 수 있는 프로젝트 계획 생성 기법을 제안한다. 관리자는 본 기법을 사용하여 전체 소프트웨어 개발 프로젝트에 요구되는 기한 안에 해당 소프트웨어의 품질을 최대하는 계획을 생성할 수 있다.
