• Journal of Information Processing Systems
• /
• 제7권2호
• /
• pp.363-384
• /
• 2011

As the complexity of software is increasing, generating an effective test data has become a necessity. This necessity has increased the demand for techniques that can generate test data effectively. This paper proposes a test data generation technique based on adequacy based testing criteria. Adequacy based testing criteria uses the concept of mutation analysis to check the adequacy of test data. In general, mutation analysis is applied after the test data is generated. But, in this work, we propose a technique that applies mutation analysis at the time of test data generation only, rather than applying it after the test data has been generated. This saves significant amount of time (required to generate adequate test cases) as compared to the latter case as the total time in the latter case is the sum of the time to generate test data and the time to apply mutation analysis to the generated test data. We also use genetic algorithms that explore the complete domain of the program to provide near-global optimum solution. In this paper, we first define and explain the proposed technique. Then we validate the proposed technique using ten real time programs. The proposed technique is compared with path testing technique (that use reliability based testing criteria) for these ten programs. The results show that the adequacy based proposed technique is better than the reliability based path testing technique and there is a significant reduce in number of generated test cases and time taken to generate test cases.

• 한국IT서비스학회지
• /
• 제13권4호
• /
• pp.309-324
• /
• 2014

This case study focuses on the preparing a guide for the plan to the companies that want to build a business document system for the centralized services under the cloud computing. Total 3 Operating companies with regard to cloud computing issues are introduced for this purpose. Analyzing the usage and development direction of the selected companies were performed to set up plans. Through this in-depth needs of the user's point of view for the management of business documents, The necessary improvements in the process of collaboration and document sharing were derived. Business documents centralized service plans were proposed based on cloud computing models. Practical experiences of the companies were helpful to present the details of the operational strategy and operational plans. Especially with minimal staff input and verification process, Sample method for the automatic generating of the new document file name is introduced. A test bed before operating the enterprise-wide system were presented with information that is to be considered when building systems.

• 소음진동
• /
• 제6권6호
• /
• pp.709-715
• /
• 1996

In recent years, the piping vibration in many Power Plants is being increased by the aged generating facilities due to a long time use. Generally, the pressure fluctuations associated with the flow-induced excitations in this case are broadband in nature. Mainly, the dominant sources of vibration are a vortex-shedding, plane waves and boundary layer turbulence. The peak level of the spectrum is proportional to the dynamic head. A severe disturbance in pipeline results in the generation of intense broadband internal sound waves which can propagate through the piping system. The characteristic frequencies of operating loads of 20%, 57%, 70%, 100% are 4 - 6 Hz and coincide with the results from impact hammering test and FEM analysis. We chose the wire energy absorbing rope restraint as a vibration reduction method after reviewing the various conditions such as site, installing space and economic cost etc. After installation, the vibration level was reduced about 54% in velocity.

• 정보과학회 논문지
• /
• 제41권10호
• /
• pp.774-784
• /
• 2014

상태 머신 다이어그램 결함 주입을 통하여 강건성 테스트 케이스를 생성하기 위한 연구가 수행되고 있다. 그러나 기존의 연구들은 상태 머신 다이어그램의 구조적인 측면만을 단순 고려하고 있기 때문에 작은 크기의 모델임에도 불구하고 많은 결함이 주입될 수 있다. 본 논문에서는 강건성 테스트의 효과성은 유지한 채, 주입될 결함의 수를 줄이기 위한 결함 주입 방법을 제안한다. 제안 방법은 전자레인지 상태 머신 다이어그램을 이용하여 설명되었으며, 유효성을 검증하기 위하여 해쉬 테이블 상태 머신 다이어그램에 제안 방법을 적용하였다. 해쉬 테이블에 적용된 실험 결과, 제안 연구는 강건성 테스트의 효과성은 유지하였으며, 주입된 결함의 수는 43%, 생성한 테스트 케이스의 수는 63% 감소시킨 것을 확인할 수 있었다.

• Nuclear Engineering and Technology
• /
• 제50권4호
• /
• pp.570-581
• /
• 2018

Recently, a software program has been used in nuclear power plants (NPPs) to digitalize many instrumentation and control systems. To guarantee NPP safety, the reliability of the software used in safetycritical instrumentation and control systems must be quantified and verified with proper test cases and test environment. In this study, a software testing method using a simulation-based software test bed is proposed. The test bed is developed by emulating the microprocessor architecture of the programmable logic controller used in NPP safety-critical applications and capturing its behavior at each machine instruction. The effectiveness of the proposed method is demonstrated via a case study. To represent the possible states of software input and the internal variables that contribute to generating a dedicated safety signal, the software test cases are developed in consideration of the digital characteristics of the target system and the plant dynamics. The method provides a practical way to conduct exhaustive software testing, which can prove the software to be error free and minimize the uncertainty in software reliability quantification. Compared with existing testing methods, it can effectively reduce the software testing effort by emulating the programmable logic controller behavior at the machine level.

• International journal of advanced smart convergence
• /
• 제11권4호
• /
• pp.227-239
• /
• 2022

Purpose: In our study, in order to find lactic acid bacteria (LAB) with multi-drug resistance to antibiotics, we isolated 140 strains from 15 types of kimchi commercially available in Korea and 20 types of Kimchi made at home from January to December in 2016, and investigated their H₂O₂ generating ability and multi-drug resistance to antibiotics. Methods: In order to observe the H₂O₂ generation ability of LAB, we performed the experiment with methods such as Rabe, Hillier, and Kang. To test the antibacterial susceptibility of LAB, we used the disc agar diffusion method using MRS agar (Difco, USA) according to the CLSI and WHO test methods. There are 18 types of antibiotic discs used. Results: Out of the total numbers of 140 strains, 6 strains of Ent. Faecium, 25 strains of L. plantarum, 1 strain of L. rhamnosus, 3 strains of L. sakei, 1 strain of L. acidophilus, 1 strains St. thermophilus, and 7 of unidentified strains generated H₂O₂. The antibiotic susceptibility of Ent. Faecium indicated SXT, OX, NA, and E; and the antibiotic susceptibility of L. plantarum indicated NA; and the antibiotic susceptibility of St. thermophilus indicated NA, CC, RA, CTT, CM, and P ; and the antibiotic susceptibility of L. rhamnosus indicated SXT, VA, NA and CTT; and the antibiotic susceptibility of 6 strains of L. sakei indicated SXT, OX, NOR, NA, CTT and CIP, all indicating antibiotic resistance. In the case of multi-drug resistance to antibiotics for 53 strains of L. antarum, 8-drug resistance was the most common with 25 strains, followed by 7-drug-resistant strains with 18 strains, 9-drug-resistant strains with 4 strains, 6-drug-resistant strains with 3 strains, 5-drug-resistant strains with 2 strains, and 17-drug-resistant strains with 1 strain. In the case of multi-drug resistance to antibiotics for Ent. Faecium 27 strains, 9-drug resistance was most commonly identified as 9 strains, 8-drug resistance was identified as 6 strains, 7- and 11 drug resistances were identified as 4 strains each, and 4- and 6-drug resistances were identified as 1 strain each. Conclusion: Ent. Faecium, L. plantarum, L. rhamnosus, L. sakei, and St. thermophilus, shown to have anantibacterial activity in previous studies on LAB and shown to have and H₂O₂ generating ability, antibiotic resistance and multi-drug resistance in this study, are expected to be able to play an excellent role for long-term inpatients to use as an alternative to antibiotics and to cope with emerging antibiotic resistance.

• 한국정보처리학회논문지
• /
• 제2권1호
• /
• pp.45-54
• /
• 1995

리테스트는 수정된 코드는 확인하는 과정으로 본 논문에서는 수정된 코드를 실행 하는데 필요한 리테스팅의 영역과 횟수를 명시적으로 나타내는 방법론을 제시한다. 목적함수를 최소화하기 위하여 제어 흐름 분석을 통한 연결 매트릭스, 도달가능 매트 릭스와 테스트 케이스/참조 매트릭스를 사용할 뿐만 아니라 데이터 의존성 분석에 의 한 Set/Use 매트릭스를 이용하였다. 목적함수의 최소값에 의하여 재사용되는 최소갯수 의 테스트 케이스를 얻을 수 있으며, 이를 근거로 하여 수정시의 신뢰도 및 비용효과 를 가져올 수 있는 리테스팅 틀을 개발한다.

• 한국유체기계학회 논문집
• /
• 제13권4호
• /
• pp.18-24
• /
• 2010

For testing large-capacity pumps, the accurate flow rate measurement is needed in the test loop. As a measuring method of flow rate, venturi tube is recommended due to its low pressure loss. However, upstream disturbance of loop component such as a valve has an effect upon the accuracy of flow rate measurement. For controlling flow rate in case of high flow rate and large-scale piping system, a butterfly-type valve is generally used due to its compactness. However, a butterfly valve disturbs downstream flow by generating turbulence, cavities, or abrupt pressure change. In this study, the effect of downstream disturbance of butterfly valve on the flow rate measurement using a venturi tube is investigated. Test loop consists of circulation pump, reservoir, butterfly valve, venturi tube, and reference flow meter. The test is conducted with regard to a different valve opening angle of butterfly valve. According to the valve opening angle, the uncertainty of flow rate measurement is investigated.

• 한국산학기술학회논문지
• /
• 제10권7호
• /
• pp.1725-1728
• /
• 2009

본 연구개발에서는 정해진 환경에서 최대의 불량검출 능력을 발휘할 수 있도록 공정을 개선하기 위하여 전게이트 시각검사에 필수적인 FGV 패턴발생 장치와 공정제어 장치를 개발하였다. 본 연구개발을 통하여 접촉손실(Tact Loss)을 0에 근접 한 수준으로 유지할 뿐만 아니라 손실 및 에러 발생시 신속한 대처가 가능하여 모듈의 수율을 향상시킬 수 있을 것으로 기대된다. 또한 세부 동작 시퀀스를 제어하기 위한 H/W와 S/W 시스템을 생산라인에 실장하고 성능점검 및 인증을 수행한 결과 Tact에 의한 Pixel 불량의 경우는 98.1%, Line 불량의 경우는 99.1%의 검출율을 나타내었으며, Gate 및 Visual 레벨 테스트를 포함한 모듈공정 전체의 수율이 98.3%까지 증가하였다.

• 정보학연구
• /
• 제3권3호
• /
• pp.57-65
• /
• 2000

본 논문에서는 내장된 SDRAM 에 대한 기능 및 AC 변수를 테스트하는 BIST 회로의 알고리듬 및 회로 구현을 기술하였다 제안된 BIST 회로를 사용하여 내장된 SDRAM 의 고장난 비트 셀의 어드레스 위치를 출력시킴으로써 Redundancy 회로 사용에 관한 정좌를 제공하도록 설계하였다. 또 실지 동작 주파수에서의 내장된 SDRAM 의 AC 변수에 대한 테스트를 수행하여 메모리의 오동작이 발생된 경우 어떤 AC 변수가 설계 사양을 벗어나는지를 출력하도록 구현하였다. $0.25\mu\textrm{m}$ 셀 라이브러리를 이용하여 회로 합성하는 경우 전체 게이트 수는 약 4,500 개 정도이고, Verilog 레지스터 전송 언어를 사용하여 설계 및 시뮬레이션을 통하여 검증하였다. 하나의 AC 변수에 대해서 2Y-March 14N 알고리듬으로 테스트하는 경우 100Mhz 동작 주파수에서 테스트 시간은 200ms 정도이다.