• 스마트미디어저널
• /
• 제13권8호
• /
• pp.9-15
• /
• 2024

소프트웨어 테스트는 소프트웨어 개발 프로세스의 필수적인 부분이다. 특히 MC/DC(Modified Condition / Decision Coverage)는 복잡한 조건과 결정 구조를 효과적으로 검증하여 소프트웨어의 안정성과 신뢰성을 높이는 데 사용된다. 본 연구에서는 MC/DC 수행의 최대 커버리지 값 확인을 위해 2진수를 활용한 MCC(Multiple Condition Coverage) 테스트 케이스 생성하는 MTC(MCC Test Cases) 생성기를 제안한다. 제안한 MTC 생성기는 TCAS(Traffic alert and Collision Avoidance System)-II 명세서 조건의 일부를 사용하여 CSV(Comma-Separated Values) 파일로 변환 후, VectorCAST 프로그램을 통해 커버리지 결과를 확인하였다. 그 결과 MCC 테스트 케이스로 MC/DC를 수행하여 TCAS-II 명세서의 각 조건들의 MC/DC 수행 시 최대 커버리지 값을 확인하였다. 이는 MC/DC 수행 시 커버리지 최댓값을 확인 함으로써 MC/DC 테스트 케이스 검증 연구에 도움이 된다. 또한 더 많은 테스트 케이스를 통해 결함발견 가능성도 증가시킨다. 이를 통해 소프트웨어 테스트의 커버리지 검증의 효율성과 소프트웨어의 품질 및 안정성을 향상하는 데 기여할 수 있다.

• Journal of Advanced Marine Engineering and Technology
• /
• 제22권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
• /
• 제2권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.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제8권8호
• /
• pp.331-342
• /
• 2019

본 논문은 신뢰성 있는 임베디드 시스템 소프트웨어 개발을 위해 제한된 자연어 형식으로 작성된 소프트웨어 요구사항으로부터 테스트 케이스 및 테스트 스크립트를 생성하는 방안을 제안한다. 제안하는 방법에서는 자연어로 기술된 요구사항을 제한된 자연어 형식으로 작성하고, 이를 파싱하여 테스트에 사용되는 입력, 출력 및 연산자를 추출한다. 추출된 정보를 이용하여 Decision Coverage, Condition Coverage, Modified Condition/Decision Coverage와 같은 테스트 케이스 생성 전략을 적용하여 테스트 케이스를 생성한다. 또한 테스트 명령어 사전을 이용하여 임베디드 시스템의 물리적인 입력 값인 테스트 스크립트를 생성한다. 제안한 방법을 이용하면, 개발된 소프트웨어가 요구사항에 적합하게 개발되었는지를 직접적으로 테스트하는 것이 가능하다. 제안한 방법의 효과는 요구사항 세트에 적용하여 실험적으로 보인다.

• 한국통신학회논문지
• /
• 제22권8호
• /
• pp.1823-1832
• /
• 1997

본 논문은 유한 상태 기계 모델로 표현된 통신 프로토콜의 시험항목에 대한 오류 발견 능력 분석 방법을 제시한다. 시험항목에 대한 오류 발견 능력의 평가는 생성된 시험항목으로 어느 정도까지 오류를 발견해 낼 수 있는지를 측정하는 것이다. 시험항복의 오류 발견 능력 평가 방법은 주로 수학적 분석과 시뮬레이션을 이용한 방법이 사용되고 있다. 본 논문에서는 동신 프로토콜 시험항목의 오류 발견 능력 분석음 위해 시뮬레이터를 설계, 구현하였다. Inres 프로토콜을 시뮬레이터에 적용한 결과, 출력 오류와 상태 병합. 분리 오류는 100%의 높은 오류 발견율을 보였다. 구현된 오류 발견 능력 분석 시뮬레이터는 다양한 프로토콜에 적용 가능함으로써 새로운 오류 발견 능력 분석 도구로 사용될 수 있다.

• 한국치위생학회지
• /
• 제13권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.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제2권7호
• /
• pp.451-460
• /
• 2013

높은 테스트 커버리지 달성을 위해 심볼릭 실행, 자료 흐름 분석 및 제약 해결 기법 등을 이용하여 테스트 데이터 생성을 하는 것이 일반적이다. 최근에 그와 같은 정교한 수단 없이도 높은 커버리지를 효과적으로 달성 할 수 있는 방법이 제안되었다. 그러나 이 방법도 실행 중에 다른 메모리 로케이션들이 바인딩되는 분기 조건을 갖는 프로그램에 대해서는 높은 커버리지를 가져오는 테스트 데이터 생성이 어려웠다. 특히 플래그 조건을 가지는 프로그램에 대해서는 특정 분기들이 실행되지 않아 높은 커버리지를 달성하지 못하는 경우가 발생한다. 이 논문에서는 이 문제를 다루기 위하여 기존 커버리지 기준을 개선한 동적 분기 커버리지 기준들과 동적 분기에 기반 한 테스트 데이터 생성 전략을 제안한다. 실험을 통하여 플래그 조건이 있는 프로그램들에 대해서도 제안된 방법이 기존의 방법에 비해 효과적으로 커버리지를 달성함을 보인다. 요약은 무슨 연구를 어떻게 수행하였는지, 주된 연구결과와 그 중요성에 관해 간결하게 기술하여야 한다.

• 정보학연구
• /
• 제10권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.

• 한국신뢰성학회지:신뢰성응용연구
• /
• 제9권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.

• 구강회복응용과학지
• /
• 제29권1호
• /
• pp.1-9
• /
• 2013

본 연구의 목적은 마우스가드의 착용이 기초 체력 및 운동 능력에 미치는 영향을 밝히는데 있다. 특히 부분피개 마우스가드 착용의 효과를 파악하여 교합의 안정성이 기초 체력 및 운동 능력에 미치는 영향을 밝히고자 한다. 이를 위해 K대학교 체육교육과에 재학 중인 대학생 20명을 대상으로 5가지 교합상태-마우스가드 미착용, 전악피개 마우스가드 착용, 좌우측 편측 마우스가드 착용, 전치부 마우스가드 착용-에서 각각 사이드스텝, 제자리 높이뛰기, 배근력, 악력, 외발서기, 유연성과 같은 기초 체력 및 운동능력을 측정하였다. 본 연구의 결과 전악피개 마우스가드의 착용은 운동능력 측정 항목 중 사이드스텝, 제자리 높이뛰기, 배근력, 악력, 외발서기, 유연성, 전신반응 모두에서 마우스 가드 미착용 시와 비교하여 유의성 있는 차이가 나타나지 않았다. 하지만 부분피개 마우스가드의 착용 시에는 미착용 시에 비해 전신반응이 유의성 있게 향상되었다. 이러한 결과를 통해 전악피개 마우스가드의 착용이 운동능력에 유의한 영향은 없으나 부분피개 마우스가드의 착용은 민첩성 향상에 기여할 수 있는 것으로 사료된다. 뿐만 아니라 교합적인 안정성이 단기적으로는 전신반응의 향상에 긍정적인 효과를 발생시키지 못하는 것으로 판단된다.