• Journal of Advanced Marine Engineering and Technology
• /
• v.22 no.5
• /
• pp.687-692
• /
• 1998

Test pattern generation is one of most difficult problems encountered in automating the design of logic circuits. The goal is to obtain the highest fault coverage with the minimum number of test patterns for a given circuit and fault set. although there have been many deterministic algorithms and heuristics the problem is still highly complex and time-consuming. Therefore new approach-es are needed to augment the existing techniques. This paper considers the problem of test pattern improvement for combinational circuits as a restricted subproblem of the test pattern generation. The problem is to maximize the fault coverage with a fixed number of test patterns for a given cir-cuit and fault set. We propose a new approach by use of a genetic algorithm. In this approach the genetic algorithm evolves test patterns to improve their fault coverage. A fault simulation is used to compute the fault coverage of the test patterns Experimental results show that the genetic algorithm based approach can achieve higher fault coverages than traditional techniques for most combinational circuits. Another advantage of the approach is that the genetic algorithm needs no detailed knowledge of faulty circuits under test.

• JSTS:Journal of Semiconductor Technology and Science
• /
• v.2 no.3
• /
• pp.226-232
• /
• 2002

This paper explains a technique to improve the fault coverage of oscillation-test [1-5] for linear analog circuits. The transient behavior of the virtual ground is monitored during oscillation to extract information of the circuit. The limitation of the oscillation-test is analyzed, and an efficient signature analysis technique is proposed to maximize the fault coverage. The experimental result proves that the parametric fault coverage can be significantly increased by the proposed technique.

• KIPS Transactions on Software and Data Engineering
• /
• v.8 no.8
• /
• pp.331-342
• /
• 2019

This paper proposes a method to generate test cases and test scripts from software requirements written in a controlled natural language, which helps develop reliable embedded software. In the proposed method, natural language requirements are written in a controlled language, the requirements are parsed and then inputs, outputs and operator data are extracted from the requirements. Test cases are generated from the extracted data following test case generation strategies such as decision coverage, condition coverage or modified condition/decision coverage. And then the test scripts, physical inputs of the test cases are generated with help of the test command dictionary. With the proposed method, it becomes possible to directly check whether software properly satisfies the requirements. Effectiveness of the proposed method is verified empirically with an requirement set.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.22 no.8
• /
• pp.1823-1832
• /
• 1997

In this ppaer, fault coverage analysis of a conformance test case for communication protocols, specified as a deterministic finite state machine(DFSM) is presented. The fault coverage analysis of a test case is defined by measuring the extent of the faults detected using a generated test case. The method that evaluates fault coverage analysis for a test case, has been researched by arithmetic analysis and simulation. In this paper, we designed and implemented a simulator for fault coverage analysis of a communication protocol teat case. With this result for Inres protocol, output fault and state merge and split fault have a high fault coverage of 100%. This simulator can be widely used with new fault coverage analysis tools by applying it to various protocols.

• Journal of Korean society of Dental Hygiene
• /
• v.13 no.4
• /
• pp.561-568
• /
• 2013

Objectives : The purpose of this study is to examine the recognition and needs on the national health insurance coverage of scaling in industry accident injury patients. National health insurance coverage of dental scaling will start in September, 2013. Methods : Subjects were 649 industrial injury patients and they completed self-reported questionnaire. Data were analysed using SPSS version 20.0 for percentage, chi-square test, t-test, ANOVA, post-hoc Scheffe test, and Pearson's correlation coefficient. Results : Recognition on national health insurance coverage of dental scaling was not fully known to industrial injury patients (24.5%). Highly educated and high income workers seemed to recognize national health insurance coverage of dental scaling (p<.001). Recognition for national health insurance coverage of dental scaling revealed a significance (r=.576, p<.001). Most of the industrial injury workers thought that 50,000 to 100,000 Korean Won of dental scaling fee is reasonable. The coverage of dental scaling should be more than twice over 20 years old. Conclusions : It is necessary to encourage the patients to take regular dental scaling checkup and make them know the health insurance coverage of scaling. The preventive oral health care may improve oral health care and quality of life.

• KIPS Transactions on Software and Data Engineering
• /
• v.2 no.7
• /
• pp.451-460
• /
• 2013

In order to achieve high test coverage, it is usual to generate test data using various techniques including symbolic execution, data flow analysis or constraints solving. Recently, a technique for automated test data generation that fulfills high coverage effectively without those sophisticated means has been proposed. However, the technique shows its weakness in the generation of test data that leads to high coverage for programs having branch conditions where different memory locations are binded during execution. For certain programs with flag conditions, in particular, high coverage can not be achieved because specific branches are not executed. To address the problem, this paper presents dynamic branch coverage criteria and a test data generation technique based on the notion of dynamic branch. It is shown that the proposed technique compared to the previous approach is more effective by conducting experiments involving programs with flag conditions.

• The Journal of Information Technology
• /
• v.10 no.2
• /
• pp.47-64
• /
• 2007

Finite failure NHPP models presented in the literature exhibit either constant, monotonic increasing or monotonic decreasing failure occurrence rates per fault. Accurate predictions of software release times, and estimation of the reliability and availability of a software product require quantification of a critical element of the software testing process : test coverage. This model called enhanced non-homogeneous poission process(ENHPP). In this paper, exponential coverage and S-coverage model was reviewed, proposes the exponentiated exponential coverage reliability model, which maked out efficiency substituted for gamma and Weibull model(2 parameter shape illustrated by Gupta and Kundu(2001). In this analysis of software failure data, algorithm to estimate the parameters used to maximum likelihood estimator and bisection method, model selection based on SSE statistics for the sake of efficient model, was employed.

• Journal of Applied Reliability
• /
• v.9 no.2
• /
• pp.107-119
• /
• 2009

Reliability tests should be designed to verify whether reliability requirements are satisfied or not effectively and efficiently. The portion of reliability requirements that a reliability test scheme composed of different types of tests can cover is defined as test coverage in software engineering. For the cases of hardwares, to be effective, a reliability test scheme should enhance the test coverage. This study is to develop an evaluation method of test coverage for a reliability test scheme proposed for new products. Case studies are also given.

• Journal of Dental Rehabilitation and Applied Science
• /
• v.29 no.1
• /
• pp.1-9
• /
• 2013

This study examined the effects of the occlusal stability and a partial coverage mouthguard on physical fitness and motor capacity to determine the importance of the occlusal stability as a possible action mechanism of mouthguards on physical performance. Twenty physical education students were included for measurements of their handgrip strength, back strength, whole body reaction time, flexibility, sidestep test, stork stand test and jumping test according to the following 5 different occlusal conditions: mouth closed position without a mouthguard, with a full coverage mouthguard, with a right partial coverage mouthguard, with a left partial coverage mouthguard and with anterior partial mouthguard. The results revealed no significant difference in any of the measured physical factors between the occlusal conditions with and without a full-coverage mouthguard. On the other hand, a significant difference was observed in whole body reaction between the occlusal conditions with and without the partial coverage mouthguards. Therefore, isokinetic muscle tests on both knee joints and the Wingate anaerobic power test should be performed under the following five occlusal conditions: with or without full-coverage maxillary custom-made mouthguard, with a unilateral right or left partial-coverage maxillary mouthguard and with an anterior partial-coverage maxillary mouthguard. These results suggest that the partial coverage mouthguard had a short-term beneficial effect on agility rather than full coverage mouthguard.

• Journal of Software Engineering Society
• /
• v.25 no.1
• /
• pp.1-9
• /
• 2012

RFID systems have been widely used in various fields such as logistics, distribution, food, security, traffic and others. A RFID middleware, one of the key components of the RFID system, perform an important role in many functions such as filtering, grouping, reporting tag data according to given user specifications and so on. However, manual test data generation is very hard because the inputs of the RFID middleware are generated according to the RFID middleware standards and complex encoding rules. To solve this problem, in this paper, we propose a black box test technique based on RFID middleware standards. Firstly, we define ten types of input conversion rules to generate new test data from existing test data based on the standard specifications. And then, using these input conversion rules, we generate various additional test data automatically. To validate the effectiveness of generated test data, we measure coverage of generated test data on actual RFID middleware. The results show that our test data achieve 78% statement coverage and 58% branch coverage in the classes of filtering and grouping, 79% statement coverage and 64% branch coverage in the classes of reporting.