• Korea Information Processing Society Review
• /
• v.18 no.1
• /
• pp.33-42
• /
• 2011

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

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10a
• /
• pp.451-453
• /
• 2001

인터넷의 폭발적인 성장은 웹 어플리케이션의 증가에 영향을 주었다. 웹 관련 기술의 발전과 다양한 비즈니스 요구사항은 웹 어플리케이션을 점점 더 복잡하게 했고, 따라서 품질과 신뢰성이 중요해졌다. 이 논문에서는 웹 사용자 인터페이스의 테스팅 자동화에 대한 방법을 제시한다. HTML페이지의 객체와 자바스크립트의 객체를 매핑시켜, 사용자 입력 폼에 대한 테스트 케이스를 자동으로 생성해서 UI 테스팅을 자동화하는 방법을 보여준다. 또한 제안된 방법으로 테스팅 자동화 사례를 보여준다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10b
• /
• pp.644-646
• /
• 1998

본 연구에서는 웹 서버(Web server)와 웹 브라우저(web browser) 환경에서 테스팅이 가능하도록 설계한 테스팅 도구, VIST를 설계하였다. VIST는 비주얼 툴로 개발된 소프트웨어의 특성을 고려하여 그래픽 유저 인터페이스(Graphic User Interface) 측면에서 소프트웨어를 테스팅한다. VIST는 클라이언트-서버 환경에서의 테스팅을 가능케 하며 테스팅 과정의 일관성을 유지하고, 테스팅의 수행 시간과 노력 및 장비, 인력의 감소 효과를 갖는다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.04c
• /
• pp.127-129
• /
• 2003

컴포넌트를 기반으로 하는 소프트웨어 개발이 점차 확산됨에 따라 컴포넌트 기반 소프트웨어의 품질과 신뢰성을 보장하기 위한 컴포넌트 테스팅에 대한 필요성이 대두되고 있다. 본 논문에서는 컴포넌트 개발자가 제공해야 하는 인터페이스 정보의 내용을 제시하고 표현하며 그런 정보를 이용하여 단위 컴포넌트 테스팅과 통합 과정에 적용하는 과정을 사례를 통하여 제시한다.

• Proceedings of the CALSEC Conference
• /
• 2001.08a
• /
• pp.659-670
• /
• 2001

□ EJB 컴포넌트의 품질인 Functionality, Reliability, Performance, Stability를 보증하기 위하여 Rational Quality Architect(RQA)툴을 이용하여 효과적인 컴포넌트 테스팅 방법을 제안 툴을 이용하여 컴포넌트 및 인터페이스를 갖는 가상 컴포넌트을 작성하여 단위 테스팅 방법 테스트케이스 설계 및 테스트 스크립트 작성 방법 테스트데이터의 Regression Test시 재사용 방법 RQA가 제공하는 테스트 스크립트를 특정 EJB서버에 커스터마이징하는 방법(중략)

• Annual Conference of KIPS
• /
• 2005.11a
• /
• pp.279-282
• /
• 2005

기존의 임베디드 소프트웨어 테스팅은 하드웨어 지원을 필요로 하거나, 단순한 인터페이스로 제공되는데 반해, 최근의 임베디드 시스템은 복잡하고 높은 수준의 기능을 요구함으로써 기존의 테스팅을 그대로 적용하는 것은 매우 비효율적이다. 그러므로, 상세한 지식 없이도 사용 가능하고, 자동적으로 주어진 단계의 시뮬레이션을 수행하고 유효성을 확인하며, 분석의 원활한 수행을 위한 자동화 도구가 필요하게 되었다. 본 논문에서는 기존 기술과의 차이점을 제시하고, 임베디드 테스팅 작업이 용이한 임베디드 소프트웨어 자동 테스팅 기술을 개발하는 것을 목표로 한다. 이를 위해 임베디드 소프트웨어 테스팅 지원 도구의 요구사항을 분석하고, 테스팅 도구 ESTE(Embedded Software Testing Environments)의 전체 시스템 구조를 제시하고자 한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10d
• /
• pp.112-114
• /
• 2002

다양한 자동화된 테스팅 도구들이 존재하지만 프러덕 라인(product line)에서 요구하는 다양한 레벨과 방법론을 수용하기에는 부족하다. 또한 기존 테스팅 도구는 특정 기법과 레벨만을 제공하기 때문에 사용자가 다른 기법을 사용하기 원할 경우 적용하고자 하는 기법이 적용된 다른 테스팅 도구를 사용해야 한다. 따라서 본 논문에서는 테스팅 도구 개발에 있어서 프러덕 라인화 방안을 제안한다. 프러덕 라인 개념에 따라 표준에 정의된 테스트 활동들의 공통점과 방법론과 기법에 따른 차이점을 도출하여 추상화 시킨후 컴포넌트로 개발한다. 개발된 컴포넌트를 조립 시 컴포넌트의 구현된 차이점들을 리스트로 만들어 컴포넌트를 선택 가능하게 함으로써 생산된 제품이 변경 가능하도록 한다. 또한 개발하는데 드는 시간과 노력을 줄이기 위해 각 컴포넌트의 사용자 인터페이스를 실제로 구현하지 않고 명세하여 자동 생성되게 한다. 본 논문에서 제안하는 방안을 통해 사용자가 원하는 방법론과 기법이 적용된 테스팅 도구로 테스팅을 수행할 수 있게 될 뿐 아니라 개발된 컴포넌트를 재사용 할 수 있다.

• Review of KIISC
• /
• v.16 no.5
• /
• pp.65-71
• /
• 2006

사이버 공격이 급증함에 따라 이를 사전에 효과적으로 예방할 수 있는 소프트웨어 보안 테스팅의 필요성이 점차 증대되고 있다. 결함 주입 기법은 사이버 공격과 마찬가지로 프로그램의 외부에 노출된 인터페이스에 고의적으로 결함을 주입하는 방법으로 보안 취약점을 찾는 우수한 방법이다. 이 논문에서는 결함 주입 기법의 기본적인 개념을 살펴본다. 또한, 결함 주입을 수행하는 절차인 결함 주입 대상 외부 인터페이스 선택, 결함 유발 가능 입력 데이터 생성, 결함 주입에 따른 이상현상 탐지 각각에 대한 개요 및 최근 동향을 기술한다.

• Journal of KIISE
• /
• v.42 no.11
• /
• pp.1386-1396
• /
• 2015

Graphical user interface testing (GUI testing) techniques have been widely used to test the functionality of Android applications (apps) and to detect faults for verification of the reliability and usability of apps. To adequately test the behaviors of apps, a number of studies on model-based GUI testing techniques have been performed on Android apps. However, the effectiveness of model-based techniques greatly depends on the quality of the GUI model, because model-based GUI testing techniques generate test inputs based on this model. Therefore, in order to improve testing effectiveness in model-based techniques, accurate and efficient GUI model generation has to be achieved using an improved model generation technique with concrete definition of GUI states. For accurate and efficient generation of a GUI model and test inputs, this study suggests a hierarchical GUI state comparison technique and evaluates this technique through comparison with the existing model-based techniques, considering activities as GUI states. Our results show that the proposed technique outperforms existing approaches and has the potential to improve the performance of model-based GUI testing techniques for Android apps.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.39C no.9
• /
• pp.880-886
• /
• 2014

Many railway signalling functions have increasingly depended on computer software with recent development in computing technology, leading to evolution into more flexible and intelligent railway signalling system. Meanwhile, software programs are likely to have many errors and the cost incurred by such errors has increased. Especially, if fatal software error occurs during railway operation, it may result in loss of lives. So the software verification and validation have become more important. It is needed for software functional safety tool to support these, but most commercial tools depend on direct access to the system's memory, resulting in many difficulties in application. Owing to such difficulties and complexity, they are rarely used in railway signalling system software validation. In this study, a new testing tool for software functional testing through an external interface that can be easily used in functional testing of software was developed. Such testing tool allows development and analysis of test cases for black-box testing through analysis of actually used interface protocols, leading to increased user convenience.