• The KIPS Transactions:PartD
• /
• v.9D no.4
• /
• pp.651-658
• /
• 2002

This paper suggests the scenario composition supporting method, which can be used to perform integration test based on specification, and implemented a scenario composition supporting tool. To compose scenario for object-oriented integration testing, requirement specification, Process definition table and program to table relation diagram are used. In addition, requirement trace table is created. It can check user's requirements, quickly and exactly, dividing former three fables into the stages of requirement analysis, design, and test. The output of scenario composition supporting tool plays a guide part in composing scenario. This tool can reduce scenario composition effort of quality for the checking team and prevent an omission of requirement and input of errors during the test.

• Journal of KIISE:Software and Applications
• /
• v.36 no.1
• /
• pp.45-53
• /
• 2009

In these days GUI components are recognized as the important driving elements to the successful software development. Thus they must be verified. In practice, however, GUI testing for verifying the GUI components needs lots of time and high costs. Test automation for GUI testing is a promising solution to save those expenses. In this paper, we discuss some issues considered to perform GUI testing and suggest a new method that improve the GUI test case generation method based on our previous 'record & playback' approach. For this, we suggest the event generation method using the 'spy' technique and the scenario generation method that generates effectively a lot of scenarios with the generated events. In turn we describe how to create GUI test cases from the generated scenarios.

• Journal of KIISE
• /
• v.43 no.9
• /
• pp.1015-1025
• /
• 2016

Currently, software testing is becoming increasingly important in the industrial field and a large body of research supports the improvement of efficient software testing. Model-based testing is generally used to formalize user requirement data for test design. Complex system that includes loop and concurrency has a high probability of path explosion problem. Specially, as threads are added to concurrency, test scenarios have also increased exponentially. However, it is difficult to solve this problem using existing techniques. In this paper, we propose novel path-search technique that focuses on behavioral features of concurrency path in order to avoid path explosion problem. A system that contains concurrent paths is represented by activity diagram in case study section. Efficiency of our study is shown through comparison with several generated test scenarios of other studies. The result indicate that our approach is efficient for finding faults in loop and concurrency with fewer test scenario.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2010.11a
• /
• pp.867-870
• /
• 2010

여러 장치들과 연동하여서 동작하는 네트워크 시스템 개발 시, 회귀 테스트는 전체 시스템의 안정성을 보장하기 위한 가장 필요한 테스트중의 하나이다. 그러나, 서비스가 되고 있거나 연동을 위한 추가적인 장비가 필요할 경우 테스트의 제약을 받게 된다. 본 논문에서는 자동 회귀 테스트를 위한 가상 네트워크 망을 제공하는 시뮬레이터를 디자인 한다. 또한, 시뮬레이터를 효율적으로 관리 및 동작하기 위한 UI 환경을 제안한다. 오픈 소스를 기반으로 제작된 본 시나리오의 관리 툴은 회귀 테스트의 자동화와 시나리오의 생성 및 배포가 가능하며 여러 프로토콜을 통합하여 사용할 수 있는 환경과 검증 코드를 제공한다. 이로 인해 네트워크 시스템 상의 소프트웨어에 대해 기능 및 회귀 테스트가 가능해 질것이고 결과적으로 프로그램의 개발 시간 단축과 유지보수에 탁월한 환경을 제공받게 될 것이다.

• The KIPS Transactions:PartD
• /
• v.18D no.5
• /
• pp.343-356
• /
• 2011

When preparing test cases and running the test the existing GUI test tools require many tester's interventions. To cope with such problem this paper suggests a new method to build test cases for GUI test. This method identifies the potential control flows within the GUI and constructs the GUI map. The UIA library in .NET Framework is used to extract information about the GUI controls and the GUI map is constructed by the extracted information. Test scenarios are generated from the extracted information about the GUI controls using the grouping mechanism. Based on the grouping mechanism, various test scenarios which are test cases in GUI tests can be made by replacing a GUI control by another one in the same group. The existing GUI test tools do not support the concept of test coverage. Since, however, our method survey which part of the GUI map is executed or not during running the test, the test coverage can be measured by using the GUI map.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.9 no.3
• /
• pp.681-689
• /
• 2008

Graphic User Interface(GUI) of mobile application is the working environment exchanging informations and almost functions on mobile are operated by it. In order to increase the productivity and to develop reliable mobile software, GUI test is absolutely needed. In this paper, we introduce the scenario based GUI test method and automatic tool(MoGuT). The MoGuT can detect the functional faults using scenarios and operate in SKVM environment.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2001.10a
• /
• pp.367-370
• /
• 2001

최근 다양한 어플리케이션과 전용 임베디드 시스템의 개발 필요성이 증가하고 있으며 이는 Smart Community를 추구하는 디지털 지식사회의 중요한 이슈가 되고 있다. 현재 상용화되고 있는 대부분의 실시간 임베디드 시스템들을 다양한 측면에서 자사의 제품 기준에 따르는 기술적 특징과 성능 지표를 제공하고 있으며 이를 통한 성능 품질 등의 판단 근거로 제시되고 있다. 그러나 각 자료들이 공인 기관에서 제공되지 않아 자료의 신뢰도가 낮으며 따라서 성능측정 및 품질척도로 비교하는데는 어려움이 있다 따라서 본 연구는 이러한 문제점을 착안하여 자바 카드 API의 품질 평가를 위해서 사전에 테스트를 거쳐 좀더 신뢰성과 안전성이 높은 자바 카드 애플릿을 개발하고자 한다. 이에 가장 중요한 부분 중에 하나인 에러체크를 통해 임의적으로 에러 처리 시나리오를 작성해서 그 시나리오를 거친 테스트 데이터를 생성한 후, 그 데이터를 가지고 API의 풀질 평가를 하고자 하는데 목적이 있다. 이에 본 논문에서는 테스트 데이터 생성 시나리오를 제안하였다. 단지 제안만 해 놓았기 때문에 향후 이 시나리오를 거친 테스트 데이터 생성을 연구하고자 한다. 또한, Verification을 위해 수학에 기초를 둔 정형 기법(Formal Method)을 이용하여 좀더 깊이 있고, 정확한 검증을 수행 하고자 한다.

• ETRI Journal
• /
• v.8 no.3
• /
• pp.44-50
• /
• 1986

본고는 현재 수행중에 있는 ISDN 프로토콜 연구 과제에 속하는 프로토콜 검증장치구현과 관련하여 X. 25 Product의 level 2에 대해 conformance test를 실시하는데 사용된 테스트 방법, 테스트 시스팀 구성, 테스트 시나리오 등의 테스트 환경과 실제 테스트를 실시한 결과 등을 중심으로 기술하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2010.11a
• /
• pp.940-943
• /
• 2010

여러 장치들과 연동하여서 동작하는 네트워크 시스템 개발 시, 회귀테스트는 전체 시스템의 안정성을 보장하기 위한 가장 필요한 테스트이다. 그러나 서비스가 진행 중이거나 연동을 위한 추가적인 장비가 필요할 경우 테스트의 제약을 받게 된다. 본 논문에서는 회귀성 테스트에서 발생하는 시간과 비용을 줄이기 위한 가상 시스템에서 네트워크 시뮬레이터를 제안한다. 네트워크 시뮬레이터는 테스트에 대한 시나리오를 분석하여 테스트에 따른 실제 장비에서의 메시지들을 구성하며, 테스트 시나리오에 맞게 이벤트를 발생시킴으로서 가상으로 회귀성 테스트를 가능하게 한다. 설계된 네트워크 시뮬레이터는 우선적으로 모바일 환경에서 테스트를 시행하여, 가상 이벤트 구성과 동작의 기능을 검증하는데 사용되었다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04b
• /
• pp.400-403
• /
• 2002

디지털 방송 시대가 개막되었다. Digital TV 소프트웨어는 디지털 방송을 위한 수신기 시스템이다. 복잡한 입력 데이터를 처리하기 때문에 시스템 자체도 복잡하고 방대해 Digital TV 소프트웨어를 테스트하는 것은 쉽지 않다. 본 논문은 MPEG-2 TS 표준 형식의 입력 데이터를 이용하여 테스트 데이터를 생성했던 기존 연구를 확장하여 Digital TV 소프트웨어의 특정 모듈을 테스트 하는 방안에 대해 제안한다. Digital TV 소프트웨어의 모듈을 분석하여 테스트 시나리오를 추출하고 테스트 시나리오에 MPEG-2 TS와의 연관관계를 적용하여 데스트 데이터를 생성한다. 본 논문에서 제안만 기법을 사용하면 D-TV 소프트웨어의 특정 모듈을 테스트 하는데 적합한 테스트 데이터를 선정할 수 있을 것이다