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

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

• KIPS Transactions on Software and Data Engineering
• /
• v.2 no.7
• /
• pp.451-460
• /
• 2013

In order to achieve high test coverage, it is usual to generate test data using various techniques including symbolic execution, data flow analysis or constraints solving. Recently, a technique for automated test data generation that fulfills high coverage effectively without those sophisticated means has been proposed. However, the technique shows its weakness in the generation of test data that leads to high coverage for programs having branch conditions where different memory locations are binded during execution. For certain programs with flag conditions, in particular, high coverage can not be achieved because specific branches are not executed. To address the problem, this paper presents dynamic branch coverage criteria and a test data generation technique based on the notion of dynamic branch. It is shown that the proposed technique compared to the previous approach is more effective by conducting experiments involving programs with flag conditions.

• Journal of Internet Computing and Services
• /
• v.1 no.1
• /
• pp.105-113
• /
• 2000

The representation of a procedural program cannot be applied directly to object oriented program representation consisting of class, object, inheritance, and dynamic binding. Furthermore, preexisting program dependence represented the dependence among statements, but not among variables. That is, it could not solve the problem of which variables make an effect on given variables. Consequently, this study presents the method dependence model representing implementation level information including the dependence among variables in an object oriented program. I also propose implementation-based class testing technique based on the test adequacy criterion of an object-oriented program. Considering inter-data member dependences and a set of axioms for test data adequacy, it generates sequences of methods as test cases which satisfy a flow graph-based testing criterion. For a derived class testing, it considers inheritance relationship and the resuability of the testing information for its parent classes which verified the reduction of test cost through the experiment.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10c
• /
• pp.52-54
• /
• 2003

분산 컴퓨팅 환경에서 동작할 프로그램을 보다 쉽게 작성하기 위한 다양한 형태의 분산프로그래밍 도구들이 개발되어왔다. 그러나, 이러한 도구들을 이용하기 위해서는 각각의 도구가 요구하는 프로그래밍 방법을 숙지하여야 하는 부담을 감수해야 한다. 이런 부담은 분산프로그래밍 도구가 만족할 만한 프로그래밍 투명성을 제공하지 못하기 때문이고, 프로그램 작성시, 문제의 본질에만 집중하는 것을 방해한다. 본 논문에서는 프로그래밍 투명성을 지원하는 분산프로그래밍 도구를 개발하기 위한 방법을 제안한다. 제안된 방법의 테스트를 위하여 독자적인 분산실행환경을 설계하였으며, 이 환경에서 동작하는 분산 프로그램을 작성하여 단위테스트를 수행하였다. 이 프로그램은 분산처리를 위하여 특별히 정의된 문법(Syntax)을 전혀 사용하지 않았으며, 후처리만을 통하여 설계된 분산실행환경에서 분산프로그램의 역할을 수행한다.

• The KIPS Transactions:PartD
• /
• v.15D no.4
• /
• pp.495-504
• /
• 2008

Aspect Oriented Programming(AOP) is a relatively new programming paradigm and has properties that other programming paradigms don't have. This new programming paradigm provides new modularization of software systems by cross-cutting concerns. In this paper, we propose a regression test method for program evolution by AOP. By using JoinPoint, we can catch a pointcut-name which makes it possible to test the incorrect pointcut strength fault and the incorrect aspect precedence fault. Through extending proof rules to aspect, we can recognize failures to establish expected postconditions faults. We can also trace variables using set() and get() pointcut and test failures to preserve state invariant fault. Using control flow graph, we can test incorrect changes in control dependencies faults. In order to show the correctness of our proposed method, channel management system is implemented and tested by using proposed methods.

• Proceedings of the Korean Information Science Society Conference
• /
• 2006.06c
• /
• pp.184-186
• /
• 2006

테스트 주도 개발은 익스트림 개발 방법론의 바탕이 되는 방법론이다. 테스트 주도 개발은 소스 코드를 구현을 하기 전에 테스트 케이스를 먼저 만드는 작성한다. .Net 개발 환경에서 테스트 주도 개발을 하기 위해 NUnit 이라는 유닛 테스트 프레임워크를 많이 사용하고 있다. [1] 본 논문은 NUnit 유닛 테스트 프레임워크를 기반으로 리플랙션을 사용하여 유닛 테스팅 자동화 도구의 제작을 위한 프레임워크를 제안한다. 그리고 이 프레임워크를 이용하여 유닛 테스트 뼈대를 자동으로 생성하는 프로그램을 구현하였다.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2013.07a
• /
• pp.423-426
• /
• 2013

본 연구에서는 임분 단위에서 산림의 이산화탄소 흡수 및 저장 기능을 최적화 할 수 있는 최적의 산림시업체계를 도출하고자하였고, 이를 위해 임분 생장모델과 Simulated Annealing 휴리스틱 기법을 적용하여 임분탄소 최적화 프로그램을 개발하였다. 휴리스틱 알고리즘에서 최적해를 찾기 위해 반복 실행 되는 과정에서 더 이상 최적해을 찾지 못하고 목표 값이 어떤 일정한 값(Local Optimum)에 계속 머무는 현상을 해결하기 위해 임계치를 적용하며, SA 휴리스틱 기법에서는 열균형테스트를 이용하고 있다. 개발된 프로그램을 이용하여 3가지 산림 시업 시나리오에 대한 비교 분석을 실시하기 위해 프로그램을 실행한 결과, 목재수확량의 경우 목재수확량을 최대를 목표로 한 대안이 3개 시나리오 가운데 목재수확량이 가장 높은 것으로 나타났으며, 또한 탄소저장량에서도 탄소저장량을 최적화한 대안이가 탄소저장량이 가장 높은 것으로 나타나 프로그램이 목적에 맞게 개발된 것으로 판단됐다. 또한 열균형 테스트의 온도저감율을 조정하여 프로그램을 반복실행하여 온도저감율이 프로그램 실행 시에 미치는 영향을 분석한 결과 온도저감율에 따라 출력되는 목적함수의 최적값과 프로그램 반복횟수가 영향을 받는 것으로 나타나 프로그램 실행을 최적으로 하기위해 온도 저감율의 파라미터 값을 0.1로 설정하였다.

• Proceedings of the KIEE Conference
• /
• 2007.07a
• /
• pp.1593-1594
• /
• 2007

모든 장비의 내구성 및 성능 테스트에 있어서 주위 환경 또는 실험 조건 내의 온도 및 습도의 변화는 절대적으로 필요하다. 실용화를 위한 모든 제품은 극한의 상황에서의 테스트가 필수적이며 이를 위한 온도 및 습도 변화가 중요한 변수로 작용한다. 따라서 자동화를 위해서는 항온 항습 컨트롤러를 PC에서의 제어 및 모니터링이 절실하게 요구된다. 본 연구에서는 LabVIEW에 의한 RS-232C 통신 방법을 이용하여 항온 항습 컨트롤 프로그램을 개발하였다.

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

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

• The Journal of the Korea Contents Association
• /
• v.12 no.11
• /
• pp.39-48
• /
• 2012

It is well known that software testing amounts for a significant portion of software development cost. In order to reduce the cost of software testing. a lot of researches on automated test data generation have been performed. Sophisticated tools for performing symbolic execution or solving a system of path constraints are required to support automated test data generation. Developing or purchasing those tools leads to another factor of increasing the cost involving software testing. In this paper, we propose a dynamic test data generation approach that does not depend on symbolic execution or constraint solving at all. The proposed approach extends Korel's path-oriented method to satisfy the branch coverage criterion effectively. We conducted an experiment to evaluate the effectiveness of the proposed technique with a triangle classification program to show that branch coverage can be easily achieved.