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

지속적으로 증가하는 소프트웨어 복잡성으로 인해, 모델 기반 개발 기법은 소프트웨어 개발에 있어 거의 필수적인 기법이 되고 있다. 그러나, 모델 기반 기법을 활용한다 하더라도 복잡한 소프트웨어를 위한 테스트 케이스 생성은 여전히 풀어야 할 숙제이다. 본 논문에서는, 커스텀 파서와 SMT 솔버를 이용해 UML 모델 기반에서 자동 테스트 데이터를 생성하는 기법을 제안한다. 제안된 기법을 이용하면, 모델이 액션 언어(action language)와 같은 플랫폼 독립적인 언어로 구현되어 있거나, 플랫폼 종속적인 언어로 기술되어 있더라도 테스트 입력을 생성할 수 있다. 또한, 모델에서 테스트 케이스를 효율적으로 생성하기 위해 콘콜릭 수행 기법을 적용하였다. 본 논문에서는, 제안된 테스트 데이터 생성 기법을 통해 현대 산타페의 파워윈도우 스위치 모델에 활용된 사례를 기술한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2007년도 한국컴퓨터종합학술대회논문집 Vol.34 No.1 (B)
• /
• pp.111-116
• /
• 2007

최근 업계에서는 테스트의 중요성이 대두되면서 테스트 활동에 대한 테스트 성숙도 모델 적용을 통해 테스트 프로세스의 지속적인 개선을 도모하고 있다. 하지만 기존의 모델들이 외국 기업의 소프트웨어 개발 환경을 기반으로 하고 있어 중소 규모의 소프트웨어 개발 업체에서 이를 적용하기에는 비용과 기간 면에서 어려움이 따른다. 또한 체계적인 심사방법을 제시하지 못하고 있어 성숙도 모델의 적용에 대한 평가가 어려운 실정이다. 본 논문에서는 심사의 객관성을 확보하는 동시에 심사 비용 및 기간을 축소할 수 있는 방안을 제시한다. 심사의 객관성 확보를 위해 심사 대상 문서의 연관관계 테이블과 활용 기록을 기준으로 문서 심사를 수행하도록 하였으며, 심사 기간과 비용을 줄이기 위해 검증(Verification) 활동 중심의 문서심사를 문서 활용도에 대한 심사로 대체하고 각종 검토 활동 및 교육 활동을 통폐합 하였다. 개선된 심사모델을 도입함으로써 심사 기간이 단축될 수 있으며, 정형화된 심사 지침서의 활용을 통해 객관성을 확보할 수 있는 효과를 기대할 수 있다.

• 정보처리학회논문지D
• /
• 제8D권6호
• /
• pp.843-852
• /
• 2001

소프트웨어의 오류에 대한 통계를 보면 구현단계보다 분석과 설계 단계에 더 중요하고 많은 오류가 유입된다. 따라서 소프트웨어의 분석 및 설계 작업의 결과인 디자인 모델이 요구에 맞게 설계되었는지, 또는 구조적으로 적합한지 잘 점검할 필요가 있다. 이 논문에서는 객체지향 설계 방법으로 사용되고 있는 UML로 표현된 설계 모델을 효과적으로 테스트할 수 있는 방법에 대해 논의하였다. UML 모델을 이루는 각 요소들에 대한 제약조건을 OCL(Object Constraint Language)로 기술하고 카테고리 분할 방법을 이용하여 UML모델을 테스트하기 위한 데이터를 생성하는 방법을 제안하였다. 생성된 테스트 데이터를 이용하여 객체지향으로 설계된 모델뿐만 아니라 개발된 시스템의 기능 테스트를 수행할 수 있다.

• 한국인터넷방송통신학회논문지
• /
• 제13권1호
• /
• pp.129-134
• /
• 2013

기존 연구실 연구에서는 메타모델 기반의 순차적 다이어그램을 통한 테스트케이스 생성의 자동화가 초점이었다. 하지만 메타모델 기반의 스테이트 다이어그램을 통한 테스트케이스 자동 생성에 관한 메커니즘에 관한 연구가 부족하다. 그래서 본 논문에서는 Model Driven Architecture(MDA) 메커니즘인 메타모델과 모델변형기법을 채택하여, UML내 스테이트 다이어그램을 통해 테스트케이스를 자동 추출메커니즘을 제안한다. 이를 위해 테스트케이스 생성단계 프로세스를 정의하고 각 단계별 메타모델 정의와 모델간의 변형 규칙을 정의한다. 제안한 기법을 통해 임베디드 소프트웨어 테스트 설계 및 테스트케이스 추출비용과 시간을 줄이고 임베디드 소프트웨어의 품질을 높이고자 한다.

• 한국지능정보시스템학회:학술대회논문집
• /
• 한국지능정보시스템학회 2002년도 추계정기학술대회
• /
• pp.473-479
• /
• 2002

NHPP에 근거한 SRGM을 구성하는 새로운 안을 제시한다. 본 논문의 주요 초점은 소프트웨어 신뢰도모델링에서 효과적인 파라미터분해기법을 제공하는 것이다. 이는 테스트노력과 결함검출비를 동시에 고려하는 것이다. 일반적으로, 소프트웨어결함검출/제거메카니즘은 이전의 검출/제거결함과 테스트노력을 어떻게 활용하느냐에 달려있다. 실제 현장 연구로부터 우리는 테스트노력소모패턴을 추론하여 FDR의 경향을 예측할 수 있을 것으로 생각된다. 결함검출이 증가, 감소 및 일정한 것 등 광범위에 걸쳐서 나타나는 경향을 잡아내는 고유의 융통성을 가지는 하나의 시변수집합인 FDR모델에 근거한 테스트노력을 개발하였다. 이 스킴은 구조에 융통성이 있어서 여러 가지 테스트노력을 고려하여 광범위한 소프트웨어 개발 환경을 모델화할 수 있다 본 논문에서는 FDR을 기술하고, 관련된 테스트 행위를 이러한 새로운 모델링접근법에 연합시킬 수 있다. 우리의 모델과 그리고 이것과 관련된 파라미터 분해기법을 적용한 것을 여러 가지 소프트웨어 프로젝트에서 도출한 실제 데이터집합을 통하여 시연한다. 분석결과에 의하면 SRGM에 관한 테스트노력과 FDR을 결합하기 위한 제안된 구조가 상당히 정확한 예측능력을 보여주고 있으며, 실제 수명상황을 좀더 정대하게 설명해 준다. 이 기법은 광범위한 소프트웨어시스템에 쓰일 수 있다.

• 정보과학회 컴퓨팅의 실제 논문지
• /
• 제22권1호
• /
• pp.32-37
• /
• 2016

시퀀스 다이어그램에 대한 모델 기반 테스트를 수행하기 위하여 시퀀스 다이어그램으로부터 테스트 케이스를 자동으로 생성해야 한다. 이를 위해서는 시퀀스 다이어그램이 나타내는 시나리오를 파악하고 테스트 커버리지를 만족하는 경로를 추출하여 테스트 정보를 생성해야 한다. 하지만 시퀀스 다이어그램은 결합 조각을 사용하여 반복 및 조건, 대안 정보를 나타내므로 시퀀스 다이어그램으로부터 테스트 케이스를 자동으로 생성하는 것은 복잡하다. 이러한 문제를 해결하기 위하여 본 논문에서는 시퀀스 다이어그램으로부터 액티비티 다이어그램으로 변환을 수행하는 모델 변환 프로세스를 정의하고, 이를 통해 시퀀스 다이어그램의 시나리오를 제어 흐름 형태로 표현하고 여기에 테스트 커버리지를 적용하여 테스트 케이스를 생성하는 과정을 정의한다. 마지막으로, 사례 연구를 통하여 시퀀스 다이어그램으로부터 테스트 케이스를 생성하는 과정을 보인다.

• 정보처리학회논문지D
• /
• 제17D권4호
• /
• pp.283-296
• /
• 2010

Timing diagram은 시스템의 사양을 작성하는 도구로 많이 사용되고 있으나, Timing diagram을 이용하여 테스트 케이스를 생성하는 연구는 존재하지 않는다. 이와 같은 문제를 해결하기 위해 본 연구에서는 Timing diagram 으로부터 테스트 케이스를 생성하기 위해 다음과 같은 과정을 거쳤다. 1) Timing diagram을 형식적으로 기술하였다. 2) 정의된 Timing diagram의 의미로부터 이와 동치 관계에 있는 Stateflow 모델로 변환하는 방법을 기술하였다. 3) 변환된 Stateflow 모델에 대해 Simulink의 플러그 인 되어 있는 도구인 SDV를 사용하여 테스트 케이스를 생성했다. 이 접근 방법이 유용함을 보이기 위해서 도난 경보 모델과 임의의 Timing diagram모델들을 대상으로 실험을 수행하였다. 실험에서 Timing diagram 모델들로부터 Stateflow모델들로 변환하고 이를 SDV를 사용하여 테스트 케이스를 생성하였으며 그 결과에 대해 분석하였다. 이 연구를 통해 얻을 수 있는 결론은 Timing diagram이 더 이상 사양서를 작성하는 도구로만 사용되는 것이 아니라 모델 기반의 테스트 케이스를 생성하고자 하는 경우에도 유용한 도구가 된다는 점이다.

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

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

• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2018년도 제57차 동계학술대회논문집 26권1호
• /
• pp.25-28
• /
• 2018

본 논문에서는 강화학습을 통한 게임 테스트 자동화를 제안한다. 게임 테스트의 일부가 게임을 플레이라는 것과 강화학습에 기반을 둔 인공 신경망 모델들이 게임플레이에 많은 성과를 거둔 것에 착안하여 테스트 케이스 자동 생셩 및 기계학습을 통한 테스트 자동화를 연구하였다. 테스트 관리자를 두어 게임 요소에 필수적인 테스트 케이스를 데이터 조합으로 생성하고, 테스트 케이스를 수행할 인공지능을 기계학습으로 작성하여 자동화 유지비용을 절감한다. 이 모델을 소형 게임에 시험적으로 적용하였고, 정상 작동을 확인하였다.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제12권9호
• /
• pp.381-386
• /
• 2023

기존의 다양한 테스트 케이스 생성에 대한 연구는 모델로부터 테스트 케이스를 추출한다. 하지만 실무의 경우 자연어 요구사항 문장으로부터 테스트 케이스를 생성할 수 있어야 한다. 이를 위해 자연어 문장의 분석하고, 분석 과정 및 결과를 요구공학 영역에 접목하는 연구는 매우 필요하다. 하지만 한국어 문장의 다양성 때문에, 한국어 자연어 요구사항 분석은 어려운 이슈이다. 우리는 한국어 자연어 요구사항으로부터 테스트 케이스 생성 연구 중 하나로써, 자연어 요구사항의 정의 분석, C3Tree 모델의 생성, 원인-결과 그래프의 생성, 결정 테이블의 생성 단계를 통한 테스트 케이스 생성 방법을 연구한다. 본 논문은 중단 단계로써, 메타모델링 변환 기법을 이용하여 C3Tree 모델 기반의 결정 테이블로부터 테스트 케이스 생성 방법을 제안한다. 이 방법은 모델 변환 규칙의 수정을 통해 모델 to 모델, 모델 to 텍스트로의 변환 과정을 제어한다. 모델이 변형되거나, 새로운 모델이 추가되더라도 프로그램 알고리즘의 직접적인 수정 없이 모델 변환 규칙을 유지보수 할 수 있다. 평가 결과, 결정 테이블에 대한 모든 조합이 테스트 케이스로 자동 생성되었다.