• 정보과학회 논문지
• /
• 제43권9호
• /
• pp.953-962
• /
• 2016

모델 기반 테스팅은 시스템의 행위를 표현하는 모델을 시스템 명세로 활용하여 테스트를 수행하는 기술이다. 자동차, 국방/항공, 의료, 철도, 원자력과 같은 산업 도메인에서는 소프트웨어의 품질 향상을 위해 모델 기반 테스팅과 코드 커버리지 기반 테스팅을 요구하고 있다. 모델 기반 테스팅과 코드 커버리지 기반 테스팅이 모두 요구됨에도 모델과 소스 코드 간의 추상화 수준 차이로 인해 모델 기반 테스팅만으로 높은 코드 커버리지를 달성하는 것이 어려워 모델 기반 테스팅과 코드 커버리지 기반 테스팅이 별도로 수행되어져 왔다. 본 연구에서는 기존의 모델 기반 테스팅의 한계점을 개선하기 위하여 모델 기반 테스팅에서 테스트 모델로서 이용되는 대표적인 모델링 방법 중 하나인 프로토콜 상태 머신을 테스트 모델로서 이용하여 효과적으로 코드 커버리지를 향상시키는 상태 머신 변환 방법을 제안한다. 또한 본 연구에서는 두 시스템을 대상으로 한 사례 연구를 수행하여 제안 방법의 효과성을 분석하였다.

• 품질경영학회지
• /
• 제48권3호
• /
• pp.395-408
• /
• 2020

Purpose: This study was performed for advancement of aviation security equipments certification system. Methods: We investigated aviation security equipments certification-related registrations and the latest research trends of explosive detection technologies. Based on the literature studies, we draw the critical issues of the aviation security equipment certification system and suggested improvement direction. Results: We found some inaccuracies of the definition of explosive trace detection equipments, accreditation review committee, and performance evaluation test method. These problems should be modified to suit being practical. Conclusion: The present results would be useful for basic data for modifying aviation security equipments certification systems.

• Journal of Korean Medical Science
• /
• 제33권46호
• /
• pp.304.1-304.7
• /
• 2018

Background: The Republic of Korea has a very low prevalence of human immunodeficiency virus (HIV) infection, but the number of new HIV diagnoses has steadily risen, strongly indicating a large number of undetected HIV infections. Thus, it is important for Korean public health authorities to adopt and encourage cost-effective HIV detection tools, such as rapid HIV screening tests. In this study, we aimed to evaluate the cost-effectiveness of enzyme-linked immunosorbent assays (ELISA) and rapid tests in a public health center (PHC) setting. Methods: We developed a decision analytic model to assess the per-examinee cost and the cost-effectiveness of identifying HIV patients in a PHC setting using two HIV testing strategies: conventional HIV screening by ELISA versus rapid HIV testing. Analysis was performed in two scenarios: HIV testing in an average-risk population and in a high-risk population. Results: Compared to the ELISA, the rapid test was cost-saving and cost-effective. The per-examinee cost was USD 1.61 with rapid testing versus USD 3.38 with ELISA in an average-risk population, and USD 4.77 with rapid testing versus USD 7.62 with ELISA in a high-risk population. The cost of identifying a previously undiagnosed HIV case was USD 26,974 with rapid testing versus USD 42,237 with ELISA in an average-risk population, and USD 153 with rapid testing versus USD 183 with ELISA in a high-risk population. Conclusion: Rapid testing would be more cost-effective than using conventional ELISA testing for identifying previously undiagnosed HIV-infected cases in Korea, a country with extremely low HIV prevalence.

• 한국수소및신에너지학회논문집
• /
• 제33권6호
• /
• pp.761-768
• /
• 2022

In the hope of realizing carbon neutrality, Korea has established the goal of expanding the supply of hydrogen electric vehicles through a roadmap to revitalize the hydrogen economy. A prerequisite for successful supply expansion is securing the safety of hydrogen electric vehicles. Certain parts, such as the hydrogen transport pipe and tank, in hydrogen electric vehicles are exposed to high-pressure hydrogen gas over long periods of time, so the hydrogen enters the grain boundary of material, resulting in a degradation of the parts referred to as hydrogen embrittlement. In addition, since the safety of parts utilizing hydrogen varies depending on the type of material used and its environmental characteristics, the necessity for the enactment of a hydrogen embrittlement regulation has emerged and is still being discussed as a Global Technical Regulation (GTR). In this paper, we analyze a hydrogen compatibility material evaluation method discussed in GTR and present a direction for the development of Korean-type hydrogen compatibility material evaluation methods.

• 한국정보전자통신기술학회논문지
• /
• 제10권4호
• /
• pp.325-332
• /
• 2017

본 논문은 프로토콜 구현물이 프로토콜의 사양에 대한 적합성을 시험하기 위한 시험항목 생성방법들에 대하여 비교분석 한다. 대표적인 방법들인 천이 순회, 구별 시퀀스, 특징화 시퀀스, 유일 입출력 시퀀스와 변형된 이들 방법들을 분석하고, 유한 상태 기계 모델에 적용한 위의 방법들의 시험항목 길이를 비교 및 분석 한다. 결론에서는 프로토콜 적합성시험을 위한 시험항목 생성방법들에 대한 핵심적이고 분석적인 이슈 사안들을 다음과 같이 제시한다. 천이 순회 방법은 최단의 시험 항목을 생성하지만 최악의 오류 검출 성능을 제공한다. 특징화 시퀀스 방법은 완벽한 오류 검출 성능을 제공하지만 상대적으로 최장의 시험 항목을 생성한다. 구별 시퀀스 방법의 문제점은 이 구별 시퀀스가 항상 존재하지는 않는다는 것이다. 유일 입출력 시퀀스 방법이 비교적 폭넓게 적용될 수 있지만 구별 시퀀스 방법과 동일한 오류 검출 성능을 제공하지 못한다는 문제점이 있다.

• 대한물리의학회지
• /
• 제11권2호
• /
• pp.103-114
• /
• 2016

PURPOSE: The purpose of this study was first to develop a Korean version of pediatric functional muscle testing for children with a motor developmental disorder who have a communication problem and who are aged below five years, and also to verify the content validity. METHODS: First, the preliminary study was conducted to verify the reliability of pediatric functional muscle testing, developed by Venita in Korea. Based on the results of the study, the primary evaluation items were selected and modified. Second, the first test of content validity was conducted through a panel discussion, and a second investigation of content validity was carried out by utilizing the Item Content Validity Index (I-CVI). In this study, we selected only 0.78 or more items from I-CVI. RESULTS: Based on the results of the preliminary study, 19 primary evaluation items were selected. Based on the results of the first and second content validity tests, 15 tertiary evaluation items for the Korean version of pediatric functional muscle testing were determined. CONCLUSION: This study developed a new Korean version of pediatric functional muscle testing and suggested that it will be a useful tool to measure muscle strength for Korean children with a motor developmental disorder and a communication problem, aged below five years.

• 한국산업보건학회지
• /
• 제30권1호
• /
• pp.58-66
• /
• 2020

Objectives: The objective of this study was to develop formaldehyde samples for quality control (QC) and to test the applicability of proficiency analytical testing in Korea. Methods: We made formaldehyde samples with certified standard solutions (formaldehyde in water or acetonitrile) and 2,4-dinitrophenylhydrazine (2,4-DNPH)-coated silicagel tubes. Four levels of formaldehyde concentration were tested for storage stability at room temperature and at 4℃ over three months. Analytical proficiency testing was performed with four or 36 institutes. Results: Formaldehyde sample tubes were easily made through the injection of standard solutions and the average efficiencies of recovery were 95-101%. The coefficients of variation (CV) of the formaldehyde samples were 1.39-2.55%. The recovery efficiencies fell between 90% and 110% at the concentration range of 1-10 ㎍/sample over three months storage at refrigerated and room temperature. The CVs were less than 5% in the proficiency analytical testing. By adjusted proficient ranges, 64% of the results of the second proficiency analytical testing were acceptable. Conclusions: The formaldehyde samples made by injection on 2,4-DNPH-coated silicagel tubes were stable and applicable for quality control.

• 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.

• 한국지반신소재학회논문집
• /
• 제6권2호
• /
• pp.21-26
• /
• 2007

지오그리드의 인장강도 특성은 시험온도, 시료길이, 변위측정방법, 인장속도 및 시험장치 등에 영향을 받는다. 지오그리드의 인장강도시험법은 ASTM 06637 및 ISO 10319에 규정되어 있다. 그러나 이 두 시험법은 인장속도 및 시료길이에서 다소간의 차이를 가진다. 본 연구에서는 국내에서 많이 사용되고 있는 세 가지 종류의 지오그리드를 대상으로 일련의 광폭인장강도시험을 수행하여 시료길이 및 인장속도가 지오그리드의 광폭인장강도에 미치는 영향을 평가하였다.

• 여성건강간호학회지
• /
• 제20권3호
• /
• pp.225-233
• /
• 2014

Purpose: This study was to assess the intention of undergoing Pap testing and to identify influencing factors of HPV knowledge and their attitude related to Pap test by sexual activity among unmarried nurses. Methods: A cross sectional survey design was employed, utilizing a self-administered questionnaire amongst 343 unmarried nurses. Descriptive statistics was utilized to analyze data and inferential statistics used an independent-t test and ${\chi}^2$ test for the differences in measurement variables, and odds ratios for factors on intention of Pap testing by sexual activity. Results: Nurses not sexually active were significantly higher in intention of Pap testing (${\chi}^2$=40.15, p<.001) and influencing factors of HPV knowledge (t=3.93, p=.048) than did nurses who were sexually active. Factors influencing intention were regularity of the breast self-examination (Adjusted Odds Ratio [AOR]=4.20, 95% Confidence Interval [CI]=1.93~9.17), HPV knowledge (AOR=2.49, 95% CI=1.36~4.56), and attitudes toward the Pap test(AOR=2.33, 95% CI=1.25~4.34) amongst nurses who never had sexual experience. Conclusion: It is necessary to minimize negative attitudes of Pap testing and to increase HPV knowledge in order to improve intention of Pap testing for women who were not sexually active. More focus would be given to sexually active women to get Pap tested as a preventive measure for cervical cancer.