• The KIPS Transactions:PartD
• /
• v.16D no.4
• /
• pp.517-526
• /
• 2009

It is possible to indicate the complex design and execution of object-oriented program with dynamic UML diagram. This paper shows the way how to make several test cases from sequence, state, and activity diagram among dynamic UML diagram. Three dynamic UML diagrams about withdrawal work of ATM simulation program are drawn. Then different test cases are created from these diagrams using previously described ways. To evaluate effectiveness of test cases, mutation testing is executed. Mutants are made from MuClipse plug-in tool based on Eclipse which supports many traditional and class mutation operators. Finally we've got the result of mutation testing and compare effectiveness of test cases, etc. Through this document, we've known some hints that how to choose the way of making test cases.

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

일반적으로 테스트 데이터 자동 생성을 지원하기 위해 심볼릭 실행기나 제약 해결기와 같은 도구를 요구한다. 그러나 이와 같은 도구들을 개발하는 것은 상당한 노력이 요구되는 것도 사실이다. 이 논문에서는 이러한 도구들의 지원 없이 분기 커버리지를 효과적으로 달성할 수 있는 테스트 데이터 생성 방법을 제안한다. 이를 위해 경로 지향 테스트 데이터 생성을 위해 개발된 Korel의 방법을 확장하여 프로그램의 분기들을 가능한 많이 실행할 수 있는 테스트 데이터를 효과적으로 생성하는 방법을 제안한다.

• 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 Institute of Navigation and Port Research Conference
• /
• 2018.11a
• /
• pp.313-315
• /
• 2018

S-Mode는 항해에 필요한 정보들을 확인하기 위하여 주요 항해장비의 기능과 화면, 작동법등을 표준화하는 기능이다. 국제해사기구는 S-Mode의 항해장비 적용을 위한 가이드라인 개발을 진행 중에 있다. 본 연구는 S-Mode 적용을 위한 사용자 의견과 선호도를 조사하여 지침 개발에 반영하기 위해 수행되었다. 항해장비 중 ECDIS를 대상으로, 사용자 선호도 조사를 위한 테스트 프로그램을 구성하였다. 웹기반의 테스트 프로그램을 통해 선호도 조사를 실시하였으며, ECDIS 사용자들이 항해당직 수행 시 선호하는 정보의 내용과 화면배치를 확인하였다. 연구의 결과는 S-Mode에 고려할 사용자 요구 사항을 제시함으로써, 실효성 있는 지침 개발에 기여할 수 있을 것이다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2004.11a
• /
• pp.709-712
• /
• 2004

응용프로그램이 복잡해지고 사용 환경이 다양해짐에 따라 신뢰성 높은 소프트웨어 생산을 위한 테스트가 중요시 되고 있다. 소프트웨어를 테스트하기 위해서는 각 기능에 따라 동작하는 모듈이 합당한 동작에 대해서 분석해야한다. 모듈은 다수의 실행경로로 이루어져 있으며 각 실행 경로에 따라 다른 결과를 출력하도록 설계되어 있다. 본 논문은 실행 경로에 따른 모듈의 인자를 자동으로 생성할 수 있는 방법을 제안한다. 프로그램은 블록간의 제어문 결합으로 이루어져 있고 다른 실행 경로를 생성하는 요인은 프로그램내의 제어문을 통해 결정된다. 그러므로 블록간의 결합을 제어의 종류에 따라 연산으로 표현하고 연산의 특성을 분석한다. 그리고 블록의 속성은 조건식을 가지고 있어 블록이 실행되는 조건을 표현한다. 각 연산의 특성에 맞게 조건식을 연산하여 블록이 동작하는 조건을 확인하고 최종적으로 실행 경로에 따른 모듈의 인자를 구하는 방법을 제안한다. 이 방법은 조건식에 영향을 주는 명령만을 추출하는 방법으로 인자를 구하기 위한 계산의 로드를 줄이는 장점이 있다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2010.04a
• /
• pp.918-921
• /
• 2010

본 연구에서는 Simulink Model(이하 Model)을 C Code 로 변환시켜주는 자동 코드 생성기, SimAutoCodeGenerator 를 제안하였다. Model 의 테스트케이스를 생성하기 위한 작업에서 반복적인 프로그램의 실행을 통한 테스터와의 다양한 피드백이 필요하다. 이때, Simulink는 이런 작업을 하는 데 있어서 적절한 정보를 제공하기 어려울 뿐만 아니라 테스트 케이스를 생성하는데 필요한, 실행 시 특정 시점으로 돌아가는 기능을 수행하기 위해서는 프로그램을 정지한 후 다시 실행해야하는 문제점을 가지고 있다. 본 연구에서는 이와같은 단점을 보완하기 위하여 Model 을 C 코드로 변환하였다. 생성된 C 코드는 Model 과의 일치성을 증명한 후 자동 테스트케이스 생성을 위한 프로그램에 쓰이게 될 것이다. 먼저 C 코드의 생성 메커니즘을 알아보고 생성된 C 코드와 Model 의 일치성을 증명하였다.

• The KIPS Transactions:PartD
• /
• v.14D no.6
• /
• pp.675-688
• /
• 2007

Memory access errors are frequently occurred in C programs. A number of tools and research works have been trying to detect the errors automatically. However, they have one or more of the following problems: inability to detect all memory errors, changing the memory allocation mechanism, incompatibility with libraries, and excessive performance overhead. In this paper, we suggest a new method to solve these problems, and then present a result of comparison to the previous research works through the experiments. Our approach consists of two phases. First is to transform source code at compile time through inserting instrumentation into the source code. And second is to detect memory errors at run time with a bitmap that maintains information about memory allocation. Our approach has improved the error detection abilities against the binary code analysis based ones by using the source code analysis technique, and enhanced performance in terms of both space and time, too. In addition, our approach has no problem with respect to compatibility with shared libraries as well as does not need to modify memory allocation mechanism.

• Journal of the Korea Society of Computer and Information
• /
• v.5 no.2
• /
• pp.7-13
• /
• 2000

I 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 Safety Management and Science Conference
• /
• 2012.04a
• /
• pp.175-180
• /
• 2012

최근 GPS와 Wi-Fi가 내장된 스마트폰의 보급으로 이를 이용한 위치기반 서비스(Location-based Service)가 발전하고 있다. 하지만 위치기반 서비스들의 오차 범위는 3~4m 내외로 크기 때문에 사용자들은 더 정확한 위치를 제공하기를 바라고 있다. 본 논문에서 위치기반 서비스의 핵심기능을 담당하는 측위기술 중 흔히 사용되고 있는 삼각측량법을 활용하여 핑거프린트 방법의 측위오차를 줄일 수 있는 방안을 연구하였고 프로그램으로 구현한 후 테스트를 실시하였다. 프로그램은 Labview2010으로 구현하였고, 각각의 알고리즘을 모듈화하여 필터링 적용 전 후 및 개선효과를 비교하기 쉽도록 구성하였다. 실내 테스트는 인하대학교의 강의실에서 실시하였고 실외 테스트는 인하대학교 운동장에서 실시하였다. 테스트 결과 실내의 경우 본 논문에서 제시하는 필터링 방법을 적용하기 전의 오차가 1.02미터에서 0.83미터로 감소하였고 실외에서는 0.74미터에서 0.54미터로 오차가 감소하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2010.04a
• /
• pp.938-941
• /
• 2010

다수의 사용자들이 동시에 사용하는 컴퓨터에서 동시에 여러 프로그램을 실행 시 각각의 프로그램들은 큐를 통하여 자원을 할당받아 프로그램을 실행한다. 이러한 자원은 크게 CPU와 메모리로 나눌 수 있는데 이러한 CPU와 메모리 자원을 프로그램을 실행하면서 처음 작업을 실행하기 전에 정의한 자원보다 더 요구하게 되면 시스템에 문제가 발생하기도 한다. 멀티 시스템에서는 어느 특정 사용자가 자원을 독점하는 것을 예방하기 위해서 작업관리 시스템을 통하여 프로그램을 실행 가능하게 한다. IBM 컴퓨터는 작업관리 시스템으로 LoadLeveler을 사용하고 메모리 관리는 WLM(Workload Manager)을 사용한다. 이러한 프로그램 실행 시 발생되는 문제를 해결하기 위하여 시스템에서 제공하는 WLM을 이용하여 여러 가지로 시스템을 테스트하였다. 따라서 WLM 기능을 조건별로 테스트하고 설정하여 시스템의 안정성을 유지하여 전체 작업처리 효율을 증가하였다.