• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제13권2호
• /
• pp.86-99
• /
• 2007

패킷 필터링이란 악의적인 네트워크 패킷들을 거르는 작업을 말한다. 패킷 필터링의 기능을 테스트하기 위해서는 구축된 보안 정책이 의도했던 대로 정확하게 동작하는가를 검증하여야 한다. 그러나 이런 기능을 테스트하기 위한 도구들은 많지 않으며, 테스트 과정에서 많은 사용자의 노력을 요구한다. 대부분의 보안 관리자들은 보안 정책을 새로 수립하거나 기존의 보안 정책을 수정할 때에 새로운 보안 정책을 체계적으로 테스트하는 것에 부담을 느낀다. 이런 부담을 경감해주기 위해 우리는 사용자의 참여를 최소화하는 새로운 테스트 방법을 제안한다. 제안하는 방법은 테스트 케이스와 테스트 오라클의 생성을 자동화한다. 자동으로 생성된 테스트 케이스는 테스팅 과정의 입력 요소를 선택해야 하는 고민을 덜어주며, 자동으로 생성된 테스트 오라클은 사용자의 도움 없이 테스트 결과에 대한 판단을 가능하게 한다. 우리의 테스트 방법을 구현한 테스트 도구는 테스트 수행의 전체 4단계 중 테스트 준비, 테스트 실행, 테스트 평가의 3단계에 걸쳐 테스트 자동화를 실현하고 있다. 이런 테스트 도구 위에서 테스팅을 수행하게 된다면 결과적으로 테스트 활동의 신뢰도를 보다 높게 향상시킬 수 있다. 이 논문은 우리의 테스트 방법과 테스트 도구의 설계 및 구현에 관한 내용을 기술한다.

• 대한물리의학회지
• /
• 제1권1호
• /
• pp.77-92
• /
• 2006

Purpose : This study was to evaluate the effect of traditional balance training on balance in older adults. Methods : The subjects of this study were thirty elderly over 65 years old. Thirty subjects ranging aged from 66 to 85($74.0{\pm}5.83$) completed the study and participated three times a week for 5weeks. Subjects were assessed by utilizing two different balance measure : Static standing balance was measured by balance performance monitor(BPM). Dynamic balance was measured by timed up and go test(TUG). The scale for static standing balance was measured by using frequence(Hz), sway area($mm^2$), sway path(mm), max sway velocity(mm/s), ant/post sway angle($^{\circ}$), left/right sway angle($^{\circ}$), and sway number. Results : The change in frequency were statistically significant on pre-test and post-test(P<.05), 2. The change in sway area were statistically significant on pre-test and post-test (P<.05), 3. The change in sway path were statistically significant on pre-test and post-test(P<.05), 4. The change in max sway velocity were statistically significant on pre-test and post-test (P<.05), 5. The change in ant/post sway angle were statistically significant on pre-test and post-test (P<.05), 6. The change in left/right sway angle were statistically significant on pre-test and post-test(P<.05), 7. The change in sway number were statistically significant on pre-test and post-test(P<.05), 8. The score on timed up and go test shows statistically significant increase on pre-test and post-test (P<.05). Conclusion : This study suggest that traditional balance training have an effect on balance performance ability for elderly people. Therefore, the traditional balance training is recommended for older adults to improve balance performance ability.

• 정보처리학회논문지D
• /
• 제17D권2호
• /
• pp.147-156
• /
• 2010

임베디드 소프트웨어의 적합성 테스트는 소프트웨어의 기능이 명세를 따라 정확히 구현되었는지 검사하는 것이다. 적합성 테스트에서 테스트 시나리오는 소프트웨어의 전체 기능을 테스트할 수 있도록 추출되어야 한다. 일반적으로 테스트 시나리오는 단순히 전체의 기능들을 한 번씩 테스트해 보는데 초점이 맞춰져 있다. 하지만 테스트 시나리오는 테스트 수행의 효율성을 고려할 필요가 있다. 이 연구에서는 각 함수들을 테스트하는데 걸리는 시간과 사용자 입력으로 인해 발생하는 대기 시간을 고려하여 최적화된 테스트 시나리오를 추출하는 기법을 제안한다. 테스트 시나리오를 추출하기 위해 상태 머신 다이어그램과 테스트 케이스를 바탕으로 그래프 형태의 테스트 모델을 생성한다. 테스트 모델에는 테스트 수행 시간과 사용자 입력에 대한 정보가 포함되어 있다. 최적화된 테스트 시나리오는 테스트 모델을 기반으로 수정된 최단거리 알고리즘을 이용하여 추출한다. 제안하는 테스트 시나리오 작성 기법을 이용하면 테스트 수행 시간을 줄일 수 있고, 테스트 자동화를 향상시킬 수 있다.

• 통합자연과학논문집
• /
• 제15권1호
• /
• pp.9-18
• /
• 2022

This research examines the power of bootstrap two-sample test, and compares it with the powers of two-sample t-test and Wilcoxon rank sum test, through simulation. For simulation work, a positively skewed and heavy tailed distribution was selected as a population distribution, the chi-square distributions with three degrees of freedom, χ²₃. For two independent samples, the fist sample was selected from χ²₃. The second sample was selected independently from the same χ²₃ as the first sample, and calculated d+ax for each sampled value x, a randomly selected value from χ²₃. The d in d+ax has from 0 to 5 by 0.5 interval, and the a has from 1.0 to 1.5 by 0.1 interval. The powers of three methods were evaluated for the sample sizes 10,20,30,40,50. The null hypothesis was the two population medians being equal for Bootstrap two-sample test and Wilcoxon rank sum test, and the two population means being equal for the two-sample t-test. The powers were obtained using r program language; wilcox.test() in r base package for Wilcoxon rank sum test, t.test() in r base package for the two-sample t-test, boot.two.bca() in r wBoot pacakge for the bootstrap two-sample test. Simulation results show that the power of Wilcoxon rank sum test is the best for all 330 (n,a,d) combinations and the power of two-sample t-test comes next, and the power of bootstrap two-sample comes last. As the results, it can be recommended to use the classic inference methods if there are widely accepted and used methods, in terms of time, costs, sometimes power.

• Journal of Mechanical Science and Technology
• /
• 제18권9호
• /
• pp.1604-1613
• /
• 2004

This paper presents an effective and reliable evaluation method for fracture strength and material degradation of the micro-structure of high temperature service steel weldment using advanced small punch (ASP) test developed from conventional small punch (CSP) test. For the purpose of the ASP test, a lower die with a minimized ${\Phi}$1.5 mm diameter loading ball and an optimized deformation guide hole of ${\Phi}$3 mm diameter were designed. The behaviors of fracture energy (E$\_$sp/), ductile-brittle transition temperature (DBTT) and material degradation from the ASP test showed a definite dependency on the micro-structure of weldment. Results obtained from ASP test were compared and reviewed with results from CSP test, Charpy impact test, and hardness test. The utility and reliability of the proposed ASP test were verified by investigating fracture strength, behavior of DBTT, and fracture location of each micro-structure of steel weldment for test specimen in ASP test. It was observed that the fracture toughness in the micro-structure of FL＋CGHAZ and ICHAZ decreased remarkably with increasing aging time. From studies of all micro-structures, it was observed that FGHAZ microstructure has the most excellent fracture toughness, and it showed absence of material degradation.

• 한국IT서비스학회지
• /
• 제17권1호
• /
• pp.155-170
• /
• 2018

This study examines a data-driven approach for software test automation at an online shopping site. Online shopping sites typically change prices dynamically, offer various discounts or coupons, and provide diverse delivery and payment options such as electronic fund transfer, credit cards, mobile payments (KakaoPay, NaverPay, SyrupPay, ApplePay, SamsungPay, etc.) and so on. As a result, they have to test numerous combinations of possible customer choices continuously and repetitively. The total number of test cases is almost 584 billion. This requires somehow automation of tests in settling payments. However, the record playback approach has difficulties in maintaining automation scripts due to frequent changes and complicated component identification. In contrast, the data-driven approach minimizes changes in scripts and component identification. This study shows that the data-driven approach to test automation is more effective than the traditional record playback method. In 2014 before the test automation, the monthly average defects were 5.6 during the test and 12.5 during operation. In 2015 after the test automation, the monthly average defects were 9.4 during the test and 2.8 during operation. The comparison of live defects and detected errors during the test shows statistically significant differences before and after introducing the test automation using the data-driven approach.

• 대한기계학회:학술대회논문집
• /
• 대한기계학회 2007년도 춘계학술대회A
• /
• pp.1854-1858
• /
• 2007

The reliability assurance with respect to the test procedure and results of the out-pile mechanical performance test for the nuclear fuel assembly is an essential task to assure the test quality and to get a permission for fuel loading into the commercial reactor core. For the case of vibration test, which is carried out to obtain basic dynamic characteristics of the fuel assembly, proper management and appropriate calibration of instruments and devices used in the test, various efforts to minimize the possible error during the test and signal acquisition process are needed. Additionally, the deep understanding both of the theoretical assumption and simplification cation for the signal processing/modal analysis and of the functions of the devices used in the test were highly required. Finally, to verify the test result to represent the accurate natural characteristics of the structure, the proper correlation analysis between the theoretical and experimental method has to be carried out. In this study, the overall procedure and result of lateral vibration test for the fuel assembly's mechanical characterization were briefly introduced. A series of measures to assure and improve the reliability of the vibration test were discussed.

• Journal of Computing Science and Engineering
• /
• 제9권3호
• /
• pp.142-154
• /
• 2015

Fault localization techniques help locate faults in source codes by exploiting collected test information and have shown promising results. To precisely locate faults, the techniques require a large number of test cases that sufficiently exercise the executable statements together with the label information of each test case as a failure or a success. However, during the process of software development, developers may not have high-coverage test cases to effectively locate faults. With the test case generation techniques, a large number of test cases without expected outputs can be automatically generated. Whereas the execution results for generated test cases need to be inspected by developers, which brings much manual effort and potentially hampers fault-localization effectiveness. To address this problem, this paper presents a method to select a few test cases from a number of test cases without expected outputs for result inspection, and in the meantime selected test cases can still support effective fault localization. The experimental results show that our approach can significantly reduce the number of test cases that need to be inspected by developers and the effectiveness of fault localization techniques is close to that of whole test cases.

• 항공우주시스템공학회지
• /
• 제7권3호
• /
• pp.45-50
• /
• 2013

This is a research report about the method of how to maintain qualification of certification flight test crews. KCA(Korea Certification Agency) have completed the KC-100 airplane certification flight tests which is the first time experienced flight tests operation. After the certification flight test, it has been found that annual flying time requirement of 100 hours to the certification flight test pilot is too strict, and other several requirements to maintain the qualification of the certification test crew such as aircraft certification introduction training, initial flight test pilot and flight test engineer certification training, crew resource management training, aviation physiology training, and survival training was difficult to implement in Korean civil aviation environments. In this study, it was suggested that 30 hours of flying time for maintaining certification flight test pilot qualification could be applied to contribute for safe operation of certification flight test and the other training requirements of the certification flight test crew could be fulfilled using self made training courses, existing FAA training courses and Korean Air Force training resources. Therefore, it is recommended that the regulation of maintaining the certification flight test crew qualification should be refined to implement the requirement practically.

• ETRI Journal
• /
• 제28권4호
• /
• pp.475-485
• /
• 2006

Network-on-chip (NoC) is an emerging design paradigm intended to cope with future systems-on-chips (SoCs) containing numerous built-in cores. Since NoCs have some outstanding features regarding design complexity, timing, scalability, power dissipation and so on, widespread interest in this novel paradigm is likely to grow. The test strategy is a significant factor in the practicality and feasibility of NoC-based SoCs. Among the existing test issues for NoC-based SoCs, test access mechanism architecture and test scheduling particularly dominate the overall test performance. In this paper, we propose an efficient NoC-based SoC test scheduling algorithm based on a rectangle packing approach used for current SoC tests. In order to adopt the rectangle packing solution, we designed specific methods and configurations for testing NoC-based SoCs, such as test packet routing, test pattern generation, and absorption. Furthermore, we extended and improved the proposed algorithm using multiple test clocks. Experimental results using some ITC'02 benchmark circuits show that the proposed algorithm can reduce the overall test time by up to 55%, and 20% on average compared with previous works. In addition, the computation time of the algorithm is less than one second in most cases. Consequently, we expect the proposed scheduling algorithm to be a promising and competitive method for testing NoC-based SoCs.