• 한국정보과학회논문지:시스템및이론
• /
• 제30권3_4호
• /
• pp.186-193
• /
• 2003

최근 몇 년 동안 디지털 시스템이 복잡성은 아주 빠르게 증가하고 있다. 비록 반도체 제조업자들이 제품에 대한 신뢰성을 높이려고 노력하고 있지만 어느 때에 시스템이 어딘가에서 결함이 발생할 것이라는 것을 알기는 불가능하다. 이렇듯이 회로가 복잡화함에 따라 테스트 생성(test generation)에 대한 잘 정리되어 있고 자동화된 방법이 필요하게 되었다. 하지만 현재 광범위하게 사용하고 있는 방법중 대부분은 한번에 하나씩의 패턴만을 넣어서 처리하는 방식이다. 이는 각각의 결함에 대해서 탐색하는데 많은 시간을 낭비하게 된다. 본 논문에서는 Exhaustive 방법을 사용하는 테스트 패턴 생성 방법 중에서 분할 기법을 적용하여 테스트 패턴을 생성한다. 또한 이 패턴을 이용하여 병렬로 패턴을 삽입함으로써 더욱 빠르게 결함을 발견할 수 있는 방법을 설계 및 구현한다.

• 전자공학회논문지B
• /
• 제30B권5호
• /
• pp.82-89
• /
• 1993

In this paper, we proposed the autonomous algorithm of pseudo-exhaustive testing for the multi-level combinational logic circuits. For the processing of shared-circuit that existed in each cone-circuit when it backtracked the path from PO to PI of CUT at the conventional verification testing, the dependent relation of PI-P0 is presented by a dependence matrix so it easily partitioned the sub-circuits for the pseudo-exhaustive testing. The test pattern of sub-circuit's C-inputs is generated using a binary counter and the test pattern of I-inputs is synthesized using a singular cover and consistency operation. Thus, according to the test patterns presented with the recipe cube, the number of test pattrens are reduced and it is possible to test concurrently each other subcircuits. The proposed algorithm treated CUT's net-list to the source file and was batch processed from the sub-circuit partitioning to the test pattern generation. It is shown that the range of reduced ration of generated pseudo-exhaustive test pattern exhibits from 85.4% to 95.8% when the average PI-dependency of ISACS bench mark circuits is 69.4%.

• 한국항공우주학회지
• /
• 제50권11호
• /
• pp.791-800
• /
• 2022

능동 진동 제어 시스템(Active vibration control system, AVCS)을 이용하여 헬리콥터 기체의 능동 진동 제어 시 우수한 진동 제어 성능을 얻기 위하여서는 진동 상쇄 하중 발생기의 개수, 위치 및 하중 방향의 조합의 최적화가 중요하다. 따라서 고려 가능한 모든 하중 발생기의 조합에 대하여 헬리콥터 기체에 대한 AVCS의 진동 제어 성능을 조사하기 위해 Exhaustive 시험 기법을 적용한 AVCS 프레임워크를 구축하였다. 로터 진동 하중 해석, 기체 진동 응답 해석 및 AVCS 시뮬레이션 연구를 수행하기 위해 DYMORE II, MSC.NASTRAN 및 MATLAB Simulink 등 다양한 프로그램을 사용하였다. 이를 이용하여 비행 속도 158 knots의 UH-60A 헬리콥터에 대한 AVCS 적용을 위한 CRFG 조합을 최적화하였다. 최적의 CRFG 조합이 적용된 AVCS를 통해 UH-60A 헬리콥터의 4P 기체 진동 응답을 능동 제어한 결과, 기체의 주요 위치에서 4P 기체 진동 응답이 19.35~98.07%만큼 감소될 수 있었다.

• 한국컴퓨터산업학회논문지
• /
• 제6권2호
• /
• pp.295-304
• /
• 2005

본 논문에서는 워드지향 메모리 내에서 셀 사이의 커플링 결함을 검출하기 위한 고갈 테스트 발생(exhaustive test generation) 문제를 연구하였다. 셀 사이의 거플링 결함 모델에 따르면 n 워드를 갖는 메모리 내에서 w-비트 메모리 내용 또는 내용의 변화는 메모리 내의 s-1 워드 내용에 따라 영향을 받는다. 이때 검사 패턴 구성을 위한 최적의 상호작용 방법을 제안 하였으며, 제안한 검사 결과의 체계적인 구조는 간단한 BIST로 구현하였다.

• 대한전자공학회논문지
• /
• 제27권9호
• /
• pp.1442-1447
• /
• 1990

In this paper we propose the search algorithm of the boundary nodes that defined as the circuit segmentation when CUT is tested by pseudo-exhaustive testing. The algorithm treats the testability values of the nodes in CUT as the population composed of teh raw data, and after examines the level of significance a and then estimate the confidence interval of teh testability values. Thus One can easily searched the c9oundary nodes and PO of sub circuits. The proposed algorithm has been implemented under UNIX OS with C-language, applied to the combinational logic CUT. As a result, it is shown that the pseudo-exhaustive test patterns are least generated when \ulcornerhas 0.786. We confirmed that the rate of test pattern is 1.22%, compared with exhaustive test.

• 한국정보처리학회논문지
• /
• 제1권2호
• /
• pp.272-278
• /
• 1994

본 논문에서는 BIST(Built-In Self Test)시 순서회로내의 조합회로를 pseudoexhaustive 시험하는데 필요한 테스트 패턴 생성기와 응답 분석기를 제안한다. 제안하는 테스트 패턴 생성기는 테스트 패턴의 초기값을 스캔 인 할 수 있고, exhaustive test pattern 을 생성할 수 있다. 또한, 응답 분석기는 회로의 응답을 분 석할 수 있을 뿐만 아니라 응답 결과를 스캔 아웃할 수 있다. 이러한 테스트 패턴 생 성기와 응답분석기는 SRL과 LFSR을 결합하여 설계하였다.

• 한국통신학회논문지
• /
• 제15권9호
• /
• pp.745-752
• /
• 1990

本 論文에서는 波測定回路(CUT)를 擬似-全體檢査할 때, 檢査重要度(TMY)가 높은 노드를 中心으로 P1에서 PO까지의 經路를 活性化하는 알고리즘을 提案한다. CUT의 TMY가 높은 노드들의 定義는 全體 노드들에 대한 檢査度(TY) 값을 原 데이터로 하는 母集團으로 取扱하고, 이를 t-分布에 有意水準:(1-a)域의 檢定을 통하여 TY의 信賴區間 推定에서 이루어졌다. 定義된 TMY가 높은 노드들을 中心으로 順方向과 逆方向의 論理게이트에 特異커버와 一致操作을 實行하므로 擬似-全體檢査 패턴이 容易하게 生成되었다. 그 結果, 擬似 全體檢査 패턴 數는 (1-a) 域이 0.1579에서 全體檢査에 비해 0.05%로 가장 적게 生成되었다. 그리고 (1-a) 域이 0.2368에서 特異 커버와 一致操作의 實行이 最適狀態였다. 이들 生成된 擬似-全體檢査 패턴을 回路의 入力과 內部 노드에 存在하는 缺陷 活性化 알고리즘의 技能的 檢査의 效用性을 確認하였다.

• 대한전자공학회논문지
• /
• 제18권3호
• /
• pp.52-57
• /
• 1981

본 논문은 회로의 복잡성이 증가됨에 따른 신뢰도와 개선과 유지보수에 대한 효율성을 높이기 위한 연구로서 측정이 가능한 작은 회로 블럭을 모듈 단위로 설계하여 이들의 조합으로 디지틀 시스템을 구성하였다. 이는 측정상에 신호 발생기와 신호 해석기가 필요치 않고 모듈 단위로 완전 측정되기 때문에 높은 신뢰도와 짧은 측정 시간을 갖는다.

• Journal of Information Processing Systems
• /
• 제13권5호
• /
• pp.1089-1102
• /
• 2017

In software systems, it has been observed that a fault is often caused by an interaction between a small number of input parameters. Even for moderately sized software systems, exhaustive testing is practically impossible to achieve. This is either due to time or cost constraints. Combinatorial (t-way) testing provides a technique to select a subset of exhaustive test cases covering all of the t-way interactions, without much of a loss to the fault detection capability. In this paper, an approach is proposed to generate 2-way (pairwise) test sets using genetic algorithms. The performance of the algorithm is improved by creating an initial solution using the overlap coefficient (a similarity matrix). Two mutation strategies have also been modified to improve their efficiency. Furthermore, the mutation operator is improved by using a combination of three mutation strategies. A comparative survey of the techniques to generate t-way test sets using genetic algorithms was also conducted. It has been shown experimentally that the proposed approach generates faster results by achieving higher percentage coverage in a fewer number of generations. Additionally, the size of the mixed covering arrays was reduced in one of the six benchmark problems examined.

• 한국약용작물학회지
• /
• 제26권4호
• /
• pp.271-280
• /
• 2018

Background: Astragalus membranaceus is a well known oriental medicinal herb. The polysaccharides of the aboveground parts (AMA) and the radix (AMR) of A. membranaceus are the most important functional constituents. Methods and Results: The aim of this study was to determine the effects of AMA and AMR on the oxidative damage induced in the skeletal muscle of rats subjected to exhaustive exercise. Sprague-Dawley rats were randomly divided into exercise and non-exercise groups; in the groups receiving the test compounds, AMA and AMR were administered orally for 30 days. Skeletal muscle samples were collected from each rat after running to exhaustion on a treadmill to determine the activities of superoxide dismutase (SOD), glutathione peroxidase (GSH-Px), and catalase (CAT) and the concentation of malondialdehyde (MDA). The antioxidant enzyme activities of SOD and GSH-Px of skeletal muscle of AMA- and AMR-treated groups were significantly higher than those of the control and commercial sports drink (SPD)-treated groups in exhaustive exercise rats. In addition, MDA concentrations in the skeletal muscle of the AMA- and AMR-treated groups were significantly lower than those of the control and SPD-treated groups. In the present study, the effects of AMA and AMR on exercise endurance capacity were also evaluated in mice subjected to a swimming exercise test. AMA and AMR supplementation prolonged the swimming time of mice and enhanced exercise endurance capacity. AMA and AMR possess the ability to retard and lower the production of blood lactate, and prevent the decrease of serum blood glucose. Conclusions: These results showed that, AMR and AMA exerted beneficial effect in mice, increasing the activity of the antioxidant systems and inhibiting oxidative stress induced by exhaustive exercise. The compounds improved exercise performance and showed anti-fatigue effects against exhaustive exercise.