• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2010년도 한국컴퓨터종합학술대회논문집 Vol.37 No.1(B)
• /
• pp.1-5
• /
• 2010

정렬 알고리즘에서 사용한 원소 간 비교횟수를 기준으로, 비교횟수가 많게 되는 순열을 최악의 인스턴스(worst-case instance)라 명명하고 이를 찾기 위해 유전 알고리즘(genetic algorithm)을 사용하였다. 잘 알려진 퀵 정렬(quick sort), 머지 정렬(merge sort), 힙 정렬(heap sort), 삽입 정렬(insertion sort), 쉘 정렬(shell sort), 개선된 퀵 정렬(advanced quick sort)에 대해서 실험하였다. 머지 정렬과 삽입 정렬에 대해 탐색한 인스턴스는 최악의 인스턴스에 거의 근접하였다. 퀵 정렬은 크기가 증가함에 따라 최악의 인스턴스 탐색이 어려웠다. 나머지 정렬에 대해서 찾은 인스턴스는 최악의 인스턴스인지 이론적으로 보장할 수 없지만, 임의의 1,000개 순열을 정렬해서 얻은 비교횟수들의 평균치보다는 훨씬 높았다. 본 논문의 최악의 인스턴스를 탐색하는 시도는 알고리즘의 성능 검증을 위한 테스트 데이터를 생성한다는 점에서 의미가 크다.

• 한국지하수토양환경학회:학술대회논문집
• /
• 한국지하수토양환경학회 2000년도 추계학술대회
• /
• pp.302-306
• /
• 2000

In case of applying electrokinetic remediation, magnitude of electric current is one of major factors for estimation of contaminant transport. In practice, electric current provide determination of electric conductivity based on specimen resistance. Electric current variation is produced during Electrokinetic remediation test. Electric current is decreased by expotential function according to time in condition of constant voltage. This can be interpreted as precipitation effect by OH$^{-10}$ generation in a cathode.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 가을 학술발표논문집 Vol.29 No.2 (2)
• /
• pp.61-63
• /
• 2002

복잡한 하드웨어 및 소프트웨어를 설계함에 있어 그 안정성에 대한 보장이 매우 중요하다. 이를 위해 정형 검증이나 테스팅과 같은 많은 기법을 활용하고 있다. 그러나 안정성 검증을 위해 시스템을 모델링하고 데스트 케이스를 만드는 과정에서 상태 폭발에 따른 메모리의 한계에 부딪히게 된다. 본 논문에서는 이러한 문제를 해결하고, 메모리를 효율적으로 이용할 수 있는 탐색방법을 이용한 데스트 케이스 생성 알고리즘을 제안한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 가을 학술발표논문집 Vol.28 No.2 (1)
• /
• pp.379-381
• /
• 2001

컴포넌트기반 소프트웨어의 신뢰도를 높이기 위해서 개별 컴포넌트의 데스팅과 더블이 통합된 컴포넌트들이 올바르게 동작하는지 테스팅할 필요가 있다. 이 논문에서는 컴포넌트기반 소프트웨어에서 컴포넌트의 구성과 통신에 관한 정보를 얻기 위해 아키텍쳐 기술에서 제어 의존성과 자료 요소를 식별하여 테스트 모델을 구축한다. 구축한 테스트 모델에서 테스트의 단위가 되는 OFU(Observable functional Unit)을 식별하고 자료 의존성을 이용하여 OFU의 수행 순서를 결정한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 봄 학술발표논문집 Vol.31 No.1 (B)
• /
• pp.424-426
• /
• 2004

인터넷을 기반으로 하는 웹 어플리케이션의 급성장으로 웹 어플리케이션의 품질에 대한 요구가 중요시되고 있으며 웹 기반 어플리케이션에 대한 품질을 보증하는 연구가 활발히 진행되고 있다. 또한 품질을 보증하기 위한 설러 가지 방법이 연구되고 있으며, 테스트를 위한 많은 도구들이 존재하고 있다. 하지만 웹 어플리케이션의 테스트는 웹의 다양한 구성요소라는 특성으로 테스트하기에 어려움이 있다. 이 논문에서 는 웹 기반 어플리케이션의 테스팅을 보다 효율적으로 진행하기 위해 웹의 상태를 논리 흐름에 따라 구분하고 Composition ＆ Transition Rule을 적용하여 웹 페이지의 전체적인 테스팅을 커대할 수 있는 테스트 케이스를 생성하는 방법을 제안하고 설명한다.

• 한국군사과학기술학회지
• /
• 제20권5호
• /
• pp.688-699
• /
• 2017

Model-based test, a well-known method of the black box tests, is consisted of the following four steps : model construction using requirement, test case generation from the model, execution of a SUT (software under test) and detection failures. Among models constructed in the first step, state-based models such as UML standard State Machine are commonly used to design event-based embedded systems (e.g., weapon control systems). To generate test cases from state-based models in the next step, coverage-based techniques such as state coverage and transition coverage are used. Round-trip path coverage technique using W-Method, one of coverage-based techniques, is known as more effective method than others. However it has a limitation of low failure observability because the W-Method technique terminates a testing process when arrivals meet states already visited and it is hard to decide the current state is completely same or not with the previous in the case like the GUI environment. In other words, there can exist unrevealed faults. Therefore, this study suggests a Extended W-Method. The Extended W-Method extends the round-trip path to a final state to improve failure observability. In this paper, we compare effectiveness and efficiency with requirement-item-based technique, W-Method and our Extended W-Method. The result shows that our technique can detect five and two more faults respectively and has the performance of 28 % and 42 % higher failure detection probability than the requirement-item-based and W-Method techniques, respectively.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2017년도 춘계학술발표대회
• /
• pp.618-620
• /
• 2017

Currently, IoT mobile applications are growing fast in number and complexity. As a result, the applications quality issue became crucial, hence to ensure their quality a proper testing is highly required. Testing such mobile applications is always tedious, time-consuming and expensive. To cope with these issues, we propose a testing approach using activity diagram with data flow information. The main functionality of IoT applications is exposing the meaningful data obtained from the sensors to the users by doing a lot of analysis, comparison, and computation. Therefore, our focus is on identifying and selecting the most appropriate paths at which calculation is taking place and the paths at which predicate exists. In our case study, we have used a real-world IoT mobile application and identified a total of ten test paths with two predicate uses and two computation uses through an example. With applying only this four critical paths, we can adequately test the application's core functionalities while significantly reduce the testing effort and cost.

• 국제학술발표논문집
• /
• The 2th International Conference on Construction Engineering and Project Management
• /
• pp.739-748
• /
• 2007

The objective of this research study is to develop the permutation-based genetic algorithm for solving the resource-constrained project scheduling problem in construction engineering by incorporating elitism into genetic algorithm. A key aspect of the algorithm was the development of the elitist roulette selection operator to preserve the best individual solution for the next generation so the improved solution can be obtained. Another notable characteristic is the application of the parallel schedule generation scheme to generate a feasible solution to the problem. Case studies with a standard test problem were presented to demonstrate the performance and accuracy of the algorithm. The computational results indicate that the proposed algorithm produces reasonably good solutions for the resource-constrained project scheduling problem.

• 한국군사과학기술학회지
• /
• 제14권5호
• /
• pp.859-870
• /
• 2011

The purpose of this paper is to develop reliability analysis procedures for repairable systems with interval failure time data and apply the procedures for assessing the storage reliability of a subsystem of a certain type of guided missile. In the procedures, the interval failure time data are converted to pseudo failure times using the uniform random generation method, mid-point method or equispaced intervals method. Then, such analytic trend tests as Laplace, Lewis-Robinson, Pair-wise Comparison Nonparametric tests are used to determine whether the failure process follows a renewal or non-renewal process. Monte Carlo simulation experiments are conducted to compare the three conversion methods in terms of the statistical performance for each trend test when the underlying process is homogeneous Poisson, renewal, or non-homogeneous Poisson. The simulation results show that the uniform random generation method is best among the three. These results are applied to actual field data collected for a subsystem of a certain type of guided missile to identify its failure process and to estimate its mean time to failure and annual mean repair cost.

• 한국안전학회지
• /
• 제29권1호
• /
• pp.7-14
• /
• 2014

Inverter module, which feeds the converted power to the traction motor for EMU. Consists of the power semiconductors with their gate drive unit(GDU)s and the control computer for driving, voltage, current and speed controls. Electrolytic condenser, connected to the gate drive unit and a core component to drive the power semiconductor, has problems such as reduction in lifetime and malfunction caused by electrical and mechanical characteristic changes from heat generation during high speed switching for generation of stable power. In this study, To check the service life of electrolytic condenser, the test was carried out in two ways. First, In the case of accelerated life testing of condenser, the Arrhenius model is a way of life testing. Another way is to analyze the reliability of the failure data by the method of parametric data analysis. Eventually, life time by accelerated life test than a method of failure data analysis(Weibull distribution) was found to be slightly larger output.