• 반도체디스플레이기술학회지
• /
• 제16권3호
• /
• pp.71-77
• /
• 2017

As the automobile industry has shifted to software, the Automotive SPICE standard has been established to ensure efficient product development process and quality. In the assessment model, the HIS Scope is the minimum standard for small and medium automotive electric companies to meet OEM requirements. However, in order to achieve the HIS Scope, the output of each process stage that meets the verification criteria of Automotive SPICE must be created. In particular, the test phase takes a lot of resources, which is a big burden for small and medium-sized companies. In this paper, we propose a methodology for creating test cases of software integration test phase based on UML sequence diagram, which is a software design phase of Automotive SPICE HIS Scope, by applying behavior model based testing method. We also propose a tool chain for automating the creation process. This will reduce the resources required to create a test case.

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

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

• Clinical and Experimental Reproductive Medicine
• /
• 제46권1호
• /
• pp.36-40
• /
• 2019

A viable spermatozoon is a prerequisite for fertilization in intracytoplasmic sperm injection (ICSI). Thus, it is crucial to select viable but immotile spermatozoa on the day of ICSI. We report conflicting results in the identification of viable but immotile spermatozoa between the eosin-nigrosin staining and the laser test, which resulted in confusion for embryologists during assisted reproductive technology (ART). Three patients' semen samples that showed no motile spermatozoa are described in this report. To identify viable spermatozoa, we used both the eosin-nigrosin test and the laser test for each sample, and repeated the semen analysis twice in each patient. Viable but immotile spermatozoa selected by the laser test were used for ICSI. Viable spermatozoa were detected by both the eosin-nigrosin and laser tests in two patients (case 1, 95.00% vs. 24.21% and 92.68% vs. 22.22%; case 2, 41.18% vs. 23.48% and 39.81% vs. 22.52%), indicating consistent results between the two methods. In the third patient, the eosin-nigrosin test yielded viability rates of 20.75% and 19.14%, while the result of the laser test was 0%. Thus, testicular aspiration was performed to collect viable sperm from this patient. Normal fertilization was achieved after the injection of viable but immotile spermatozoa selected from these patients by the laser test, resulting in the birth of two healthy babies. Our study documents a case where the eosin-nigrosin test showed a limitation in identifying viable but immotile spermatozoa for ART, while the laser test may overcome this limitation. Larger samples may be required to corroborate the clinical value of the laser test.

• Journal of applied mathematics & informatics
• /
• 제10권1_2호
• /
• pp.111-118
• /
• 2002

We study the influence of observations on testing a linear hypothesis using single and multiple case-deletions. The change in the F-test statistic due to case-deletions is shown to be completely determined by two externally Studentized residuals. These residuals we used for investigating the outlyingness when there are linear constraints or not. An illustrative example is given. It shows the usefulness of case-deletions.

• 한국전자거래학회지
• /
• 제9권1호
• /
• pp.1-19
• /
• 2004

시간적 금전적 압박으로 최근의 웹 응용에서는 체계적인 시험작업이 종종 간과되곤 한다. 게다가 효과적인 웹 응용 시험 방법이 많지 않아 웹 응용에 기존의 시험 방법들을 적용하면서 개발자들은 많은 어려움을 겪고 있다. 빠르고 효과적 인 시험을 위하여 웹 페이지간의 메시지를 모델링한 UML 순차도(Sequence Diagram)로부터 웹 응용을 위한 시험사례를 추출하는 방법을 제안한다. 웹 응용을 위한 시험사례들은 UML의 순차도에서 자기 호출 메시지 (Self-Call Messages)를 포함한 메시지들로부터 추출된다. 시험사례는 시험할 대상인 메시지와 스크립트 함수, 서버 페이지와 추가적인 시험값들로 구성된다. 또한, 웹 응용 시험을 지원하기 위한 간단한 도구를 제시한다. 이 시험 도구는 웹 응용을 시험하기 위한 URL을 생성하고 이를 실행하여 그 결과를 보인다. 생성된 URL은 시험할 서버 페이지의 주소와 추가적인 시험값들로 구성된다. 이 도구는 마이크로소프트 비주얼 베이직으로 작성하였다. 회원 관리 기능을 수행하는 웹 응용개발 과제에 제안하는 시험사례 추출방법과 시험 지원 도구를 적용하였으며 그 유용성을 확인하였다.

• 정보보호학회논문지
• /
• 제28권1호
• /
• pp.179-186
• /
• 2018

사물인터넷 시대의 도래로 인터넷에 연결되는 매체가 급격히 증가하고 있다. 사물인터넷은 삶의 편리성을 향상 시켰지만, 사생활 침해와 같은 보안 이슈를 야기하였다. 따라서 사물인터넷 시대의 시작인 현시점에서 가장 중점적으로 논의되어야 하는 부분은 사이버 보안이다. 특히 사물인터넷 제품 시장이 급격히 형성되고, 다양한 프로토콜이 혼재되어 사용됨으로써 생기는 보안 위협에 대응하기 위해 프로토콜에 빠르게 적용 할 수 있는 취약성 분석 방법이 필요한 상황이다. 본고에서는 분산과 엔트로피를 이용하는 새로운 무작위성 기반의 테스트 케이스 평가 방법론을 제안하여 사물인터넷 보안에 기여하고자 한다. 본고에서 제안하는 테스트 케이스 평가 방법은 기존 기법과는 달리 테스트 셋 크기에 상관없이 빠른 속도로 테스트 케이스의 평가를 수행할 수 있다.

• PNF and Movement
• /
• 제9권1호
• /
• pp.65-73
• /
• 2011

Background : This study was to investigate effect of hot and cold water for the hand dexterity. Methods : A total of 37 subjects having hemiplegia(men=6, women=11) and normal(men=10, women=10) were participated in this study. After both hands was soaked in the small tube for 1 minute, we measured 'making dots in circles(BOTMP)', 'lifting small objects(JHFT)', 'disk turning(MMDT)' test. Results : In the case of normal's dominant hand, there were statistically significant differences in all tests after soaked in the hot water but there were statistically significant differences in 'disk turning' test after soaked in the cold water. In the case of hemiplegia's unaffected hand, there were statistically significant differences in 'disk turning' test after soaked in the hot water but there were statistically significant differences in 'making dots in circles', 'disk turning' test after soaked in the cold water. In the case of hemiplegia's affected hand, there were statistically significant differences in 'lifting small objects', 'disk turning' test after soaked in the hot water but there were statistically significant differences in 'making dots in circles', 'disk turning' test after soaked in the cold water. Conclusion : The hot and cold water were affected in the hand dexterity. Especially, in the case of both normal and hemiplegia, there were statistically significant differences in 'disk turning' test after soaked in the cold and hot water. Therefore, We were founded that affected in gross movement than fine movement.

• 한국산업융합학회 논문집
• /
• 제2권2호
• /
• pp.35-39
• /
• 1999

Results of two-part wedge analysis and centrifuge test executed by Zornberg et al. were compared for geotextile-reinforced slope stability. For two-part wedge analysis results of two cases, a frictional case considering internal friction of soil as interwedge friction and a nonfrictional case not considering, were also compared and evaluated. The analysis was based on limit equilibrium and two-part wedge was divided into slices as many as the number of geotextiles to obtain a maximum tension distribution mobilized in reinforcements. A significant observation was that the distribution was a triangular shape with maximum tension of geotextile at a transit point of interwedge. The number of geotextiles and failure surface of frictional case were reasonable and more comparable to results of the centrifuge tests than those of nonfrictional case. Therefore it can be said that two-part wedge analysis is recommendable for design analysis of reinforced slopes if an interwedge angle is regarded to be an angle of internal friction in soil.

• 한국안전학회지
• /
• 제13권3호
• /
• pp.11-23
• /
• 1998

In this study, collapse test of thin-walled structure is performed under axially quasi-static and impact load in collapse characteristic to develop the optimum structural member for a light-oriented automobile. Furthermore, the energy-absorbing capacity is observed according to the variety of configuration(circular, square), aspect ratio in aluminum specimen to obtain basic data for the improved member of vehicle. In both quasi-static and impact collapse test, Al circular specimens collapse, in general, with axisymmetric mode in case of thin thickness while collapse with non-axisynmetric mode according to the thickness increase. For Al rectangular specimens, they collapse with axisymmetric mode in case of thin thickness, with mixed collapse mode according to the increase of thickness. In terms of initial max. load, Al square specimen turns out the best member among specimens, and then Al square, circular and circular with large scaling ratio, respectively. In case of quasi-static compression test, the absorbed energy per unit volume and mass shows higher in Al circular specimen, and then Al square, circular with large scaling ratio, respectively, according to shape ratio the absorbed energy per unit volume and mass in case of max. impact compression load is higher than that of static load. But the absorbed energy per unit volume and mass shows that Al circular specimen is the best member. Especially, unlike max. compression loan, the absorbed energy per unit volume and mass in impact test turns out the low value.

• 한국신뢰성학회지:신뢰성응용연구
• /
• 제13권3호
• /
• pp.165-174
• /
• 2013

Thruster break for aerogenerator performs a role that is stopping the rotor in case of emergency such as strong wind, system abnormality or maintenance check. In this study, failure analysis and test evaluation on the thruster break for aerogenerator are proposed, and the entire process to improve reliability of the product through design improvement is presented. The typical failure case is fatigue and wear, and failure cause on these are identified and improvement plan is presented. Lastly, reliability improvement is established to analyse test results before after the life test.