• 정보과학회 논문지
• /
• 제43권9호
• /
• pp.1015-1025
• /
• 2016

소프트웨어 테스트에 대한 중요도는 오늘날의 산업 전반적으로 커지고 있으며 효과적인 테스트를 지원하기 위한 많은 방법들이 연구되고 있다. 이에 테스트 설계를 위해 시스템의 요구사항을 정형화하는 방법으로 모델 기반 테스트가 주로 사용되고 있는데, 반복과 동시성 작업을 포함하는 복잡한 시스템의 경우 경로 폭발을 야기하기 쉬운 문제가 있다. 특히 동시성 작업의 경우 Thread가 추가될수록 기하급수적인 수의 테스트 시나리오가 발생하게 되는데, 기존의 방법으로는 이를 해결하기 어렵다는 문제가 있다. 본 논문에서는 동시성 경로가 가지는 작업적 특성에 주안점을 두고, 이를 탐색하는 새로운 기법으로 경로 폭발 문제를 회피하는 방법을 제안한다. 사례 연구에서는 동시성 작업을 포함하는 시스템을 액티비티 다이어그램으로 표현하고, 기존의 기법이 생성할 테스트 시나리오의 수와 비교하여 본 기법의 효과를 보인다. 본 방법은 적은 수의 테스트 시나리오를 통해 반복과 동시성 작업의 결함을 효과적으로 발견할 것임을 기대한다.

• 한국ITS학회 논문지
• /
• 제21권1호
• /
• pp.273-286
• /
• 2022

자율주행 4단계 이상에서는 차량 스스로가 목적지까지 주행하기 위해 차선 단위의 전역경로를 생성하는 것이 필수적이며, 이를 위해 정밀도로지도 활용에 관한 연구가 활발히 진행되고 있다. 정밀도로지도 기반 전역경로 생성을 위해서는 정확한 링크 정보를 통해 도로 네트워크를 구축하는 것이 필수적인데, 현재 공개된 정밀도로지도는 이 부분의 구현을 어렵게 하는 다양한 오류를 포함하는 것을 볼 수 있다. 이러한 배경을 바탕으로 본 연구에서는 정밀도로지도 기반 전역경로 생성을 위한 링크 오류 개선 및 도로 네트워크 구축에 관한 연구를 수행하였다. 전역경로 생성에 치명적일 수 있는 오류를 검출하고 링크를 포함한 정밀도로지도의 정보들을 활용하여 도로 네트워크를 구축하는 전처리 알고리즘을 개발하였다. 제안하는 방법을 통하여 실제 정밀도로지도로부터 정확한 전역경로를 생성할 수 있는 것을 확인함으로써 본 연구의 유효성을 검증하였다.

• 한국정밀공학회지
• /
• 제13권12호
• /
• pp.142-150
• /
• 1996

Nowadays, as the development paeiod of new products becomes even shorter, the importance of Rapid Prototyping Technology(RPT) has been rapidly increased. The major application of RPT is an early verification of product designs and quick production of prototypes for testing. Moreover, RPT is applied not only as a second tooling process such as mold making and investment casting but also as a creating some physical structure in medical field. Despite the remarkable progress of RPT, it is required to improve various problems resulting from application such as production time, accuracy and materials. This paper presents a laser scan path generation for accuracy of stereolithographicparts The methodology of laser scan path generation is discussed based on the stereolithography, The procedure of this research is as follows : 1) Input laser scanning conditions such as a laser beam diameter and a laser scanning interval, 2) Reconstruct original contours without self intersecting offset, 3) Calculate offset about reconstructed contours, 4) Calculate intersection points between horizontal or vertical lines and offset contours for internal hatch, 5) Decide laser shutter on/off points. The algorithm developed and programmed by C language is verified as an efficient method after testing a number of STL files of mechanical parts.

• Journal of Information Processing Systems
• /
• 제7권2호
• /
• pp.363-384
• /
• 2011

As the complexity of software is increasing, generating an effective test data has become a necessity. This necessity has increased the demand for techniques that can generate test data effectively. This paper proposes a test data generation technique based on adequacy based testing criteria. Adequacy based testing criteria uses the concept of mutation analysis to check the adequacy of test data. In general, mutation analysis is applied after the test data is generated. But, in this work, we propose a technique that applies mutation analysis at the time of test data generation only, rather than applying it after the test data has been generated. This saves significant amount of time (required to generate adequate test cases) as compared to the latter case as the total time in the latter case is the sum of the time to generate test data and the time to apply mutation analysis to the generated test data. We also use genetic algorithms that explore the complete domain of the program to provide near-global optimum solution. In this paper, we first define and explain the proposed technique. Then we validate the proposed technique using ten real time programs. The proposed technique is compared with path testing technique (that use reliability based testing criteria) for these ten programs. The results show that the adequacy based proposed technique is better than the reliability based path testing technique and there is a significant reduce in number of generated test cases and time taken to generate test cases.

• 로봇학회논문지
• /
• 제5권4호
• /
• pp.332-338
• /
• 2010

This paper presents a study of path-planning method for AGV(automated guided vehicle) based on path-tracking. It is important to find an optimized path among the AGV techniques. This is due to the fact that the AGV is conditioned to follow the predetermined path. Consequently, the path-planning method is implemented directly affects the whole AGV operation in terms of its performance efficiency. In many existing methods are used optimization algorithms to find optimized path. However, such methods are often prone with problems in handling the issue of inefficiency that exists in system's operation due to inherent undue time delay created by heavy load of complex computation. To solve such problems, we offer path-planning method using modified binary tree. For the purpose of our experiment, we initially designed a AGV that is equiped with laser navigation, two encoders, a gyro sensor that is meant to be operated within actual environment with given set of constrictions and layout for the AGV testing. The result of our study reflects the fact that within such environments, the proposed method showed improvement in its efficiency in finding optimized path.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제31권10호
• /
• pp.1304-1319
• /
• 2004

프로그램 시험 비용은 테스트 데이타를 생성하는 과정을 자동화함으로써 상당히 줄일 수 있다. 테스트 데이타 생성은 보통 선택된 프로그램 경로를 실행하는 입력 값들을 식별하는 데 주안점을 둔다. 지금까지 많은 연구가 있어왔지만 여전히 해결해야할 문제가 있다 그러한 문제들 중에 모양 문제가 있다. 모양 문제는 주어진 프로그램 경로를 수행하기 위해 요구되는 입력 자료구조를 밝혀내는 문제이다. 이 논문에서 이 모양 문제에 대한 새로운 방법을 제시한다. 이 방법은 주어진 경로를 포인터 역 참조가 없는 정적단일 할당문 (Static Single Assignment, SSA) 형태로 변환한다. 이는 주어진 경로 상에 존재하는 각 프로그램 문장을 등식이나 부등식과 같은 제약식으로 간주할 수 있게 해준다. 이러한 제약식에 대한 해는 각 입력 변수에 대한 'points-to relation' 형태로 나타난다. 간단한 예들을 통하여 제안한 방법에 대해 설명한다.에 대해 설명한다.

• 전자공학회논문지A
• /
• 제29A권9호
• /
• pp.85-93
• /
• 1992

In this paper, the new timing optimization algorithm for combinational networks is proposed. First, we introduce the concept of P-path redundancy which is the extension of redundancy concept used in the testing of combinational networks. In this approach, the critical delay is minimized by removing the P-path redundant side inputs of the critical path, and more accurate timing optimization is possible by systematically considering the statically unsensitizable paths as well as the statically sensitizable paths. It's possible with all previous longest path based approaches that the critical delay of resulting network after timing optimization may be even increased. However, the proposed method guarantees to exclude such a possibility, and can be applied to optimize the timing of combinational networks in technology independent, and dependent phase.

• 한국정밀공학회지
• /
• 제11권4호
• /
• pp.88-98
• /
• 1994

A new local path planning algorithm for free-ranging robots is proposed. Considering that a laser range finder has the excellent resolution with respect to angular and distance measurements, a simple local path planning algorithm is achieved by a directional weighting method for obtaining a heading direction of nobile robot. The directional weighting method decides the heading direction of the mobile robot by estimating the attractive resultant force which is obtained by directional weighting function times range data, and testing whether the collision-free path and the copen parthway conditions are satisfied. Also, the effectiveness of the established local path planning algorithm is estimated by computer simulation in complex environment.

• 비파괴검사학회지
• /
• 제2권1호
• /
• pp.10-16
• /
• 1982

This study was carried out to measure the flaw height of welds in consideration of the effective probe angle in ultrasonic oblique detection. Specimens with inserted artificial flaws were made and flaw heights were estimated from detecting these specimens. Two different methods were applied to estimate flaw heights. From the result of the experiment, flaw height could be measured within the accuracy of 15% percent error and the difference between the probe distance method and beam path method is about 5% relatively small. It is considered that the results obtained this experimental study could be helpful informal ions for measuring flaw height.

• 한국통신학회논문지
• /
• 제19권6호
• /
• pp.1038-1045
• /
• 1994

본 논문에서는 CAM에서 발생하는 모든 PSF(Pattern Sensitive Fault)를 검사하기 위한 알고리즘과 테스트회로를 설계하였다. 즉, 짧은 시간에 최소의 부가회로를 이용하여 외부의 장비에 의존하지 않고 테스트하는 내장 테스트회로를 설계하였다. 부가적으로 첨가된 회로로는 병렬비교기와 오류검출기가 있고, 병렬테스팅을 위해서 수정된 디코더를 사용하였다. 또한, 효과적인 테스트패턴을 구하기 위해 Eulerian path의 구성방법에 대해서도 연구를 수행하였다. 결과적으로, 본 논문에서 사용한 알고리즘을 사용하면 워드수에 관계없이 324+2b(b:비트수) 만큼의 동작으로 CAM의 모든 내용을 테스트할 수 있다. 전체 회로중에서 테스트회로가 차지하는 면적은 약 7.5%정도가 된다.