• Proceedings of the Korea Information Processing Society Conference
• /
• 2007.05a
• /
• pp.151-154
• /
• 2007

소프트웨어는 의도하지 않은 결함을 반드시 가지고 있다. 이러한 결함을 찾아내기 위해서는 테스트가 반드시 진행 되어야 한다. 수많은 소프트웨어 제품들이 나오게 되면서 테스팅 기법도 표준화 되어 가고 있다. 이러한 테스팅 기법들을 현업에 종사하는 테스터가 사용시 많은 시간과 비용이 들게 된다. 이를 좀더 효과적으로 테스트 하여 시간과 비용을 줄일 수 있는 방안을 찾고자 하는 것이 본 논문의 목적이다. 실행 가능한(eXecutable), 확장된(eXtended), X-internet 환경을 구축하는 UI(User Interface)개발 도구를 개발함에 있어 제품의 안정성을 향상 시키기 위하여 기존의 소프트웨어 테스팅 기법을 이용한 테스팅 방법론을 연구하고자 한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2012.04a
• /
• pp.60-61
• /
• 2012

D2D는 단말 디바이스간의 중간의 매개체 없이 직접 연결을 통해서 메시지나 컨텐츠 등을 전송하는 시스템으로서 이의 개발에는 동시에 두개 이상의 단말을 연결하여 직접 통신을 수행하고 그 결과를 확인하는 테스팅 기능이 요구된다. 기존의 일반적인 테스팅 환경은 하나의 단말에서 구현되는 응용이나 서비스의 구현을 테스팅하는데 집중되어 있으나 본 연구에서는 다수개의 단말을 연결하여 테스트할 수 있는 간이 테스팅 프레임워크를 구축하고자 한다. 이를 위하여 간단한 테스트 스크립트 엔진을 설계하였고 테스트 스크립트 상에 개별 디바이스를 지정할 수 있는 항목을 추가하여 디바이스 간의 동작을 명세할 수 있도록 하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2013.05a
• /
• pp.18-20
• /
• 2013

센서 응용 프로그램을 테스트하는 보편화된 방법은 테스트 보드에 센서를 직접 연결시켜 테스팅 환경의 센서값으로만 응용프로그램을 테스팅 하는 것이다. 본 논문에서는 스마트 센서 응용 프로그램 테스트하기 위해 기존의 방법의 문제점을 소개하였다. 그리고, 문제점을 보완하기 위한 효율적인 테스팅 방법인 센서측정값 생성기를 제안하였다. 센서측정값 생성기는 센서선택, 센서특성화, 출력패턴정의, 통신방식이라는 4단계 과정으로 각 센서의 특성에 맞게 실제와 유사한 테스팅 환경을 제공하고 보다 효율적이고 신뢰성 높은 테스트 결과를 만들어 낼 수 있다.

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

웹 기반 시스템의 테스팅에 대한 정확성과 신뢰성을 향상시키는 것은 시스템의 질을 향상시킬 수 있고 시스템 개발 및 유지보수에 대한 비용을 현저히 줄일 수 있다. 본 논문에서는 웹 로그 분석을 통하여 테스팅 환경 설정에 필요한 정보와 사용자들에 대한 패턴 정보를 추출하였다. 그리고 웹 컨텐츠 분석을 통하여 링크 정보와 데이터베이스에 대한 접근 또는 사용자 입력을 요구하는 모듈에 대한 정보를 추출하였다. 추출한 정보를 이용하여 테스팅을 위한 시나리오 문서인 테스트 스크립트를 생성함으로써 실세계에 근접한 테스트 시뮬레이션을 구현하는 방법을 제시하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2004.05a
• /
• pp.317-320
• /
• 2004

컴포넌트를 기반으로 하는 소프트웨어 개발에 대한 많은 관심은 컴포넌트가 요구 사항에 명시된대로 동작하는지를 테스팅 하는 일과 테스트된 컴포넌트 조립하여 어플리케이션을 개발하는 일에 주어지고 있다. 본 논문에서는 웹 서비스 기술을 이용하여 컴포넌트 구매자에게 후보 COM 컴포넌트를 편리하게 테스팅할 수 있는 테스팅 환경의 구현에 대해 서술한다. 이를 통해 컴포넌트 제공자 및 사용자는 컴포넌트의 신뢰성과 이해성을 증진시킬 수 있다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.07b
• /
• pp.316-318
• /
• 2005

소프트웨어 개발 생산성물 높이고 신뢰성 있는 프로그램을 개발하기 위하여 수많은 테스트 기법 및 도구들이 연구되고 있다. 본 논문은 효율적인 소프트웨어의 단위 테스팅을 위해 XML 기반의 테스트 스크립트 언어를 설계하고 테스팅 도구를 제안한다. 제안하는 테스팅 도구는 테스트 대상 소스를 기반으로 테스트 스크립트를 생성해주는 테스트 스크립트 생성기와 테스트 스크립트를 대상 언어로 작성된 테스트 드라이버로 변환해 주는 테스트 드라이버 변환기를 제공함으로서 보다 간편한 테스트 환경을 제공한다. 테스트 스크립트를 XML 형태로 기술함으로서 개발자들은 새로운 스크립트 언어의 학습이 불필요하며 대상 언어에 독립적인 테스트 스크립트를 작성 할 수 있다. 또한 테스트 실행 후 테스트 평가 결과를 XML로 제공함으로서 다양한 형태의 리포트 뷰(View)를 가능하게 한다. 본 XML 기반의 테스트 스크립트 언어와 테스팅 도구는 프로그래밍 언어에 독립적인 부분과 종속적인 부분을 분리하여 여러 가지 프로그래밍 언어의 단위 테스트 환경을 하나로 통합 할 수 있게 해주어 관련 소프트웨어 테스팅 분야의 발전에 크게 기여할 것으로 기대된다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.11a
• /
• pp.904-906
• /
• 2005

소프트웨어 개발의 생산성을 높이고 신뢰성 있는 프로그램을 개발하기 위하여 테스트 자동화에 대한 연구가 활발히 진행되고 있다. 임베디드 소프트웨어는 일반 소프트웨어 개발 환경과는 달리 호스트-타겟(host-target) 구조의 교차 개발환경에서 개발이 이루어지고 있다. 본 논문은 임베디드 소프트웨어의 개발 환경에 맞추어 제한된 자원의 특성을 고려한 원격 단위 테스팅 도구를 제안한다. 제안하는 원격 단위 테스팅 도구는 XML 테스트 스크립트를 기반으로 대상 소스 언어에 맞는 테스트 드라이버를 생성하여 테스트 대상과 함께 테스트 작업 용구(Test harness)를 생성한다. 이러게 생성된 테스트 작업 용구는 이더넷(ethernet)을 통해 타겟(target)으로 전송되어 테스트를 수행한 후, 테스트 결과 로그를 호스트로 전송한다. 호스트에서는 로그를 수집하여 XML형태의 파일로 제공하여 다양한 형태의 리포트 뷰(View)를 가능하게 한다. 본 논문의 원격 단위 테스팅 도구는 임베디드 소프트웨어 개발 단계에서 반복적인 단위 테스팅의 절차를 간소화 하여 보다 효율적이고 신뢰성 있는 임베디드 소프트웨어 개발의 기회를 제공 할 것으로 기대된다.

• Journal of KIISE:Software and Applications
• /
• v.29 no.12
• /
• pp.883-894
• /
• 2002

Classical deterministic testing controls the execution of concurrent programs based on the equivalence between specifications and programs. However, it is not directly applicable to a situation in which synchronization sequences, being valid but infeasible, are taken into account. To resolve this problem, we had proposed automata-based deterministic testing in our previous works, where a concurrent program is executed according to one of the sequences accepted by the automaton recognizing all sequences semantically equivalent to a given sequence. In this paper, we present the automata-based testing environment for Java multi-thread programs, and we design and implement "Deterministic Executor" in the testing environment. "Deterministic Executor" transforms a Java multi-thread program by applying automata-based deterministic testing, the transformed program presents testing results. "Deterministic Executor" uses "Automata Generator", which generates an equivalent automaton of a test sequence, and "Replay Controller", which controls the execution of programs according to the sequence accepted by the automaton. By illustrating automata-based testing procedures with a gas station example, we show how the proposed approach does works in a Java multi-threaded program.roach does works in a Java multi-threaded program.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.07b
• /
• pp.382-384
• /
• 2005

임베디드 소프트웨어는 다른 일반 시스템과는 여러 가지 다른 특성을 가지고 있다. 우선 프로세서 자원과 메모리 자원을 적게 사용해야 하며, 소프트웨어의 오류에 대해 데스크 탑 또는 기타 서버환경에 비해 확실한 소프트웨어의 검증을 요구한다. 이러한 소프트웨어의 검증은 임베디드 소프트웨어의 오류허용이 다른 환경에 비해서 매우 다르기 때문에 고난도의 임베디드 소프트웨어의 응용을 빠르고 안정되게 개발하기 위해서는 사용자가 쉽게 사용할 수 있는 기술이 절실히 필요한 실정이다. 본 논문에서는 기존의 테스팅 자동화도구의 핵심 이슈인 테스트 데이터 제너레이터와 테스트 스크립트의 기능을 포함한 모듈인 테스트슈트 제너레이터의 성능향상 위한 방법을 제시한다. 제시된 테스트슈트 제너레이터 모듈은 임베디드 소프트웨어 테스팅 자동화도구의 개발 시 활용하여 개발한다면 임베디드 소프트웨어를 보다 효과적으로 테스팅 할 수 있을 것으로 예상된다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.11b
• /
• pp.463-465
• /
• 2005

내장형 시스템의 요구사항이 복잡해짐에 따라 신뢰성이 높은 소프트웨어 생산이 어려워지고 있다. 본 논문은 신뢰성 높은 내장형 시스템의 소프트웨어를 생산을 위해 교차 컴파일 환경에서 사용 가능한 소프트웨어 테스팅 도구를 제안한다. 일반적으로 테스팅 도구는 독자적인 테스트 스크립트를 사용한다. 그러므로 테스팅을 하고자하는 개발자는 테스팅 도구에서 사용하는 테스트 스크립트를 학습하여야한다. 즉, 개발자가 기존의 테스트 도구를 사용하기 위해서는 새로운 스크립트 언어를 학습해야 하는 부담을 가지고 있다. 본 논문에서 제안하는 시스템은 이러한 단점을 극복하기 위해서 개발자에게 친숙한 XML을 이용하여 테스트 스크립트를 설계한다. XML은 마크 업 언어의 표준으로 다양한 응용을 가지고 있고 다른 형태의 포맷으로 쉽게 변환 가능하다는 장점을 가지고 있다. 또한, GUI 기반의 테스트 스크립트 생성기를 제공하여 개발자에게 직관적인 테스트 스크립트 작성을 할 수 있도록 제안한다. 그리고 기존의 테스트 스크립트와 달리 테스트 스크립트 언어 레벨에서의 테스트 분기를 제공하고 있어 테스트 결과에 따른 다양한 테스트를 실시할 수 있다. 본 테스팅 도구는 개발자에게 테스트 드라이버 작성을 위한 노력을 줄여 더욱 질 좋은 프로그램을 생성하는데 기여할 것으로 기대된다.