• 정보처리학회논문지D
• /
• 제14D권1호
• /
• pp.57-66
• /
• 2007

소프트웨어 산업의 발전에 따라 소프트웨어 개발조직에서는 소프트웨어 품질이 중요한 이슈로 부각되었다. 특히 여러 종류의 테스트 성숙도 모델을 통해 조직의 소프트웨어 테스트 성숙도 향상에 대해 다양한 방면으로 시도하고 있다. 하지만 현재 테스트 성숙도를 측정할 수 있는 모델들은 기존의 개발 성숙도 측정 모델을 기반으로 개발하여 테스트 부분에 대한 언급이 부족하고 단지 테스트 성숙도 레벨만을 측정하였다. 이러한 문제점을 해결하기 위해 소프트웨어 개발프로세스와 한께 테스트 프로세스를 수행할 수 있도록 이중 V모델과 테스트 성숙도의 용이한 평가를 위한 테스트 평가 속성과 레벨을 정의한 테스트 속성과 상호관련 매트릭스를 제안하였다. 테스트 프로세스 개선(Test Process Improvement: TPI)의 개선제안(Improvement Suggestion) 방법을 통해 테스트 성숙도 모델 확장하고, 측정된 성숙도를 향상시킬 수 있는 개선방향을 제시한다. 또한, 본 연구에서 제안하는 테스트 성숙도 상호관련 매트릭스는 테스트 성숙도를 정량적으로 평가하기 위해 사용하였다. 결과적으로는 확장된 테스트 성숙도 모델을 통해 조직의 테스트 성숙도를 높이는데 기여 할 수 있으리라 생각한다.

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

오늘날 소프트웨어의 복잡화에 따라 그 테스트 방법 또한 다양화 되고 있다. 입력의 따른 결과 값을 비교하여 대상의 내부 구조에 대한 깊은 이해 없이 가능한 블랙박스 테스팅은 오늘날의 복잡한 소프트웨어의 테스팅에 있어 매우 적합한 방법이다. 하지만 이러한 테스트를 위한 테스트 케이스 생성을 위해서는 요구 명세와 더불어 이에 대한 깊은 이해를 필요로 한다. 이러한 문제를 해결하기 최근에는 UML과 같은 정형화된 명세 기반의 테스트 케이스 생성기법이 연구되고 있지만, 모델 기반의 개발 방법이 사용되지 않는 부분에서는 매번 이루어지는 코드 변경에 따라 모델을 다시 수정하는 번거로움이 필요하다. 이에 본 논문에서는 함수 레벨의 블랙박스 테스트를 위하여 코드를 이용하여 테스트 케이스를 생성하는 방법을 제안한다. 이를 위해 먼저 대상 함수를 추상화한 후 함수의 각 인자들을 이용하여 각 조건문 상의 인자의 쓰임을 분석하여 각 조건의 기준 값을 추출하고 이로부터 테스트 케이스를 추출하는 방법을 제안한다. 이러한 방법은 이미 구현되어 있는 코드를 사용함으로써 새로운 요구 명세에 대한 이해의 필요성을 줄이고 더불어 코드 기반의 테스트 케이스의 자동 생성연구의 초석이 된다.

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

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

• 정보과학회 컴퓨팅의 실제 논문지
• /
• 제21권2호
• /
• pp.132-137
• /
• 2015

실시간 시스템은 시스템의 행동이 입력 값 뿐만이 아니라 입력 값의 시간에도 의존적인 시스템이고, 타임드 오토마타는 실시간 시스템 모델링 및 분석에 대표적으로 쓰이는 모델이다. 모델 기반 테스팅은 소프트웨어의 요구사항을 표현한 모델로부터 생성된 테스트 케이스를 테스트 대상 프로그램에 수행함으로써 테스트 대상 프로그램이 모델에 명세된 대로 작동하는지 여부를 확인하는 기법이다. 본 연구에서는 타임드 오토마타 모델 기반 테스팅 도구인 UPPAAL-TRON, UPPAAL-COVER, SYMBOLRT를 동일한 시스템에 적용하는 사례 연구를 수행하고, 이를 기반으로 테스팅 기법 및 도구를 비교 분석한다.

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

소프트웨어 품질의 중요성이 커짐에 따라, 기업들은 품질을 높이기 위해 테스트에 많은 노력을 기울이고 있다. 최근에는 테스트 성과를 높이기 위한 방법중의 하나로 테스트 프로세스 개선이 주목 받고 있다. 이를 위해 기업들은 SW-CMM(Capability Maturity Model for Software), CMMI(Capability Maturity Model Integration)와 같은 일반적인 프로세스 개선 모델들이나, TMM (Test Maturity Model), TPI (Test Process Improvement Model), TCMM (Testing Capability Maturity Model)과 같은 테스트 프로세스 개선 모델들을 적용하고 있다. 그러나 일반적인 프로세스 개선 모델들은 테스트 관련 이슈를 충분히 다루고 있지 않고, 테스트 프로세스 개선 모델들은 구조가 불완전하거나 내용이 충분하지 않아 적용 시 많은 어려움이 있다. 이에 본 논문에서는 TMM 과 CMMI 를 기반으로 조직들의 테스트 프로세스 확립이나 개선을 지원할 수 있는 새로운 테스트 프로세스 성숙도 모델인 TPMM(Test Process Maturity Model)을 연구, 개발하였다. 개발된 TPMM 을 통해 조직에서 테스트 프로세스를 개선하고, 심사하는 것을 지원할 수 있을 것으로 기대된다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2009년도 제40회 하계학술대회
• /
• pp.1923_1924
• /
• 2009

최근 들어 소프트웨어의 테스트에 대한 필요성이 증가함에 따라 소프트웨어 테스트 방법에 대한 연구가 활발해지고 있으며 이를 적용한 제품들도 다양한 분야에서 개발되고 있다. 또한 UML과 같은 모델 기반의 언어가 등장함에 따라 소프트웨어의 재사용성 등을 높일 수있는 설계가 가능하다. 본 논문에서는 테스트가 가능한 SDINS/GPS 통합 항법 소프트웨어 구조를 UML 모델로 제시하며, 제시한 모델에 대한 테스트 절차를 기술한다. 본 논문의 결과를 이용하여 SDINS/GPS 통합 항법 소프트웨어를 설계하면 소프트웨어를 다른 하드웨어로 이식하는 것과 다른 센서 측정치를 처리하기 위한 소프트웨어 확장이 용이하다.

• 전력전자학회지
• /
• 제15권5호
• /
• pp.23-27
• /
• 2010

실생활환경 그린IT 기술 실증 테스트베드는 최근 에너지절감을 위한 하나의 해법으로 논의되고 있는 단위 건물에 대한 직류배전 기술 이외에 건축기술 기반의 공간, 냉난방, 환기, 빛 환경 에너지 성능평가 기술과 주택 유형별, 가구별 전력 에너지 관리 기술, IT기반 기술 등을 활용하여 그린IT기반 요소기술의 성능 검증, 기술개발, 신시장창출을 위한 실증테스트환경 모델과 산업활성화 기반을 구축하는 것이다. 이 중 향후 완성될 실증 테스트베드 건물에 적용하기 위하여 본 기관에서 수행하고 있는 직류배전분야에서의 주요 연구내용 및 연구방향, 고려사항들을 논의하고자 한다.

• 정보처리학회논문지D
• /
• 제12D권4호
• /
• pp.569-582
• /
• 2005

인터넷을 통한 정보의 교류와 비즈니스가 활발해지면서 웹 기반 소프트웨어도 확대되고 있고 그만큼 품질 측면의 노력이 중요하다. 웹 컨텐츠의 링크나 웹 기반 프로그램을 검증하는 연구가 시도되었으나 다양한 웹 기반 구성 방법들을 커버하는 방법은 찾기 어려웠고 또한 적용 실험이 부족하다. 이 논문에서는 다양한 동적인 웹 기반 소프트웨어들을 타입별로 나누어 보고 동일한 방법으로 모델링 한 후 테스트 케이스를 생성하는 방법을 제안한다. 웹 기반 소프트웨어를 구성하는 개체들을 파악한 후 이를 개체 제어흐름 그래프(Object Control of Flow Graph)와 개체 관계 다이어그램(Object Relationship Diagram)으로 모델링 한다. 모델에서 테스트 경로를 파악하고 테스트 키 포인트를 구동하는 테스트 케이스를 찾는다. 제안한 방법으로 다섯 가지 타입의 웹 기반 소프트웨어를 적용하여 실용성을 보였으며 이제까지 제안된 방법과 어떤 차이를 보이는지 비교하였다.

• 정보처리학회지
• /
• 제18권1호
• /
• pp.33-42
• /
• 2011

컴포넌트의 외부 행위는 파라미터를 가진 인터페이스로 정의된다. 소프트웨어 개발자는 컴포넌트를 테스트하기 위해 인터페이스를 통해 각기 다른 파라미터의 값을 반복적으로 입력하고, 입력값에 따른 출력값을 관찰한다. 테스팅에 소요되는 시간을 줄이기 위해 테스트 케이스를 자동으로 실행하는 테스팅 자동화 도구가 효율적이지 않은 테스트 시퀀스를 수행한다면 테스팅 자동화의 효과는 줄어든다. 유한 상태 머신을 기반으로 하는 기존의 테스트 시퀀스 생성 기법들은 파라미터를 가진 인터페이스 테스팅에 최적화된 테스트 시퀀스를 제공하지 않는다. 이 연구는 컴포넌트 인터페이스를 파라미터를 고려한 상태 모델로 표현하고 최적의 시퀀스 생성 기법을 제안한다. 최적의 시퀀스 생성 기법은 파라미터를 가진 상태 기반의 행위 모델에서 특정 간선을 원하는 회수만큼 수행을 보장하는 시퀀스를 생성하며, 생성된 시퀀스는 최적의 테스트 수행 시간을 갖는다.

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

스마트폰 어플리케이션은 소프트웨어의 평가를 구매자가 쉽게 확인 및 작성할 수 있어 품질이 매출에 직접적으로 영향을 끼쳐 소프트웨어의 품질을 향상시키기 위해서 테스트가 요구된다. 하지만 기존의 스마트폰 어플리케이션은 테스트 용이성을 고려하지 않고 개발되어 테스트를 위해 많은 비용이 증가한다. 본 논문은 이 문제를 해결하고자 소프트웨어 설계 단계에서 모델변환을 적용하여 테스트 용이성을 향상 시키는 방법을 제안한다. 대상 모델은 UML의 클래스 다이어그램이고 테스트 용이성 측정을 위해서 Binder방법을 사용한다. 적용사례로 안드로이드 기반의 소프트웨어인 SnakePlus를 구현하고, 이를 대상으로 설계 모델을 모델변환을 하여 테스트 용이성을 향상 시킨다.