• The Transactions of the Korea Information Processing Society
• /
• v.5 no.5
• /
• pp.1225-1233
• /
• 1998

An important issue for software developers is to determine when to stop testing the software system and release it to users. Generally the release time is specified by the number of detected faults or the testing time needed to meet the reliability requirement. Software reliability directly depends on the number of remaining or corrected faults. All the detected faults are not always corrected under imperfect debugging environment. We therefore need a new approach to software release policy for imperfect debugging. This paper suggests a software release policy, which guarantees that the reliability requirement has been achieved. The suggested policy is then implemented and illustrated for specific SRGMs.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2001.10b
• /
• pp.1553-1556
• /
• 2001

무선 이동 통신 인구의 증가와 무선 서비스에 대한 수요는 증가하고 있으며 이에 맞추어 무선휴대 장치의 성능도 빠르게 발전을 하고 있다. WAP 포럼에서 제정한 WML(Wireless Markup Language)을 사용한 무선 컨텐츠의 제작이 활발하게 이루어지고 있는 가운데 보다 더 동적인 WML 무선 컨텐츠의 요구가 증가하고 있다. 그로 인해 개발자가 실제와 같은 상황에서 WML과 WML Script 컨텐츠를 편리하게 테스팅 할 수 있는 환경이 필요하게 되었다. 따라서 본 논문에서는 CP(Content Provider)들이 작성된 WML(Wireless Markup Language) 컨텐츠(Content)를 쉽고 편리하게 브라우징하면서 테스팅 하기 위하여 필수적으로 요청되는 WAP(Wireless Application Protocol) 에뮬레이터 및 무선컨텐츠 제작에 필수적인 WMLScripts 해석기의 설계 및 구현에 대해 기술한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2001.04b
• /
• pp.1153-1156
• /
• 2001

지난해부터 무선 인터넷 관련 시장의 급속한 확산으로 인해 사용자들의 다양한 요구에 부응하기 위한 무선 컨텐츠가 요청되고 있다. 그로 인해 개발자가 실제와 같은 상황에서 WML과 WML Script 컨텐츠를 편리하게 테스팅 할 수 있는 환경이 필요하게 되었다. 본 논문에서는 CP(Content Provider)들이 작성된 WML(Wireless Markup Language) 컨텐츠(Content)를 쉽고 편리하게 브라우징하면서 테스팅 하기 위하여 필수적으로 요청되는 WAP(Wireless Application Protocol) Emulator의 설계와 구현에 대하여 기술한다. 본 논문에서는 서술된 WAP Emulator는 WAP 핸드폰에 탑재되는 것과 동일한 기능을 보유하는 WAP 스택 및 WMLScript 가상머신을 지원하여 실제 핸드폰과 거의 유사한 기능을 제공한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2012.06b
• /
• pp.193-195
• /
• 2012

소프트웨어 시스템의 신뢰성과 안정성을 보장하기 위해서는 시스템에 내재된 결함을 가능한 많이 줄이는 것이 중요하다. 이는 테스팅을 통해 수행할 수 있으며, 상태 다이어그램을 기반으로 한 테스팅 기법들이 많이 연구되고 있다. 이러한 연구들은 상태와 전이의 경로 커버리지에 초점을 두고, 메시지 시퀀스에 따른 테스트를 고려한다. 하지만 메시지 시퀀스에 따른 테스트 케이스는 모두 정상적인 환경의 테스트 데이터를 반영하고, 그에 따라 무효한 테스트에 취약성을 보인다. 따라서 본 논문에서는 부가적인 산출물을 최소화하고, 시스템의 예외처리를 강화하기 위해 가상의 비정상 전이와 상태를 추가하여 상태 다이어그램으로부터 무효한 테스트 케이스를 도출하는 방법을 제안한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2019.10a
• /
• pp.664-667
• /
• 2019

소프트웨어 개발 주기의 마지막 단계인 테스팅 단계의 가치 및 중요도가 높아짐에 따라, 소프트웨어 테스팅 자동화 도구에 대한 수요 역시 비례하여 증가하는 추세이다. 이에 테스트 자동화 도구를 개발하여 테스트 기간 및 소요 인력, 비용을 감소시킴과 동시에 테스트 성능은 유지 혹은 개선시켜 소프트웨어 품질을 향상시키고자 한다. 본 연구에서는 Rule-based random testing 을 위한 테스트케이스 자동 생성 프로그램을 개발하고 이를 위한 테스트케이스 자동 생성 알고리즘을 제안한다.

• Proceedings of the Korean Institute of Communication Sciences Conference
• /
• 2006.07a
• /
• pp.610-610
• /
• 2006

• Communications of the Korean Institute of Information Scientists and Engineers
• /
• v.31 no.5
• /
• pp.63-72
• /
• 2013

• Journal of KIISE:Software and Applications
• /
• v.33 no.4
• /
• pp.388-401
• /
• 2006

A tool for analyzing and testing software in real-time is required for the efficient development of highly reliable real-time mobile embedded software This too] requires various technologies, such as source code based white-box test and real-time system monitoring and control. The tool also should be designed to improve reusability and portability by considering the interaction with other kinds of real-time system. This paper identifies and analyzes the functional requirements for the test tool on real-time mobile embedded software and suggests an adequate tool architecture based on the collected requirements. It also suggests the specific implementation technology and architecture design pattern to support the tool's expandability and portability.

• The Transactions of the Korea Information Processing Society
• /
• v.6 no.9
• /
• pp.2384-2392
• /
• 1999

Software engineers are used to analyse the error behavior of computer programs using test cases which are collected for the testing phase when software errors are detected. In actual software testing and debugging, it is important to adopt dynamic slicing technique which is concerned on all the statements to be affected by the variables of current inputs and to use technique of its implementations. The traditional dynamic slicing has focused on the single slicing criterion algorithm. It has been thought that it is needed to develope and implement algorithm for used multiple criteria variables program slicing, which finds every slicing criterion variable where it is used multiple criteria variables. In this paper, we propose an efficient algorithm to make dynamic program slices when it has used multiple criteria variables. The results of the implementation are presented by the making table on execution history and the dynamic dependence graph. Also we can find that the proposed dynamic program slicing approach using multiple criteria variables is more efficient than the traditional single case algorithm on the practical testing environment.

• Journal of KIISE:Software and Applications
• /
• v.36 no.6
• /
• pp.451-461
• /
• 2009

The Adaptive Random Testing(ART) aims to improve the performance of traditional Random Testing(RT) by reducing the number of test cases to find the failure region which is located in the input domain. Such enhancement can be obtained by efficient selection algorithms of test cases. The ART through Iterative Partitioning(IP-ART) is one of ART techniques and it uses an iterative input domain partitioning method to improve the performance of early-versions of ART which have significant drawbacks in computation time. And the IP-ART with Enlarged Input Domain(EIP-ART), an improved version of IP-ART, is known to make additional performance improvement with scalability by expanding to virtual test space beyond real input domain of IP-ART. The EIP-ART algorithm, however, have the drawback of heavy cost of computation time to generate test cases mainly due to the virtual input domain enlargement. For this reason, two algorithms are proposed in this paper to mitigate the computation overhead of the EIP-ART. In the experiments by simulations, the tiling technique of input domain, one of two proposed algorithms, showed significant improvements in terms of computation time and testing performance.