• Journal of KIISE:Computer Systems and Theory
• /
• v.30 no.3_4
• /
• pp.186-193
• /
• 2003

In recent years the complexity of digital systems has increased dramatically. Although semiconductor manufacturers try to ensure that their products are reliable, it is almost impossible not to have faults somewhere in a system at any given time. As complexity of circuits increases, the necessity of more efficient organized and automated methods for test generation is growing. But, up to now, most of popular and extensive methods for test generation nay be those which sequentially produce an output for an input pattern. They inevitably require a lot of time to search each fault in a system. In this paper, corresponding test patterns are generated through the partitioning method among those based on the exhaustive method. In addition, the method, which can discovers faults faster than other ones that have been proposed ever by inserting a pattern in parallel, is designed and implemented.

• Journal of the Korean Institute of Telematics and Electronics B
• /
• v.30B no.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%.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.50 no.11
• /
• pp.791-800
• /
• 2022

The number and locations of force generators and their force directions of Active Vibration Control System(AVCS) are important to maximize the airframe vibration reduction performance of helicopters. The present AVCS simulation using an exhaustive test method attempts to determine the best number and locations of force generators and their force directions for maximization of the airframe vibration reduction performance of UH-60A helicopter at 158 knots. The 4P hub vibratory loads of the UH-60A helicopter are calculated using DYMORE II, a nonlinear multibody dynamics analysis code, and MSC.NASTRAN is used to predict the vibration responses of the UH-60A airframe. The AVCS framework with an exhaustive test method is constructed using MATLAB Simulink. As a result, when applying AVCS with the optimal combination of the force generators, the 4P airframe vibration responses of UH-60A helicopter are reduced by from 19.35% to 98.07% compared to the baseline results without AVCS.

• Journal of the Korea Computer Industry Society
• /
• v.6 no.2
• /
• pp.295-304
• /
• 2005

This paper presents the problem of exhaustive test generation for detection of coupling faults between cells in word-oriented memories. According to this fault model, contents of any w-bit memory word in a memory with n words, or ability tochange this contents, is influenced by the contents of any other s-1 words in the memory. A near optimal iterative method for construction of test patterns is proposed The systematic structure of the proposed test results in simple BIST implementations.

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.27 no.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.

• The Transactions of the Korea Information Processing Society
• /
• v.1 no.2
• /
• pp.272-278
• /
• 1994

The paper proposes a test pattern generator and a signature analyzer for pseudoexhaustive testing of the combinational circuit part within a sequential circuit when performing built-in self test of the circuit. The test pattern generator can scan in the seed test pattern and generate exhaustive test patterns. The signature analyzer can perform the analysis of the circuit response and scan out the result. Such test pattern generator and signature analyzer have been developed using SRL(shift register latch) and LFSR(linear feedback shift register).

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.15 no.9
• /
• pp.745-752
• /
• 1990

This paper deals with the path sensitization algrithm from PI to PO center on the nodes of high testability mainstay when CUT is tested by pseudo exhaustive testing. In CUT, the node definition of high testability mainstay treats the testability values of the entire nodes with the population composed of the raw data, and after we examined the level of significance(1-a) region, we accomplished in the estimation of the confidence interval of the testability. Focusing on the defined nodes of high testability mainstay, we performed the singular cover and consistency operation to the forward and backward logic gates. Thus, we easily generated the pseudo exhausitve test patterns. As a result, (1-a) region has 0.1579 and the pseudo exhaustive test patterns are least generated and the rate of test pattern is 1.22%, compared with exhaustive testing. (1-a) region has 0.2368 and this results exhibits the optimal performance of the singular cover and consistency operation. Applying the generated pseudo exhaustive test patterns to the stuck-at faults existing on the inputs and internal nodes in CUT, we verified this performance on the output. Thus, it is confirmed that functional testing of the proposed path sensitization algorithm is very useful.

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.18 no.3
• /
• pp.52-57
• /
• 1981

This paper deals with the development of a design approach to generate easily testable complex digital systems. As the technique is based on small testable building blocks (submodule) with the exhaustive testing circuits, it is not necessary for any automatic test equipment and signature analyzer. As a result ,the test time which is determined not by circuit complexity but sixte of the tarprest submodule, is not exhaustive and also, the circuit reliability is very high.

• Journal of Information Processing Systems
• /
• v.13 no.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.

• Korean Journal of Medicinal Crop Science
• /
• v.26 no.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.