• 전기전자학회논문지
• /
• 제18권3호
• /
• pp.305-312
• /
• 2014

기존의 Verilog테스트벤치로 원전용 안정등급 제어기기와 같이 복잡하고 높은 신뢰도를 요구하는 모듈의 테스트는 수작업으로만 수행된 결과를 가지고 RTL단계의 검증을 마무리하기에는 현실적으로 많은 시간과 노력이 필요하다. UVM은 기존의 테스트벤치의 한계점을 보완하는 계층적 테스트벤치의 구조를 갖고 있어 DUT의 검증을 위한 테스트개선에 대해 테스트벤치의 수정을 간편하게 할 수 있다. 비록 구축과정이 다소 복잡하긴 하지만 테스트 벤치의 컴포넌트들인 driver나 sequence 등을 사용함으로 constraint random test를 가능하게 하여 test vector 작성을 편리하게 한다. 본 논문에서는 기존의 테스트벤치와 계층적 테스트벤치인 UVM테스트벤치를 사용하여 실제 시뮬레이션 하고 커버리지를 분석하여 코드커버리지를 간편하게 향상 할 수 있음을 보였다.

• 대한전자공학회논문지SD
• /
• 제41권3호
• /
• pp.93-100
• /
• 2004

시스템 온 칩의 테스트 스케줄링은 제한된 전력 사용량 내에서 테스트 시간을 최소화하기 위한 방법들 가운데 하나로서 매우 중요하다. 본 논문에서는 테스트 자원들을 선택하여 그룹화하고 코어 기반 시스템 온 칩 전체 전력소비량을 고려하면서 테스트 시간과 전력소모량의 곱의 크기에 기초하여 이들을 배열하여 스케줄링 하는 휴리스틱 알고리듬을 제안한다. 전력소모량은 최대이면서 제한된 전력 소모량을 초과하지 않는 테스트 자원 그룹을 먼저 선택하고 테스트 자원 그룹 내 요소들의 테스트 시작 위치를 테스트 공간의 초기 위치에 배치하여 테스트 자원들의 낭비시간을 최소화한다. ITC02 벤치마크 회로를 사용한 실험을 통해 알고리듬의 유효성을 보인다.

• 정보처리학회논문지D
• /
• 제15D권1호
• /
• pp.107-112
• /
• 2008

레거시소프트웨어시스템을 유지 및 보수하는 작업은 소프트웨어 공학 분야에서 중요한 화두이다. 그리고 유지 및 보수 과정에 있어 회귀 테스트는 소프트웨어의 변경에 따른 기능적 동작이 올바른지 확인한다. 그러나 기존의 회귀 테스트는 대부분 시스템 레벨에서 접근이 되었으며 단위테스트 레벨에서는 준비된 테스트 케이스가 없어서 적용이 어려웠다. 본 논문에서는 단위테스트 케이스들을 구현하고 자산화하기 위해서 기존의 레거시소프트웨어시스템을 재구성하는 기법을 제안한다. 그리고 이를 실제 개발 과제의 특정 모듈에 적용하고 그 테스트 커버리지 결과를 분석하였다. 향후 본 논문에서 제시하는 방안을 기반으로 재구성 자동화 기법 및 테스트 케이스 자동화 생성에 대한 연구가 지속된다면 레거시소프트웨어시스템의 유지 및 보수에 큰 발전을 기대할 수 있을 것이다.

• 정보기술응용연구
• /
• 제3권3호
• /
• pp.91-106
• /
• 2001

본 논문에서는 소프트웨어 테스트 단계중에 발생되는 테스트노력 소요량을 고려한 소프트웨어 신뢰도 성장 모델을 제시하여 시간종속적인 테스트 노력소요량 동태를 일정 테스트 노력일 때와 웨이불 테스트 노력일 때를 비교하여 연구한다. 테스트 단계중에 소요되는 테스트 노력의 양에 대한 결함 검출비를 현재의 결함 내용에 비례하는 것으로 가정하여 모델을 비동차 포아송 과정으로 공식화하며, 이 모델을 이용하여 소프트웨어 신뢰도 척도에 대한 데이터 분석기법을 개발하도록 한다. 테스트 시간의 경과와 신뢰도와의 관계도 심도 있게 연구한다. 목표신뢰도를 만족시키는 최적발행시각을 정한다. 개발 후 테스트를 시작하기 전의 신뢰도가 어떠한 조건에 있는가를 검토하여 각 조건에 따른 최저 발행시각을 결정한다. 일정 테스트 노력 곡선과 웨이불 테스트 노력 곡선 모두에 대해서 그 조건은 목표 신뢰도를 초과하는 경우, 목표신뢰도를 초과하지는 못하지만 어느 조건 이상인 경우, 어느 조건 이하인 경우로 대별되며, 이 중에서 이상적인 경우는 두 번째 조건인 경우이다.

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

차량전장용 운영체제는 안전중요(safety-critical) 소프트웨어로써 엄밀한 검증과 테스트를 필요로 한다. 엄밀한 검증은 시스템의 모든 사용 가능한 시나리오의 도출을 필요로 하며, 이것을 수작업으로 생성하는 데에는 비용과 효율성에 문제가 있다. 본 연구에서는 차량전장용 운영체제의 국제표준인 OSEK/VDX 에 명시된 제약사항을 고려한 테스트 시나리오 자동 생성기와 이를 보조하는 OSEK/VDX 시뮬레이터를 개발하여 테스트 효율의 향상과 자동화를 도모하였다. 개발된 도구는 OSEK/VDX 기반 개방형 운영체제인 Trampoline 에 적용하여 효과를 입증하였다.

• 한국음향학회지
• /
• 제22권1호
• /
• pp.42-47
• /
• 2003

본 논문에서 제안하는 방법은 화자 확인 (speaker verification)에서 시퀀스 확률비 테스트 (SPRT: sequential probability ratio test)를 위한 시작 프레임의 샘플 시프트를 이용해서 새로운 테스트 데이터를 생성하는 방법이다. SPRT는 테스트 계산량을 줄일 수 있는 효과적인 알고리즘이다. 그러나 테스트의 결정과정에서 SPRT 방법은 입력신호가 확률밀도 함수로부터 독립적이고 균일하게 분포되어 있다는 가정하에 수행할 수 있으며, 또한 발성길이가 짧은 데이터에는 적용하기에 적절하지 못하다. 제안한 방법은 시작 프레임의 샘플 시프트를 통한 새로운 테스트 데이터를 생성하는 방법이기 때문에 테스트 데이터의 길이에 상관없이 SPRT를 수행할 수 있다. 또한 SPRT 방법에서 고려해야 하는 데이터의 상관성은 주성분 분석(principal component analysis)을 이용함으로써 효과적으로 제거하였다. 실험 결과 제안한 방법은 기존의 방법보다 샘플시프트를 위한 데이터의 계산량은 약간 증가하였지만, 등가오류율 (EER: equal error rate)에서 평균0.7%이상 좋은 성능결과를 보였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2012년도 춘계학술발표대회
• /
• pp.1211-1212
• /
• 2012

최근 IT 기기는 GUI를 지원하여 사용자들에게 편의성을 제공하였지만, 개발자들에게는 테스팅에 어려움을 겪게 만들었다. 기존의 GUI 자동화 테스트기법인 Record Play-back 기법과 새로운 GUI 테스트 도구인 Sikuli가 등장 하였지만 기능이 추가되고 변경되는 소프트웨어를 테스팅하기 부족하다. 본 논문에서는 GUI 어플리케이션에서 점진적인 테스팅을 위해 단위 테스트인 각 테스트 케이스를 만들고 연결하는 시나리오 편집기와 시나리오 수행과 테스트 케이스 결과를 검증하는 수행 및 검증기로 구성된 자동화 테스트 도구를 설계한다.

• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2020년도 제62차 하계학술대회논문집 28권2호
• /
• pp.593-594
• /
• 2020

본 논문은 급격하게 발전하는 IT기술의 발전과 그로 인한 기업들의 경쟁 속에서 수 많은 프로젝트들이 생성되는 현대 사회에서 이런 프로젝트들이 경쟁에서 이길 수 있도록 프로젝트가 빠르고 완성도 있게 만들어질 필요를 느끼고 기존의 프로젝트 개발 방법론과 테스트 설계 방법론 중 V모델을 연구해서 프로젝트 관리 시스템에 등록된 데이터를 기반으로 테스트가 자동 설계될 수 있게 함으로써 프로젝트 전체 기간을 줄이고 프로젝트 비용을 줄일 수 있는 방법을 제안한다. 이 논문에서 제안하는 모델을 확장시켜서 프로젝트 테스트 관리에 불필요한 설계 시간과 테스트 관리에 수월할 것이라 기대한다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제36권9호
• /
• pp.706-717
• /
• 2009

웹 어플리케이션은 프레임워크가 제공하는 라이브러리를 재사용해서 구현하며, 다계층 아키텍처를 갖는다. 또한 사용자 요청을 처리하기 위해, 화면에서 시작하여 해당 웹 어플리케이션 구성 컴포넌트를 실행하고 데이터베이스를 경유하여 다시 화면으로 돌아오는 실행 흐름, 즉 비즈니스 로직을 갖는다. 웹 어플리케이션을 효과적으로 테스트하기 위해서는 이러한 웹 어플리케이션의 특징을 반영하는 테스트 방안이 필요하다. 본 논문은 웹 어플리케이션 테스트를 위해 사용자 화면으로 테스트를 수행하되, 웹 비즈니스 로직 상의 인터페이스 테스트 커버리지로 검증하는 방법을 제안한다. 이를 자동화한 테스트 도구인 Testopiacov를 통해 웹 어플리케이션을 테스트하고 그 결과를 통하여 제안하는 웹 어플리케이션 테스트 방법을 분석한다.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제2권11호
• /
• pp.765-778
• /
• 2013

본 논문은 Rapidly-exploring Random Tree(RRT) 확장 기법을 이용하여 Stateflow 모델 기반의 블랙박스 테스트 케이스 자동 생성 방법을 제안한다. 복잡한 시스템의 경로 계획 문제를 효율적으로 해결하는 방법으로 널리 사용되고 있는RRT기법은 테스트 케이스 생성에서도 좋은 성능을 보이고 있으나, 테스트 케이스 생성에 있어서 중요한 부분을 차지하는 테스트 커버리지를 고려하고 있지 않다. 제안하는 확장 기법은 테스트 커버리지를 향상시키기 위하여 테스트 목표 달성 율의 개념을 RRT 확장에 도입하여 테스트 목표를 더 달성할 수 있는 방향으로 RRT 확장을 유도 한다. 이를 위해서 테스트 목표 달성 율을 고려한 RRT 거리 함수와 RRT 무작위 노드 생성 방법, 그리고 변형된 RRT 확장 알고리즘을 제안한다. 제안된 기법의 유용성은 실제 자동차에서 사용되는 제어 ECU들의 Stateflow 모델을 이용한 실험을 통해 기존 RRT를 이용한 테스트 케이스 생성 기법과의 성능을 비교를 통해 보인다.