• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2016년도 추계학술발표대회
• /
• pp.423-425
• /
• 2016

콘콜릭 테스팅(Concolic testing)은 프로그램 실행을 실제 구체적인 입력 값(Concrete Values)을 입력하며, 동시에 심볼릭 실행 (Syrnbolic execution)을 진행하는 테스팅 기법이다. 콘콜릭 테스팅은 모든 실행 가능 경로를 탐색하여, 테스트 케이스를 자동 생생한다. 그래서 높은 분기 커버리지를 나타내지만, 안전성을 목표로 하는 MC/DC 커버리지는 만족하지 못한다. 본 논문에서는 분기 커버리지와 MC/DC 커버리지를 만족하는 테스트 케이스를 자동생성하는 CREST 도구 개선을 제안한다.

• 한국통신학회논문지
• /
• 제39B권5호
• /
• pp.323-325
• /
• 2014

컨센서스 알고리즘은 노드의 커버리지가 넓어질수록 협력하는 이웃 노드 수가 증가하여 빠르게 수렴하지만, 분산 무선 네트워크에서는 커버리지가 넓어지면 증가한 협력 이웃 노드 간에 접속 충돌로 인하여 정보 공유 지연이 증가한다. 따라서 노드 커버리지의 크기에 따라 컨센서스 알고리즘의 수렴 속도와 네트워크상의 정보 공유 지연 간에 트레이드오프가 존재한다. 본 논문에서는 이러한 트레이드오프 관계를 고려하여 네트워크 규모에 따라 컨센서스 달성 시간을 최소화하는 커버리지 제어 방법을 제시한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2011년도 추계학술발표대회
• /
• pp.485-488
• /
• 2011

무선 센서 네트워크에는 한정된 배터리 자원과 네트워크의 라이프타임(lifetime)으로 인해 멀티레벨 커버리지 문제가 이슈가 되어 왔다. 하지만, 대부분의 연구에서는 멀티레벨 커버리지 문제를 해결할 때 센싱 범위는 고정적이며 변경할 수 없음을 가정하고 있으며, 이로 인해 센싱 범위와 커버리지 범위와의 관계에 대해서 고려하고 않고 있다. 본 연구에서는 센싱 범위와 커버리지 범위와의 관계를 이용하여 유동 센싱 범위(DSR, Dynamic Sensing Range) 배치에 대하여 연구하였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2021년도 추계학술발표대회
• /
• pp.437-439
• /
• 2021

SPL 방법론을 적용하여 개발한 제품군 시험은 모든 제품에서 사용되는 공통 부분과 일부 또는 단일 제품에서만 사용되는 가변 부분을 종합적으로 고려해야 하기 때문에 단일 소프트웨어 시험과는 상당히 다르다. 시험 커버리지는 작성된 시험에 대한 적절성을 측정하는 데에 사용되는 동시에 적절한 시험을 작성하기 위한 가이드로 사용되기 때문에 중요하다. SPL 시험에서 시험 커버리지 측정은 제품군을 구성하는 멤버제품 별로 측정될 수도 있지만, 이는 재사용을 기반으로 중복된 개발관련 활동의 최소화를 지향하는 SPL 의 원칙에 맞지 않다. 따라서 개별 제품이 아닌 SPL 수준에서 시험 커버리지 기준을 측정하고 시험의 적절성을 평가하기 위해서는 다른 방법이 필요하다. 이 논문에서는 구성가능한 소프트웨어 시스템(highly configurable software system)에 SPL 시험 방법을 적용하여 SPL 기반 제품군을 위한 시험 커버리지의 측정 방법을 제안하고 실험의 수행 결과를 기술하여 제안한 방법의 적절성을 검증한다.

• 한국정보통신학회:학술대회논문집
• /
• 한국정보통신학회 2015년도 춘계학술대회
• /
• pp.116-119
• /
• 2015

다수의 이동센서노드를 이용한 환경감시 알고리즘을 제안한다. 제안하는 알고리즘은 사전 정보가 없는 개활 지역에서 이동센서노드들을 배치하여 센싱 커버리지를 최대화 하는 것을 목적으로 한다. 이동센서노드는 보다 높은 센싱 커버리지를 획득하기 위하여 최대의 센싱 커버리지를 획득할 때 까지 반복적으로 재배치된다. 커버리지 최대화를 위하여 ILP(Integer Linear Programming) 기반의 최적화 문제를 구성한다. 시뮬레이션 결과에 의하면 제안된 알고리즘은 이동센서노드들을 보다 높은 관심지역으로 이동시킬 수 있으며 최대의 센싱 커버리지 획득이 가능함을 시뮬레이션을 통하여 검증한다.

• 한국시뮬레이션학회논문지
• /
• 제21권2호
• /
• pp.51-58
• /
• 2012

MMR(Mobile Multi-hop Relay) 기술을 적용한 IEEE 802.16j 표준에서는 전송률 향상을 위한 transparent 중계 모드와 커버리지 확장을 위한 non-transparent 중계 모드를 지원한다. 이 두 가지의 중계모드는 모두 RS의 추가 설치를 통하여 구현된다. 그러나 커버리지 확장을 위한 non-transparent 중계 모드는 커버리지 확장의 본래의 목적 외에도, RS의 주파수 중첩 사용을 통해 전송률도 향상시킬 수 있는데, 이러한 non-transparent 중계 모드 상에서의 전송률 향상 정도에 대한 연구는 지금까지 거의 이루어지지 않았다. 이에 본 논문에서는 IEEE 802.16j non-transparent 중계 모드 환경에서 커버리지 확장을 위한 전형적인 모델을 제시하였으며, 제시된 모델에서 설치된 RS의 개수, 위치, 그리고 증가된 커버리지 영역에 따른 전송률 향상 정도를 시뮬레이션을 통해 분석하였다. 동일 면적 대비 전송률 향상 정도의 비교를 위해서 전송 전력의 확대를 통해 커버리지 반경을 확대한 단일 MR-BS 시스템과 비교하였고, 제시된 모델에서의 전송률이 단일 MR-BS 시스템보다 최대 51.8% 이상 높게 나옴을 확인하였다. 이러한 결과는 커버지리 확대를 위한 non-transparent 중계 모드 적용시에 증가된 사용자의 트래픽 수용 용량을 설계하는데 유용하게 활용될 것이다.

• 정보처리학회논문지:컴퓨터 및 통신 시스템
• /
• 제6권11호
• /
• pp.463-468
• /
• 2017

모바일 노드를 이용하여 넓은 범위를 센싱하기 위해서는 노드 배치의 균일성이 매우 중요한 이슈 중 하나이다. 본 논문에서는 희소 모바일 애드 혹 네트워크 환경에서 빅 데이터 센싱을 위한 커버리지 문제에 대한 주제를 다룬다. 커버리지 문제에 관한 기존 연구에서는 넓은 범위를 센싱하기 위해 노드의 수가 충분히 많은 환경을 가정하였다. 하지만 희소 모바일 애드 혹 네트워크 환경에서 센서 커버리지 문제는 노드들 간의 센싱 범위가 겹치는 범위를 최소화하기 위해 노드들 간의 거리가 충분히 멀어야 한다. 따라서 본 논문에서는 희소 모바일 애드 혹 네트워크 환경에서 센서 커버리지 문제를 정의하고 중앙 중재자 없이 자가 조직의 방식에 의한 해결 방안을 제시한다. 실험 결과를 통해 제안하는 방식은 커버리지 영역과 에너지 소비 관점에서 효율적임을 보인다.

• 정보과학회 논문지
• /
• 제43권9호
• /
• pp.953-962
• /
• 2016

모델 기반 테스팅은 시스템의 행위를 표현하는 모델을 시스템 명세로 활용하여 테스트를 수행하는 기술이다. 자동차, 국방/항공, 의료, 철도, 원자력과 같은 산업 도메인에서는 소프트웨어의 품질 향상을 위해 모델 기반 테스팅과 코드 커버리지 기반 테스팅을 요구하고 있다. 모델 기반 테스팅과 코드 커버리지 기반 테스팅이 모두 요구됨에도 모델과 소스 코드 간의 추상화 수준 차이로 인해 모델 기반 테스팅만으로 높은 코드 커버리지를 달성하는 것이 어려워 모델 기반 테스팅과 코드 커버리지 기반 테스팅이 별도로 수행되어져 왔다. 본 연구에서는 기존의 모델 기반 테스팅의 한계점을 개선하기 위하여 모델 기반 테스팅에서 테스트 모델로서 이용되는 대표적인 모델링 방법 중 하나인 프로토콜 상태 머신을 테스트 모델로서 이용하여 효과적으로 코드 커버리지를 향상시키는 상태 머신 변환 방법을 제안한다. 또한 본 연구에서는 두 시스템을 대상으로 한 사례 연구를 수행하여 제안 방법의 효과성을 분석하였다.

• 한국정보통신학회논문지
• /
• 제22권1호
• /
• pp.183-189
• /
• 2018

본 논문은 제한된 백홀 용량으로 발생하는 소형셀 네트워크에서의 트래픽 병목현상을 완화하기 위한 분산 파일저장 기술과 커버리지 확장 기술을 제안하였다. 제안 기법은 한정된 메모리 용량으로 백홀 망의 부하를 최소화하기 위해 파일의 인기도와 기지국의 메모리 용량에 따라 기지국의 커버리지와 파일 저장방법을 결정한다. 즉, 메모리 공간이 작거나 이용자들로부터 요청되는 파일이 다양할 경우 개별 기지국에 저장된 파일로 이용자를 서비스할 수 있는 확률이 낮아지므로 커버리지를 확장하고 기지국 사이 저장 파일의 중복을 줄여 커버리지 중첩지역에 있는 이용자가 다수의 기지국에 저장된 다양한 파일로 서비스 받을 수 있게 한다. 시뮬레이션을 통한 기존 배타적인 커버리지를 갖는 소형셀 네트워크에서의 파일저장 기법과의 전송용량 비교를 통해 제안 기법이 메모리 공간이 작거나 이용자들로 부터 요청되는 파일이 다양한 상황에서 높은 성능 이득을 가짐을 보였다.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제11권7호
• /
• pp.273-282
• /
• 2022

구성가능한 소프트웨어 제품라인 시험은 모든 멤버제품들에 포함되는 공통 부분과 일부 또는 단일 제품에 포함되는 가변 부분을 고려해야 하기 때문에 단일 제품 시험 방법들을 그대로 적용하기 어렵다. 소프트웨어 시스템 시험에서 시험 커버리지는 수행된 시험의 적절성을 측정하는 척도이다. 구성가능한 소프트웨어 제품라인으로부터 생성될 수 있는 멤버제품들은 수백 개에 이를 수 있기 때문에 시험 커버리지 측정은 소프트웨어 제품라인 수준에서 시험의 적절성을 평가하기 위해 중요하다. 이 논문은 구성가능한 소프트웨어 제품라인 시험에서 제품라인 수준의 코드 커버리지 측정 방법을 제안한다. 제안한 방법은 피처 집합의 포함 관계를 기준으로 제품들을 계층화한 후 제품라인의 멤버제품들을 시험하고, 시험으로부터 얻어진 각 제품의 시험 커버리지들을 종합하여 SPL 시험 커버리지를 정량화한다. 제안한 방법을 11개의 구성가능한 소프트웨어 제품라인 사례에 적용하여 검증한 결과, 제안한 방법은 SPL 시험이 얼마나 철저하게 수행되었는지를 정량적으로 기술하여 SPL 시험의 적정성을 확인할 수 있도록 도왔다. 또한, 새로 추가된 SPL 멤버제품의 시험이 이전 멤버제품 시험 대비 커버리지를 증가시키는 방향인지 확인할 수 있어 새로운 시험케이스들이 멤버제품들 간의 차이를 커버하는 방향으로 시험이 이루어지고 있는지 확인할 수 있었다.