• 대한전자공학회논문지SD
• /
• 제39권7호
• /
• pp.81-88
• /
• 2002

본 논문에서는 패턴 집단 생성 방식을 사용한 새로운 내장형 자체 테스트를 위한 테스트 패턴 생성기를 제안하였다. 제안된 기술은 클럭당 테스트 환경에서 작은 하드웨어 크기를 가지면서 미리 계산된 결정 테스트 집합을 가진다. 테스트를 제어하기 위한 회로는 간단하여 자동적으로 합성된다. 새로운 패턴 생성기를 기존의 방법들과 비교한 결과를 ISCAS 벤치마크 회로를 가지고 검증하였다.

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

안전 필수 시스템(Safety-critical system) 중 하나인 차량 전장용 운영체제의 엄밀한 검증을 위하여 모델 기반 테스트 생성기법들이 연구되어 왔다. 그러나 기존의 연구들은 이러한 차량 전장용 운영체제에서 빈번히 사용되는 주기적인 동작을 요하는 작업들에 대한 테스트 생성 문제를 해결하지 못하였다. 본 연구에서는 주기적 태스크의 검증을 지원하지 않았던 기존의 테스트 케이스 생성기에 알람 모델을 추가하여 보완하였다. 이를 통해 차량 전장용 운영체제의 검증에 있어서 주기적 태스크를 포함한 다양한 테스트 케이스를 생성할 수 있었고 차량 전장용 운영체제의 보다 엄밀한 검증이 가능해졌다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제37권10호
• /
• pp.768-772
• /
• 2010

콘콜릭 테스트는 높은 테스트 커버리지를 달성하기 위해 실제 프로그램 수행과 심볼릭 수행을 결합하여 테스트 데이터를 생성한다. CREST는 콘콜릭 테스팅을 구현한 대표적인 open-source인 테스트 도구이다. 그러나 현재 CREST는 기본적으로 프로그램의 모든 가능한 실행 경로들을 탐색하는 것을 목적으로 한다. 이 때문에 특정 분기 또는 블록만을 테스트하는 경우에는 비효율적일 수 있다. 이 논문에서는 프로그램 상의 한 분기 또는 블록을 주고 이률 실행할 수 있는 테스트 데이터를 생성하는 목적 지향 콘콜릭 테스트 방법을 제안한다.

• 인터넷정보학회논문지
• /
• 제17권6호
• /
• pp.61-69
• /
• 2016

테스팅은 시스템의 요구사항을 바탕으로 테스트 케이스를 생성하여 소프트웨어에 내재되어 있는 결함을 발견하는 활동이다. 테스팅을 효과적으로 수행하기 위해서는 충실한 테스트 계획, 잘 작성된 테스트 케이스 생성과 더불어 체계적인 테스트 모니터링 활동이 요구된다. 테스트 자동화 방법에 대한 대부분의 연구들은 테스트 케이스 생성에서 테스트 실행까지의 자동화 방법에 초점이 맞춰져 있다. 본 연구에서는 이와 달리 테스트 모니터링의 자동화 방안에 대하여 연구한다. 이를 위해 테스트 모니터링 자동화를 위해 해결해야 할 요소를 도출하고 이를 기반으로 테스트 모니터링 자동화 프레임워크의 구축 방안을 제시한다.

• 한국인터넷방송통신학회논문지
• /
• 제12권2호
• /
• pp.189-197
• /
• 2012

고수준의 명세나 고수준의 프로그래밍 언어로 작성된 원시 코드를 이용하여 테스트 데이터를 생성하는 것이 일반적이다. 그러나 어떤 상황에서는 이러한 테스트 데이터 생성 정보가 항상 이용가능하지 않을 수 있다. 이 논문에서는 실행가능 목적코드를 바탕으로 테스트 데이터를 생성하는 방법을 제안한다. 제안된 방법은 정교한 목적 코드 분석을 필요로 하지 않은 매우 간단한 함수 최소화 기법을 사용하여 동적으로 테스트 데이터를 생성한다. 삼각형 분류 프로그램에 대한 실험을 통하여 분기 커버리지를 매우 효과적으로 달성함을 보인다.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제6권3호
• /
• pp.125-134
• /
• 2017

SOA (Service Oriented Architecture)를 기반으로 하는 소프트웨어는 비즈니스 요구사항에 기민하게 대응할 수 있어 사용이 확대되고 있다. SOA는 느슨한 서비스 결합과 메시지 교환 중심 아키텍처라는 특징 때문에 기존의 테스팅 방법 적용이 제한된다. 본 논문에서는 BPMN (Business Process Model and Notation)을 이용해 테스트 케이스를 생성하는 기법을 제안한다. 먼저 프로세스를 모델링하고, 이를 통해 비즈니스 흐름 그래프(BFG)를 생성한다. BFG의 입출력 차수를 대칭하고, 오일러 경로를 탐색하여 테스트 케이스를 생성한다. BPMN을 이용한 테스트 케이스 생성 기법은 SOA 기반 시스템에 적용 가능하며, 테스트 케이스 수를 감소시킬 수 있다.

• 소프트웨어공학소사이어티 논문지
• /
• 제24권2호
• /
• pp.35-45
• /
• 2011

금질 기법을 이용한 테스트 데이터 자동 생성 기법은 오랫동안 연구되어 왔으며, 효율적인 테스트 데이터 생성 방법 중 하나이다. 그러나 인풋 도메인이 넓을 경우, 기존의 담금질 기법은 이웃 선택 기법의 한계 때문에 나쁜 성능을 보였다. 이러한 한계를 극복하기 위해, 우리는 새로운 이웃 선택 기법인 분기 거리 이웃 선택 방법을 제안한다. 제안된 기법의 성능을 검증하기 위해서 우리는 분기 거리 이웃 선택 기법, 기존의 이웃 선택 기법 그리고 랜덤 테스트 데이터 생성 기법을 비교하는 실험을 수행하였다. 실험 결과 제안된 기법이 2가지 기법에 비해 우수한 성능을 보임을 알 수 있었다.

• 소프트웨어공학소사이어티 논문지
• /
• 제28권1호
• /
• pp.23-28
• /
• 2019

최근 이미지 처리 응용을 위한 심층 신경망 모델의 효과적 테스팅을 위해 해당 모델이 올바르게 예측하지 못하는 코너 케이스에 해당하는 행동을 보이는 데이터를 자동 생성하는 연구가 활발히 진행되고 있다. 본 논문은 문장 분류 심층 신경망 모델에 기반하고 있는 버그 담당자 자동 배정 시스템의 테스트를 위해 입력 데이터인 버그 리포트의 내용에서 임의의 단어를 선택해 동의어로 변형하는 테스트 데이터 생성기법을 제안한다. 그리고 제안하는 테스트 데이터 생성 기법을 사용한 경우와 기존의 차이 유발 테스트 데이터 생성 기법을 사용했을 경우를 다양한 뉴런 기반 커버리지를 중심으로 비교 평가한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 가을 학술발표논문집 Vol.28 No.2 (1)
• /
• pp.460-462
• /
• 2001

테스트 데이터의 자동 생성은 소프트웨어 테스팅에서 가장 중요하면서도 어려운 부분이다. 대부분의 데스트 데이터 자동생성에 관한 연구는 명세로부터 테스트 데이터를 자동 생성하는 방식이며 이틀 위해 정확한 정형적 명세를 필요로 한다. 본 논문에서 는 프로그램을 실 행하지 않고 프로그램의 동적인 특성을 분석할 수 있는 요약 해석(abstract interpretation) 방법과 선후 지배 관계(pre-, postdominance relationship)를 이용하여 프로그램 코드로부터 직접 테스트 데이터를 자동 생성할 수 있는 방법 을 제안한다.

• 방송공학회논문지
• /
• 제17권3호
• /
• pp.529-539
• /
• 2012

소프트웨어 생성 주기 동안에 품질을 제어할 수 있는 매우 중요한 영역 중의 하나로 소프트웨어 테스트 방안을 들 수 있다. 일반적으로 소프트웨어 테스트케이스는 사용자 요구에 대한 이해를 기반으로 생성되지만, 사용자가 요구하는 수준의 품질을 충족시킬 수 있는 측정 가능한 테스트케이스를 생성하는 일은 결코 쉬운 일이 아니다. 특히 비기능적 요소나 예외상황에 대한 테스트 케이스 생성은 테스터의 경험에 많이 의존하기 때문에 매우 어려운 부분이다. 본 논문에서는 이러한 문제를 해결하기위한 방안으로 방송 수신 소프트웨어의 품질 측정 시 예외상황에서 발생 가능한 테스트케이스를 자동으로 생성할 수 있는 기법을 제안한다. 제안된 기법의 우수성을 검증하기 위해 상용 방송 수신 소프트웨어를 이용하여 기존 기법과의 비교 테스트를 수행하였다. 모의실험을 통해 본 논문에서 제안한 기법을 적용하여 다양한 예외상황에서 자동 생성된 테스트케이스를 수행한 결과로 기존 기법을 적용한 경우와 비교하여 7.08%의 결함을 더 발견할 수 있었다.