• 제목/요약/키워드: test coverage

검색결과 528건 처리시간 0.034초

도형 요구사항의 MC/DC 테스트 케이스 생성 기법 (Generation Technique of MC/DC Test Cases for Requirement Diagrams)

  • 원종섭;최경희;정기현
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2008년도 춘계학술발표대회
    • /
    • pp.327-330
    • /
    • 2008
  • 본 논문은 도형 요구사항(Requirement Diagram)을 기반으로 MC/DC를 만족하는 테스트 케이스를 생성하는 방법을 기술한다. MC/DC는 테스트 케이스의 여러 커버리지 중 테스트 케이스의 질 측면과 효율성 측면에서 우수하다. 하지만 MC/DC는 구조적 커버리지(Structural Coverage)로써 이를 바로 도형 요구사항에 대해 적용시킬 수 없다. 그러므로 MC/DC를 기반으로 도형 요구사항에 적용하는 방법을 제시한다.

Test Results of Dual-Use Wide-Area Differential GPS System for Extending the Operational Coverage

  • Kap Jin Kim;Jae Min Ahn
    • Journal of Positioning, Navigation, and Timing
    • /
    • 제12권3호
    • /
    • pp.307-314
    • /
    • 2023
  • Wide-Area Differential Global Positioning System (WADGPS) is a system that operates a number of reference stations to provide correction information to improve the accuracy of GPS users, and it is available to service users within the area where the wide-area reference stations are installed. Recently, as positioning information has been used in various applications, the need for WADGPS for precise navigation in long-distance spaced areas where the wide-area reference stations cannot be installed has been raised. This paper tested the user navigation performance outside the wide-area reference stations of the WADGPS system, which serves both GPS Precise Positioning Service (PPS) and Standard Positioning Service (SPS) users. Static and dynamic tests were conducted using vehicles, and as a result, position accuracy improvement through WADGPS was confirmed even at points hundreds of kilometers outside the network area of the wide-area reference stations. Through this, the performance of the PPS/SPS correction system and the possibility of expanding the service area were confirmed.

결정론적 테스트 세트의 신호확률에 기반을 둔 clustered reconfigurable interconnection network 내장된 자체 테스트 기법 (A Clustered Reconfigurable Interconnection Network BIST Based on Signal Probabilities of Deterministic Test Sets)

  • 송동섭;강성호
    • 대한전자공학회논문지SD
    • /
    • 제42권12호
    • /
    • pp.79-90
    • /
    • 2005
  • 본 논문에서는 의사무작위패턴만으로는 생산하기 힘든 결정론적 테스트 큐브의 생산확률을 높일 수 있는 새로운 clustered reconfigurable interconnect network (CRIN) 내장된 자체 테스트 기법을 제안한다. 제안된 방법은 주어진 테스트 큐브들의 신호확률에 기반을 둔 스캔 셀 재배치 기술과 규정 비트(care-bit: 0 또는 1)가 집중된 스캔 체인 테스트 큐브의 생산확률을 높이기 위한 전용의 하드웨어 블록을 사용한다. 테스트 큐브의 생산확률을 최대로 할 수 있는 시뮬레이티드 어닐링(simulated annealing) 기반 알고리듬이 스캔 셀 재배치를 위해 개발되었으며, CRIN 하드웨어 합성을 위한 반복 알고리듬 또한 개발되었다. 실험을 통하여 제안된 CRIN 내장된 자체 테스트 기법은 기존의 연구 결과보다 훨씬 적은 저장 공간과 짧은 테스트 시간으로 $100\%$의 고장검출율을 달성할 수 있음을 증명한다.

Determinants of Potentially Unnecessary Cervical Cancer Screenings in American Women

  • Seo, Munseok;Langabeer, James
    • Journal of Preventive Medicine and Public Health
    • /
    • 제51권4호
    • /
    • pp.181-187
    • /
    • 2018
  • Objectives: To identify factors responsible for potentially clinically unnecessary cervical cancer screenings in women with prior hysterectomy. Methods: A retrospective cross-sectional study was conducted using the Centers for Disease Control and Prevention's Behavioral Risk Factor Surveillance System (BRFSS). This study targeted adult women and examined whether they received a both a Papanicolaou (Pap) test and undergone a hysterectomy in the last three years. We conducted multivariate analyses, including weighted proportions and odds ratios (ORs), based on the modified BRFSS weighting method (raking). The inclusion criteria were adult women (>18 years old) who reported having received a Pap test within the last 3 years. Results: Of all women (n=252 391), 72 366 had received a Pap test, and 32 935 of those women (45%, or 12.5 million, weighted) had a prior hysterectomy. We found that age, race/ethnicity, marital status, family income, health status, time since last routine checkup, and health insurance coverage were all significant predictors. Black, non-Hispanic women were 2.23 times more likely to receive Pap testing after a hysterectomy than white women (OR, 2.23; 95% confidence interval [CI], 1.99 to 2.50). Similarly, the odds for Hispanic women were 2.34 times higher (OR, 2.34; 95% CI, 1.97 to 2.80). The odds were also higher for those who were married (OR, 1.17; 95% CI, 1.08 to 1.27), healthier (OR, 1.24; 95% CI, 1.14 to 1.35), and had health insurance (OR, 1.54; 95% CI, 1.28 to 1.84), after controlling for confounders. Conclusions: We conclude that women may potentially receive Pap tests even if they are not at risk for cervical cancer, and may not be adequately informed about the need for screenings. We recommend strategies to disseminate recommendations and information to patients, their families, and care providers.

원전 안전필수 계측제어시스템의 주기적 자동고장검출기능에 따른 고장허용 평가모델 (The Fault Tolerant Evaluation Model due to the Periodic Automatic Fault Detection Function of the Safety-critical I&C Systems in the Nuclear Power Plants)

  • 허섭;김동훈;최종균;김창회;이동영
    • 전기학회논문지
    • /
    • 제62권7호
    • /
    • pp.994-1002
    • /
    • 2013
  • This study suggests a generalized availability and safety evaluation model to evaluate the influences to the system's fault tolerant capabilities depending on automatic fault detection function such as the automatic periodic testings. The conventional evaluation model of automatic fault detection function deals only with the self diagnostics, and supposes that the fault detection coverage of self diagnostics is always constant. But all of the fault detection methods could be degraded. For example, the periodic surveillance test has the potential human errors or test equipment errors, the self diagnostics has the potential degradation of built-in logics, and the automatic periodic testing has the potential degradation of automatic test facilities. The suggested evaluation models have incorporated the loss or erroneous behaviors of the automatic fault detection methods. The availability and the safety of each module of the safety grade platform have been evaluated as they were applied the automatic periodic test methodology and the fault tolerant evaluation models. The availability and safety of the safety grade platform were improved when applied the automatic periodic testing. Especially the fault tolerant capability of the processor module with a weak self-diagnostics and the process parameter input modules were dramatically improved compared to the conventional cases. In addition, as a result of the safety evaluation of the digital reactor protection system, the system safety of the digital parts was improved about 4 times compared to the conventional cases.

An Experimental and Numerical Study of Corona in a Cage with Sandy and Dusty Flow in High Altitude Area

  • Lv, Yukun;Ge, Zekun;Liu, Yunpeng;Zhu, Lei;Wei, Shaoke
    • Journal of Electrical Engineering and Technology
    • /
    • 제10권4호
    • /
    • pp.1726-1733
    • /
    • 2015
  • In order to study the effect of the high-altitude and dusty weather in northwest of China on the corona characteristics of transmission lines, a corona caged based experimental system with sandy and dusty flow condition is numerically investigated and designed. This system overcomes the difficulties caused by harsh environment and offers easy usage for off-site tests. The design parameters are mainly determined by the characteristics of strong sandstorm in northwest region and test requirements. By the comparison of numerical simulation of the particle diffusion in four programs with rectangular or circular air-duct, a practical technology, which introduces swirl to control the particle diffusion length, is obtained. Accordingly, the structure of round air-duct with swirl elbow in inlet and outlet of high level segment is selected as final program. Systems of control and measurement are designed at the same time. Field tuning results show that the test system could ensure the range of sandy and dusty coverage. The wind speed, sandy and dusty concentration could be controlled and meet the requirements of accuracy. The experimental system has many features, such as simple structure, easy to be assembled, disassembled, transported and operated, small space occupied.

실시간 객체 모형을 이용한 상호운용성 시험 접급 방법 (An Approach to Interoperability Test using an RTO Model)

  • 최진영;민병준;김문희
    • 한국정보처리학회논문지
    • /
    • 제4권5호
    • /
    • pp.1211-1220
    • /
    • 1997
  • 다수 공급에 의해 제공되는 여러 구현들간의 상호운용성 시험은 비용을 초래할 뿐아니라 실제 상황에서 때로는 그 자체가 불가능하다. 적합성 시험이나 적합성 시험을 확정한 방법들 만으로는 효과적으로 상호운용성을 보장할 수 없다 본 논문 에서는 실시간 시스템인 통신망의 구성 요소들을 매우 훌륭하게 추상화 할 수 있는 실시간 객체 모형을 기반으로 한 프로토콜 상호운용성 시험 방법을 제시한다. 이 방법 에서는 RTO.k 객체 모형을 이용하여 IUT(lmplementation Under Test)와 시험 환경을 추상화하고 그 결과 얻어진 객체들을 실행 환경인 DREAM 커널 상에 지역 모니터와 전역 모니터를 두어 수행시킨다. 지역 모니터는 관찰과 제어를 주요 임무로 하고 전역 모니터는 시험 과정을 주관한다. 시험 방법의 검증을 위하여 B-ISDN UNI Q.2931 의 예를 들어 호 연결 제어 프로토콜 상호운용성 시험을 실험야 하였다. 이 방법으로 높은 결함 발견율을 얻을 수 있다.

  • PDF

저 전력소모와 높은 테스트용이성을 위한 새로운 논리 변환 방법 (A New Logic Transformation Method for Both Low Power and High Testability)

  • 손윤식;정정화
    • 대한전자공학회논문지SD
    • /
    • 제40권9호
    • /
    • pp.692-701
    • /
    • 2003
  • 본 논문에서는 저 전력소모와 높은 테스트용이성을 동시에 고려하기 위한 새로운 게이트 레벨 논리변환 방법을 제안한다. 주출력에서 관측될 확률이 낮은 CFF(Compact Fanout Free)를 찾아내고, 해당 CFF가 모든 주출력에서 관측불가능한 조건에서는 리던던트 연결을 첨가하여 내부에서 발생하는 스위칭 동작을 제거한다. 일반적으로 논리 변환된 회로의 테스트 용이성은 떨어지는 경향이 있다. 그러나 제안된 방법에서 첨가된 리던던트 연결은 테스트 모드에서 테스트 포인트로 동작하며 CFF의 제어도와 관측도를 동시에 향상시키게 된다. 따라서 논리 변환된 회로는 정상 모드에서는 전력 손실이 매우 낮으며, 테스트 모드에서는 높은 테스트용이성을 갖는다. 제안하는 논리 변환 방법의 효율성을 보이기 위하여 MCNC 벤치마크 테스트 회로에 대하여 실험을 수행하였다. 실험 결과로부터 변환된 회로의 전력소모는 최대 13%정도 감소하며, 고장 검출율은 오히려 증가함을 확인할 수 있다.

편대 유도 법칙 및 초소형 비행체의 자동 편대 비행 구현 (Leader - Follower based Formation Guidance Law and Autonomous Formation Flight Test of Multiple MAVs)

  • 유동일;심현철
    • 한국항공우주학회지
    • /
    • 제39권2호
    • /
    • pp.121-127
    • /
    • 2011
  • 본 논문에서는 초소형 비행체의 자동 편대 비행을 위한 유도 법칙과 비행 시험 결과를 기술하였다. 초소형 비행체는 탑재 중량과 비행시간 등의 제한으로 인해 짧은 시간 안에 복수의 비행체가 임무를 분담하거나 협력하여 동시에 수행하는 것이 효율적이며 편대 비행은 이러한 임무 하중을 효과적으로 감소시킬 수 있다. 제안된 편대 유도 법칙은 Leader-Follower 편대 비행의 기하학적 관계 기반으로 비선형 모델 역변환 기법을 이용하여 설계하였다. 편대 유도 법칙에 필요한 비행체의 상태 정보는 비행체 간 고속의 데이터 통신 시스템을 구성하고 지상국을 통해 송수신하도록 하였다. 본 연구에서 제안된 비행체간 통신 기반의 편대 유도 기법은 센서의 측정 잡음에 대한 강건한 성능을 확인하기 위해 실제 비행 데이터 기반 시뮬레이션을 수행하였고 다수의 초소형 비행체를 이용한 편대 비행 시험을 통해 유도 법칙의 타당성을 검증하고 확인하였다.

열전소자 원리를 이용한 부품 Tester용 온도공급 장치 연구 (메모리 Device Tester용 온도제어장치 도입을 위한 연구) (A Study for Adopting the Temperature Control Unit on Memory Device Tester Based on Principle of Thermoelectric Semiconductor)

  • 김선주;홍철호;신동욱;서승범;이무재
    • 대한전기학회:학술대회논문집
    • /
    • 대한전기학회 2003년도 학술회의 논문집 정보 및 제어부문 B
    • /
    • pp.414-416
    • /
    • 2003
  • 메모리 제품의 사용 환경은 점차적으로 High Speed/High Density화됨에 따라 현 Comp. Test 환경으로 Field 환경을 모두 수용하기가 어려워지고 있다. 따라서, Component Level에서 다양한 실장 System을 이용한 Screen 방법이 요구 되고 있다. 다양한 환경에서 Test를 실시하기 위해서 필수 불가결한 조건은 온도(Temperature)를 자동으로 제어(Control)할 수 있는 기능이 필요하게 되었다. 이에, 현재 사용하고 있는 방법은 Chamber나 히터를 이용하고 있으나 온도 제어가 보다 용이하고 정밀한 기능이 요구됨에 따라 열전반도체(Thermoelectric semiconductor)원리를 이용한 온도 제어 장치 도입을 위한 연구가 진행되었다. 본 논문에서는 그 개발 현황 및 평가 결과를 근거로 신규 Component실장 Tester에 효율적으로 도입 적용 가능함을 제시 하고자 한다. 또한, 향후 기타 Tester 및 산업용 설비 등에 까지 확대적용 가능함으로써 전자부품(메모리)의 품질 향상 및 설비투자 Cost절감 효과가 기대 된다.

  • PDF