• Title/Summary/Keyword: Coverage Testing

Search Result 191, Processing Time 0.026 seconds

A New Low Power Scan BIST Architecture Based on Scan Input Transformation Scheme (스캔입력 변형기법을 통한 새로운 저전력 스캔 BIST 구조)

  • Son, Hyeon-Uk;Kim, You-Bean;Kang, Sung-Ho
    • Journal of the Institute of Electronics Engineers of Korea SD
    • /
    • v.45 no.6
    • /
    • pp.43-48
    • /
    • 2008
  • Power consumption during test can be much higher than that during normal operation since test vectors are determined independently. In order to reduce the power consumption during test process, a new BIST(Built-In Self Test) architecture is proposed. In the proposed architecture, test vectors generated by an LFSR(Linear Feedback Shift Resister) are transformed into the new patterns with low transitions using Bit Generator and Bit Dropper. Experiments performed on ISCAS'89 benchmark circuits show that transition reduction during scan testing can be achieved by 62% without loss of fault coverage. Therefore the new architecture is a viable solution for reducing both peak and average power consumption.

Epidemiological Investigation of a Measles Outbreak in a Preschool in Incheon, Korea, 2006 (2006년 인천의 한 유치원에서 발생한 홍역 유행 역학조사)

  • So, Jae-Sung;Go, Un-Yeong;Lee, Dong-Han;Park, Koang-Suk;Lee, Jong-Koo
    • Journal of Preventive Medicine and Public Health
    • /
    • v.41 no.3
    • /
    • pp.153-158
    • /
    • 2008
  • Objectives : This study describes a plan that was designed to prevent a measles outbreak that showed a changed outbreak pattern. This study is based on the epidemiological investigation of a measles outbreak in a preschool in Incheon, Korea, 2006. Methods : The subjects were 152 students at a preschool where a measles outbreak occurred. A questionnaire survey was conducted and serological testing for measles-specific IgM was preformed. Results : Of the fifteen confirmed, identified cases, eleven patients had been vaccinated with one dose, one patient had received two doses and three patients were unvaccinated. The three unvaccinated cases consisted of one 5-year-old child, one 3-year-old child and one 16-month-old infant. For the cases with one dose of the vaccination, there were 11 cases, which consisted of six 5-year-old children, two 4-year-old children, two 3-year-old children and one 2-year-old child. The case with two doses of the vaccination was one 4-year-old child. The attack rate of measles was 100% in the 0-dose group, 11.2% in the 1-dose group and 2.0% in the 2-dose group. The vaccine's efficacy was 88.8% in the 1-dose group and 98.0% in the 2-dose group. The vaccine effectiveness for the 2-dose group was higher than that of the 1-dose group. Conclusions : High coverage with a 2-dose vaccination should be maintained, and the vaccination should be given at the suitable time to prevent a measles outbreak with a changed outbreak pattern.

Multi-protocol Test Method:MPTM (다중계층 프로토콜 시험 방법)

  • Lee, Soo-In;Park, Yong-Bum;Kim, Myung-Chul
    • Journal of KIISE:Information Networking
    • /
    • v.28 no.3
    • /
    • pp.377-388
    • /
    • 2001
  • An approach for testing multi-protocol Implementation Under Test (IUT) with a single test suite has been proposed in[1]. this paper proposes an algorithm called Multi-protocol Test Method (MPTM) for automatic test case generation based on that approach. With the MPTM, a multi-protocol IUT consisting of two protocol layers is modeled as two Finite State Machines (FSMs), and the relationships between the transitions of the two FSMs are defined as a set of transition relationships pre-execution and carried-by. The proposed algorithm is implemented and applied to a simplified TCP/IP and B-ISDN Signaling/SSCOP. MPTM is able to test the multi-protocol IUT even though the interfaces between the protocol layers are not exposed. It results in that the proposed MPTM allows the same test coverage as conventional test methods even with fewer numbers of test cases.

  • PDF

Ultrasonic guided wave approach incorporating SAFE for detecting wire breakage in bridge cable

  • Zhang, Pengfei;Tang, Zhifeng;Duan, Yuanfeng;Yun, Chung Bang;Lv, Fuzai
    • Smart Structures and Systems
    • /
    • v.22 no.4
    • /
    • pp.481-493
    • /
    • 2018
  • Ultrasonic guided waves have attracted increasing attention for non-destructive testing (NDT) and structural health monitoring (SHM) of bridge cables. They offer advantages like single measurement, wide coverage of acoustical field, and long-range propagation capability. To design defect detection systems, it is essential to understand how guided waves propagate in cables and how to select the optimal excitation frequency and mode. However, certain cable characteristics such as multiple wires, anchorage, and polyethylene (PE) sheath increase the complexity in analyzing the guided wave propagation. In this study, guided wave modes for multi-wire bridge cables are identified by using a semi-analytical finite element (SAFE) technique to obtain relevant dispersion curves. Numerical results indicated that the number of guided wave modes increases, the length of the flat region with a low frequency of L(0,1) mode becomes shorter, and the cutoff frequency for high order longitudinal wave modes becomes lower, as the number of steel wires in a cable increases. These findings were used in design of transducers for defect detection and selection of the optimal wave mode and frequency for subsequent experiments. A magnetostrictive transducer system was used to excite and detect the guided waves. The applicability of the proposed approach for detecting and locating wire breakages was demonstrated for a cable with 37 wires. The present ultrasonic guided wave method has been found to be very responsive to the number of brokenwires and is thus capable of detecting defects with varying sizes.

A Novel Test Scheduling Algorithm Considering Variations of Power Consumption in Embedded Cores of SoCs (시스템 온 칩(system-on-a-chip) 내부 코어들의 전력소모 변화를 고려한 새로운 테스트 스케쥴링 알고리듬 설계)

  • Lee, Jae-Min;Lee, Ho-Jin;Park, Jin-Sung
    • Journal of Digital Contents Society
    • /
    • v.9 no.3
    • /
    • pp.471-481
    • /
    • 2008
  • Test scheduling considering power dissipation is an effective technique to reduce the testing time of complex SoCs and to enhance fault coverage under limitation of allowed maximum power dissipation. In this paper, a modeling technique of test resources and a test scheduling algorithm for efficient test procedures are proposed and confirmed. For test resources modeling, two methods are described. One is to use the maximum point and next maximum point of power dissipation in test resources, the other one is to model test resources by partitioning of them. A novel heuristic test scheduling algorithm, using the extended-tree-growing-graph for generation of maximum embedded cores usable simultaneously by using relations between test resources and cores and power-dissipation-changing-graph for power optimization, is presented and compared with conventional algorithms to verify its efficiency.

  • PDF

The Change of IgG Antibody Titer to Measles, Mumps and Rubella According to Age (국내 홍역, 유행성이하선염 및 풍진 백신 접종 후 연령에 따른 항체양성율 변화)

  • Pang, Sung Joon;Choi, Kyong Min
    • Pediatric Infection and Vaccine
    • /
    • v.18 no.2
    • /
    • pp.117-123
    • /
    • 2011
  • Purpose : We investigated the change of antibody titer to measles, mumps and rubella according to age after vaccination. Methods : The IgG antibody titers to measles, mumps and rubella were tested on the residual serum from patients aged 7-20 years old after routine laboratory testing in the hospital with informed consent from the parents. Results : Antibody to measles was present in 275 cases out of 408 cases with a positive rate of 67.4%, the mean IgG titer was 2.77${\pm}$1.18 Index. Antibody to mumps was present in 112 cases out of 408 cases with a positive rate of 27.5%, the mean IgG titer was 2.08${\pm}$1.29 Index. Antibody to rubella was present in 367 cases out of 408 cases with a positive rate of 90.0%, the mean IgG titer was 60.46${\pm}$63.47 IU/mL. Conclusion : It is important to maintain a high rate of vaccination coverage in order to prevent an outbreak of measles, mumps, or rubella. It is also important to stress the maintenance of vaccination records for further reference.

Association of Lower Socioeconomic Status and SARS-CoV-2 Positivity in Los Angeles, California

  • Allan-Blitz, Lao-Tzu;Goldbeck, Cameron;Hertlein, Fred;Turner, Isaac;Klausner, Jeffrey D.
    • Journal of Preventive Medicine and Public Health
    • /
    • v.54 no.3
    • /
    • pp.161-165
    • /
    • 2021
  • Objectives: Severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2) spreads heterogeneously, disproportionately impacting poor and minority communities. The relationship between poverty and race is complex, with a diverse set of structural and systemic factors driving higher rates of poverty among minority populations. The factors that specifically contribute to the disproportionate rates of SARS-CoV-2 infection, however, are not clearly understood. Methods: We evaluated SARS-CoV-2 test results from community-based testing sites in Los Angeles, California, between June and December, 2020. We used tester zip code data to link those results with United States Census report data on average annual household income, rates of healthcare coverage, and employment status by zip code. Results: We analyzed 2 141 127 SARS-CoV-2 test results, of which 245 154 (11.4%) were positive. Multivariable modeling showed a higher likelihood of SARS-CoV-2 test positivity among Hispanic communities than among other races. We found an increased risk for SARS-CoV-2 positivity among individuals from zip codes with an average annual household income

Automated Applying Greybox Fuzzing to C/C++ Library Using Unit Test (유닛테스트를 활용한 c/c++ 라이브러리 그레이박스 퍼징 적용 자동화)

  • Jang, Joon Un;Kim, Huy Kang
    • Journal of the Korea Institute of Information Security & Cryptology
    • /
    • v.29 no.4
    • /
    • pp.807-819
    • /
    • 2019
  • Greybox fuzzing is known as an effective method to discover unknown security flaws reside in software and has been actively researched today. However, most of greybox fuzzing tools require an executable file. Because of this, a library, which cannot be executed by itself requires an additional executable file for greybox fuzzing. Generating such an executable file is challengeable because it requires both understanding of the library and fuzzing. In this research, we suggest the approach to generate an executable file automatically for a library and implement this approach as a tool based on the LLVM framework. This tool shows that executable files and seed files can be generated automatically by static/dynamic analysis of a unit test in the target project. A generated executable file is compatible with various greybox fuzzers like AFL because it has a common interface for greybox fuzzers. We show the performance of this tool as code coverage and discovered unknown security bugs using generated executable files and seed files from open source projects through this tool.

New Obligations of Health Insurance Review and Assessment Service: Taking Full-fledged Action Against the COVID-19 Pandemic

  • Yoo, Seung Mi;Chung, Seol Hee;Jang, Won Mo;Kim, Kyoung Chang;Lee, Jin Yong;Kim, Sun Min
    • Journal of Preventive Medicine and Public Health
    • /
    • v.54 no.1
    • /
    • pp.17-21
    • /
    • 2021
  • In 2020, the coronavirus disease 2019 (COVID-19) pandemic has caused unprecedented disruptions to global health systems. The Korea has taken full-fledged actions against this novel infectious disease, swiftly implementing a testing-tracing-treatment strategy. New obligations have therefore been given to the Health Insurance Review and Assessment Service (HIRA) to devote the utmost effort towards tackling this global health crisis. Thanks to the universal national health insurance and state-of-the-art information communications technology (ICT) of the Korea, HIRA has conducted far-reaching countermeasures to detect and treat cases early, prevent the spread of COVID-19, respond quickly to surging demand for the healthcare services, and translate evidence into policy. Three main factors have enabled HIRA to undertake pandemic control preemptively and systematically: nationwide data aggregated from all healthcare providers and patients, pre-existing ICT network systems, and real-time data exchanges. HIRA has maximized the use of data and pre-existing network systems to conduct rapid and responsive measures in a centralized way, both of which have been the most critical tactics and strategies used by the Korean healthcare system. In the face of new obligations, our promise is to strive for a more responsive and resilient health system during this prolonged crisis.

Automatic Test case Generation Mechanism from the Decision Table of Requirement Specification Techniques based on Metamodel (메타모델 기반 요구사항 명세 기법인 의사 결정표를 통한 자동 테스트 케이스 생성 메커니즘)

  • Hyun Seung Son
    • Journal of Advanced Navigation Technology
    • /
    • v.27 no.2
    • /
    • pp.228-234
    • /
    • 2023
  • As the increasing demand for high-quality software, there is huge requiring for quality certification of international standards, industrial functional safety (IEC 61508), automotive (ISO 26262), embedded software guidelines for weapon systems, etc., in the industry. Software companies are very difficult to systematically acquire the quality certification in terms of cost and manpower of Startup, venture small-sized companies. For their companies one test case automatic generation is considered as a core technique to evaluate or improve software quality. This paper proposes a test case automatic generation method based on the design decision table for system and software design verification. We apply the proposed method with OMG's standard techniques of metamodel and model transformation for automatically generating test cases. To do this, we design the metamodels of design decision table (Model) and test case document (Text) and define model transformation to automatically generate test cases, which will expect to easily work MC/DC coverage.