• 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.44 no.6
• /
• pp.595-600
• /
• 2017

Android applications are composed of one or more components. The components within an application or several applications may interact with each other primarily through intents. Such interactions may cause security and reliability issues such as broadcast theft, activity hijacking, and intent spoofing. These problems need to be resolved through testing techniques using various interaction test scenarios before an application gets launched. However, with the existing test scenario generation approach, some infeasible test scenarios may be generated since they do not consider the re-execution order based on activity setting when pressing the back button. This paper proposes a test case generation technique which removes infeasible interaction paths by utilizing the activity stack information.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10a
• /
• pp.427-429
• /
• 2000

멜티미디어 표준인 MPEG-2 TS 형태의 테스트 데이터를 자동 생성하는 도구인 TDGT(Test Data Generation Tool)를 설계하고 구현하였다. TDGT는 테스터로부터 기본적인 입력사항을 받아들이고 이를 기반으로 테스트 데이터를 자동 생성한 후 결과물로 테스트 데이터 스크립트 파일과 테스트 데이터 시나리오 파일, 테스트 데이터 커버리지 분석 결과를 테스터에게 제공한다. TDGT는 복잡하고 방대한 테스트 데이터를 생성하는데 요구되는 노력, 시간을 상당히 줄여주며 전문적인 지식이 없는 이도 쉽게 테스트 데이터를 생성할 수 있게 한다. 본 논문은 TDGT가 테스트 데이터를 자동 생성하는 구조와 TDGT의 분석을 제시하였으며 이 시스템의 prototype을 기술한다.

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

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

• Proceedings of the Korea Information Processing Society Conference
• /
• 2016.04a
• /
• pp.471-474
• /
• 2016

OpenStack는 오픈소스 클라우드 플랫폼이다. OpenStack의 기능을 테스트하기 위해서는 Tempest라는 테스팅 도구를 사용하고 있으며, Python으로 작성된 테스트 시나리오를 매개변수로써, 테스트에 사용하고 있다. 우리의 논문에서는 크라우드소싱 방법을 활용하여, 웹을 통해 쉽게 Tempest의 테스트 시나리오를 작성하고, 웹상에서 Tempest를 실행 및 결과를 확인할 수 있으며, 각각의 사용자에게 테스트 시나리오를 공유 및 개발할 수 있는 방법을 제안한다.

• 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.

• The KIPS Transactions:PartD
• /
• v.17D no.2
• /
• pp.147-156
• /
• 2010

Conformance testing for embedded software is to check whether software was correctly implemented according to software specification or not. In conformance testing, test scenarios must be extracted to cover every test cases of software. In a general way, test scenarios simply focus on testing all functions at least one time. But, test scenarios are necessary to consider efficiency of test execution. In this paper, we propose a test scenario extraction method by considering function's execution time and waiting time for user interaction. A test model is a graph model which is generated from state machine diagram and test cases in software specification. The test model is augmented by describing test execution time and user interaction information. Based on the test model, test scenarios are extracted by a modified Dijkstra's algorithm. Our test scenario approach can reduce testing time and improve test automation.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2012.11a
• /
• pp.1551-1554
• /
• 2012

차량전장용 운영체제는 안전중요(safety-critical) 소프트웨어로써 엄밀한 검증과 테스트를 필요로 한다. 엄밀한 검증은 시스템의 모든 사용 가능한 시나리오의 도출을 필요로 하며, 이것을 수작업으로 생성하는 데에는 비용과 효율성에 문제가 있다. 본 연구에서는 차량전장용 운영체제의 국제표준인 OSEK/VDX 에 명시된 제약사항을 고려한 테스트 시나리오 자동 생성기와 이를 보조하는 OSEK/VDX 시뮬레이터를 개발하여 테스트 효율의 향상과 자동화를 도모하였다. 개발된 도구는 OSEK/VDX 기반 개방형 운영체제인 Trampoline 에 적용하여 효과를 입증하였다.

• 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.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2002.04a
• /
• pp.449-452
• /
• 2002

본 논문에서는 명세를 기반으로 한 통합 테스트를 수행할 때 사용될 수 있는 시나리오 작성지원방안을 제시한다. 이를 위해 요구사항정의테이블, 프로세스정의테이블, 프로그램 대 테이블 상관도를 이용하며, 추가로 앞의 3가지 테이블 기능을 요구분서, 설계, 테스트 단계별로 나누어 한곳에서 신속 정확하게 체크할 수 있는 요구사항추적테이블을 생성한다. 본 연구의 통합 테스트를 위한 시나리오 작성 지원방안의 출력물은 시나리오 작성을 위한 지침서 역할을 한다. 그 결과 검사팀의 시나리오 작성노력을 상당부분 줄일 수 있을 뿐만 아니라 요구사항에 대한 누락을 배제하고, 해당 프로세스에 대한 테이블정보를 알 수 있으므로 테스트할 때 잘못된 값을 입력하는 것도 방지할 수 있다.