• 한국정보과학회논문지:소프트웨어및응용
• /
• 제26권9호
• /
• pp.1105-1113
• /
• 1999

객체 지향 소프트웨어의 확장과 더불어 소프트웨어의 재사용성의 중요도가 부각되면서 소프트웨어를 콤포넌트 단위로 구현하는 추세이다. 따라서 콤포넌트 기반의 소프트웨어 개발에서의 통합 테스트가 중요한 이슈로 떠오르고 있다. 그러나 콤포넌트들의 통합 테스트에 대한 연구는 미흡한 상태이다. 본 논문에서는 UML을 기반으로 체계적인 통합 테스트 모형을 제안하고. 나아가 본 논문에서는 "멀티미디어 정보처리 시스템"의 사례를 본 논문의 콤포넌트 통합 테스트 모형에 적용한 결과를 분석하여 기술한다. 콤포넌트 통합 테스트 모형은 UML(Unified Modeling Language)의 순서도(sequence diagram)와 협력도(collaboration diagram)를 이용하여 전체 시스템에서 UML의 사건흐름을 구성하는 콤포넌트들 사이의 인터페이스 영역에 존재하는 오류들을 추출한다. 그리고 UML을 기반으로 통합 테스트를 수행함으로써, 테스트 준비 작업을 줄이고, 기존의 UML 지원 도구들과 연계하여 테스트 자동화 도구의 구현을 앞당길 수 있다. 또한 시스템의 순차적 흐름 뿐 아니라, 동시에 수행되는 흐름에 대한 정보까지 모두 수용하여 테스트함으로써, 콤포넌트 기반의 분산 환경의 특성에 적합하다. Abstract As the object-oriented approach to software development becomes more mature, software development from pre-existing, independently developed components becomes an important aim of software engineering. Therefore, integration testing becomes an important aspect of component-based software development. However, there has been little work done in the area of the component-based integration testing. In this paper, we propose the "component integration test model" which is based on UML. Furthermore, we describe a case study on "Multimedia Information Processing System" conducted to analyse the result from which our model is applied. Our model extracts the faults, which exist in interfaces of components, using sequence diagram and collaboration diagram of UML(Unified Modeling Language). As our model is based on UML, the preparation effort for testing is reduced and its test-tools can be implemented more easily through linking existing UML tool. And our model accepts the information of concurrent flow represented by collaboration diagram as well as sequential flow, so it is more suitable to component-based distributed environment.based distributed environment.

• 정보처리학회논문지D
• /
• 제15D권4호
• /
• pp.495-504
• /
• 2008

관점지향 프로그래밍(AOP)은 횡단 관심사까지 모듈화 하여 소프트웨어의 모듈화를 높여주는 새로운 프로그래밍 패러다임이다. 이를 이용하면 레거시 시스템에 손대지 않고 소프트웨어를 확장시킬 수 있다. 관점지향 프로그래밍 자체 혹은 레거시 시스템만의 테스트 기법은 많이 있으나 확장된 프로그램의 테스트 기법에 대해선 많은 연구가 진행되지 않고 있다. 이 논문에서는 관점지향 프로그래밍을 이용하여 소프트웨어를 확장한 경우의 테스트 기법에 대해 관점지향 프로그래밍의 결함 모델에 맞춰 제시한다. 우선 AOP의 반사기능의 객체를 이용하여 교차점 패턴의 부정확한 강도 및 부정확한 애스펙트의 우선순위를 테스트하고, 증명 규칙을 이용하여 기대하는 사후 조건 성립의 실패에 대해 테스트하였다. 또한 set() 교차점을 이용하여 불변 조건 보존의 실패에 대해 테스트하고, 제어흐름 그래프를 이용하여 제어 의존의 부정확한 변형에 대해 확인하는 방법을 제시한다. 실증을 위하여 셋탑박스의 채널 관리 시스템을 구현하여 제시한 각각의 테스트 기법들에 대해 실험하였다.

• 정보처리학회논문지D
• /
• 제13D권4호
• /
• pp.573-582
• /
• 2006

소프트웨어를 블랙박스 테스트 하려면 대상 소프트웨어에 적절한 데이터를 주어 실행해 보아야 한다. 효과적인 테스트가 되기 위해서 테스트 케이스의 선택뿐만 아니라 테스트 케이스가 어떻게 표현되었는가가 중요하다. 또한 정적인 테스트 작업에도 테스트를 위한 체크리스트가 어떻게 작성되었는지에 따라 테스트 작업의 효율성이 좌우된다. 이 논문에서는 비효율적이며 문제가 있는 테스트 케이스와 체크 리스트들을 리엔지니어링 하는 방법을 제시하고 이를 실험 하였다. 임베디드 시스템의 일종인 디지털 방송수신 장치에 탑재된 소프트웨어를 대상으로 하여 이미 사용 중인 테스트 케이스의 효율성과 적합성을 따져보고 이를 리엔지니어링 하였다. 리엔지니어링 한 후의 테스트 케이스의 산출물이 테스트 시간과 커버리지 측면에서 얼마나 효과적인지를 살펴보았다. 또한 제품 계열 개념의 소프트웨어를 테스트하기에 적합하도록 테스트 케이스를 재사용 또는 재구조화 하는 방법도 연구하였다.

• 정보과학회 컴퓨팅의 실제 논문지
• /
• 제22권8호
• /
• pp.393-398
• /
• 2016

군집 적응형 시스템(Collective Adaptive System, CAS)은 다수의 에이전트를 포함하는 적응형 시스템으로, 에이전트들 간의 헙업을 통해 목표를 수행한다. 협업을 기반으로 시스템의 목표를 수행하는 CAS는 복수의 에이전트들 간의 상호작용에 대한 테스트가 필수적이다. 본 연구에서는 CAS를 테스트하기 위한 하나의 방법으로 태스크 기반의 테스트 모델을 적용하여 모델 기반 테스팅을 하는 것에 대한 타당성을 분석한다. 분석을 위해 CAS의 한 사례로 스마트 홈 시스템을 적용하였고, 그 결과 태스크 모델을 수정 및 확장하면 CAS의 목표 달성 여부를 판별할 수 있는 체계적인 테스트 케이스 생성이 가능한 것을 확인하였다.

• 한국컴퓨터정보학회논문지
• /
• 제18권8호
• /
• pp.105-111
• /
• 2013

본 논문에서는 스마트 센서 응용 소프트웨어를 테스팅하기 위한 효율적인 방법인 가상 센서 시스템을 제안한다. 센서 응용 소프트웨어를 테스트하는 보편적인 방법은 테스트 보드에 센서를 직접 연결시켜 테스팅 환경의 센서 측정값으로 응용소프트웨어를 테스팅 하는 것이다. 센서 측정값을 입력으로 센서 응용 소프트웨어를 테스팅함으로 발생하는 문제는 테스트 데이터가 제한적이라는 것이다. 즉, 테스트 데이터가 센서로부터 생성되기 때문에 소프트웨어 테스터가 테스트 데이터를 조절하지 못하는 문제가 있다. 이러한 문제를 해결하기 위해 가상센서 시스템을 제안한다. 가상 센서 시스템은 소프트웨어 테스터가 센서의 측정값을 조절할 수 있게 한다. 가상 센서 시스템에서 센서 선택, 센서 특성화, 출력 패턴 정의의 세 단계를 통해 가상 센서를 정의한다. 가상 센서 시스템을 통해 조절 가능한 센서 측정값을 사용함으로써 센서 응용 소프트웨어에 대한 효율적인 테스트가 가능하다. 본 연구의 유용성을 보이기 위해 가상 센서 시스템을 안드로이드 앱의 센서 프로그램에 적용해 보고 실험 결과를 보인다.

• 정보과학회 컴퓨팅의 실제 논문지
• /
• 제20권12호
• /
• pp.658-663
• /
• 2014

OpenStack과 같이 오픈 소스 기반의 클라우드 컴퓨팅 관리 플랫폼 (Cloud Management Platform) 의 빠른 구현으로 인하여, 오픈 소스를 이용한 개인 및 기관의 클라우드 구축 시도가 지속적으로 증가되는 추세이다. 이러한 클라우드 운영자들에게, 구축한 클라우드 컴퓨팅 시스템의 동작 검증은 필수적이다. 본 논문은 클라우드 시스템 구축 검증하기 위한 오픈 소스 기반의 클라우드 테스트 도구를 디자인하며 구현한다. 특히, 제안된 테스트 도구는 오픈 소스 소프트웨어 프로젝트인 Tempest를 활용하며, Tempest의 테스트 케이스를 통해서 OpenStack기반의 클라우드를 검증한다. 제안된 소프트웨어는 국내에서 처음으로 개발되는 클라우드 시스템 구축 테스트 도구의 프로토타입이며, 앞으로 클라우드 기술 개발 및 사용자 확대에 기여할 것으로 예상된다.

• 한국항해항만학회:학술대회논문집
• /
• 한국항해항만학회 2012년도 춘계학술대회
• /
• pp.496-498
• /
• 2012

선박이 운항중 타선과의 충돌상황을 효과적으로 신속하게 파악하는 데 도움을 줌으로써 선박 충돌사고를 방지하기 위한 선박충돌위험도 식별시스템을 개발하였다. 지난 연구에서는, 고안된 시스템의 성능을 검증하기 위해 부산항에서 일어난 제품운반선과 화물선간의 충돌사고의 실제 AIS 데이터를 이용한 재생시뮬레이션을 수행한 바 있다. 본 논문에서는 선박충돌위험도 식별 시스템의 테스트베드를 구축하였고, 실제 해상에서 AIS 신호를 이용하여 성능을 검증해 보고자 하였다. 이를 위해, 군산항과 인천항의 연안여객선에 테스트베드를 장착하고, 실제 운항중 AIS 정보를 이용하여, 실시간으로 선박충돌위험도 식별시스템의 온보드 시험을 수행하였다. 본 논문에서는 선박충돌위험도 식별 시스템의 테스트베드의 특징과, 실제 해상에서 수행된 온보드 시험 결과에 대해 소개하였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2003년도 춘계학술발표논문집 (하)
• /
• pp.1741-1744
• /
• 2003

본 논문에서는 NHPP 에 근거한 N 버전 프로그래밍 시스템의 SRGM 을 제안한다. 비록 많은 연구 논문에서 NVP, 시스템 신뢰도에 대해서 연구노력을 기울여 왔지만 그들 대부분이 안정된 신뢰도에 대해서만 고려해 왔다. 테스트 및 디버깅 동안 결함이 발견되면 디버깅 노력은 결함을 제거하는데 집중된다. 소프트웨어가 너무 복잡하므로 이러한 결함을 성공적으로 제거한다는 것이 쉽지 않으며, 또 다른 새로운 결함이 소프트웨어에 도입될 수도 있다. 일반화된 NHPP 모델을 NVP 시스템에 적용하여 새로운 NVP-SRGM이 수립된다. 제어시스템에 대한 단순화된 소프트웨어 제어에서 이러한 새로운 소프트웨어 신뢰도 모델을 어떻게 적용하는지를 보여주고 있다. 소프트웨어 신뢰도평가에 s 신뢰도 구간을 준비하였다. 이 소프트웨어 신뢰도 모텔은 신뢰도를 평가하는데 쓰일 수가 있어서 NVP 시스템의 성능을 예측하는데 쓰일 수 있다. 일반적인 산업사회에 적용하여 상용화하기 위해서는 내결함 소프트웨어의 신뢰도를 정량화하기 위해 제안된 NVP-SRGM을 충분히 인증하는데 좀더 적용이 필요하다. NVP 신뢰도 성장 모델링을 하는 이러한 종류의 첫 모델로서 제안된 NVP-SRGM은 독립 신뢰도 모델의 단점을 극복하는데 쓰일 수 있다. 이는 독립적인 모델보다 더욱 더 정확하게 시스템 신뢰도를 예측할 수 있으며, 언제 테스트를 중단해야 하는가를 결정하는 데에도 쓰일 수 있으며, 이는 NVP 시스템 개발 수명주기 단계를 테스트 및 디버깅함에 있어서 핵심 질문사항이다.

• 한국항해항만학회:학술대회논문집
• /
• 한국항해항만학회 2022년도 추계학술대회
• /
• pp.80-81
• /
• 2022

자율운항선박 원격제어시스템의 실증을 위하여 기존 육상제어센터에서 선박을 제어하는 것은 현재 개발중인 시스템으로 인한 선박의 안전성 확보에 어려움이 있다. 이에 본 연구에서는 원격제어시스템을 시험하기 위하여 선박에서 육상제어센터로 명령을 주어 선박과 육상제어센터 내 모사장치를 통한 원격제어시스템을 테스트하였다. 본선의 통신네트워크(LTE, VSAT)을 통해 선장의 명령으로 선박의 육상제어센터의 모사장치를 제어하였다. 1차 소각도를 이용한 원격제어시험과 2차 Zig-zag 테스트를 실시하여, 개별 시스템의 문제점을 식별하고, 개별 시스템간의 통합을 위한 방안을 제시하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 가을 학술발표논문집 Vol.30 No.2 (2)
• /
• pp.388-390
• /
• 2003

멀티미디어 시스템의 사용이 일반화되고, 그 영향범위가 넓어짐에 따라 이러한 시스템의 개발과 테스트는 매우 중요한 요소가 된다. 멀티미디어 시스템은 기존의 시스템과 달리 시간-의존적이고 연속적인 미디어를 포함하여 다양한 미디어를 통합한 컨텐츠 기반 실시간 시스템이며, 사용자와의 상호작용과 네트워킹이 중요한 요소라는 점에서 기존의 시스템과 다른 개발주기. 품질 평가 척도를 가지게 된다. 이에 본 논문은 멀티미디어 시스템이 어떻게 구성되어 있으며 그 특성이 무엇인지 분석하고, 이에 기반하여 기존의 시스템과 다른 시스템 개발주기, 품질평가 척도 및 이에 따라 요구되는 테스팅 영역에 대하여 제시하고자 한다.