• Journal of the Korean Data and Information Science Society
• /
• 제14권4호
• /
• pp.951-963
• /
• 2003

In this paper, we propose goodness of fit test statistics based on the estimated Kullback-Leibler information functions using the data from three step stress accelerated life test. This acceleration model is assumed to be a tampered random variable model. The power of the proposed test under various alternatives is compared with Kolmogorov-Smirnov statistic, Cramer-von Mises statistic and Anderson-Darling statistic.

• 한국기계연구소 소보
• /
• 통권9호
• /
• pp.183-191
• /
• 1982

This report describes the analysis method of the full-scale propulsive performance by using the data of model test and the full-scale speed trial. The model test data were analyzed by the computer program "PPTT" based on "1978 ITTC Performance Prediction Method for Single Screw Ships." Also the full-scale speed trial data were analyzed by the computer program "SSTT" based on the newly proposed “SRS-KIMM Standard Method of Speed Trial Analysis." An analysis of model and full-scale test data was carried out for a 60.000 DWT Bulk Carrier and the correlation between model and full-scale ship was stuied.

• 반도체디스플레이기술학회지
• /
• 제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.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제4권1호
• /
• pp.19-30
• /
• 2015

스마트 TV 제조사들은 스마트 TV 테스트 비용을 줄이기 위하여 테스트 스크립트 자동 실행 환경을 구축하고 있다. 그러나 기존의 테스트 방법은 테스트 스크립트가 테스터에 의해 수동으로 작성되기 때문에, 테스트 스크립트의 재사용성은 높지 않다. 이는 새로운 TV 모델을 위한 테스트 스크립트가 새롭게 작성되어야 함을 의미한다. 본 논문에서는 재사용성이 높은 스마트 TV 테스트 모델 작성법을 제안하고 이를 이용한 스마트 TV 테스트 스크립트 생성 방법을 소개한다. 그리고 NetCast TV에 모델 기반 테스트 스크립트 생성 방법을 적용하여 유효성을 확인하였다.

• 한국군사과학기술학회지
• /
• 제27권2호
• /
• pp.203-212
• /
• 2024

This paper describes the establishment of defense systems test works architecture model for the efficient operation of an expanded test organization and the provision of standardized test services after the integration of proving grounds in ADD. The system engineering vee model is applied to the defense system test works to define the project management model and the unit-test management model. In order to establish the defense systems test works architecture model, the process flow of test works, artifacts by life cycle, and interrelations between regulations and test works are explained, and Integrated Test Information System for implementation of architecture model is discussed. Through the defense systems test works architecture model presented in this study, it will contribute to quickly responding to the test requirements of complex and diverse defense systems, efficiently managing projects, and providing standardized test services.

• 한국군사과학기술학회지
• /
• 제20권5호
• /
• pp.688-699
• /
• 2017

Model-based test, a well-known method of the black box tests, is consisted of the following four steps : model construction using requirement, test case generation from the model, execution of a SUT (software under test) and detection failures. Among models constructed in the first step, state-based models such as UML standard State Machine are commonly used to design event-based embedded systems (e.g., weapon control systems). To generate test cases from state-based models in the next step, coverage-based techniques such as state coverage and transition coverage are used. Round-trip path coverage technique using W-Method, one of coverage-based techniques, is known as more effective method than others. However it has a limitation of low failure observability because the W-Method technique terminates a testing process when arrivals meet states already visited and it is hard to decide the current state is completely same or not with the previous in the case like the GUI environment. In other words, there can exist unrevealed faults. Therefore, this study suggests a Extended W-Method. The Extended W-Method extends the round-trip path to a final state to improve failure observability. In this paper, we compare effectiveness and efficiency with requirement-item-based technique, W-Method and our Extended W-Method. The result shows that our technique can detect five and two more faults respectively and has the performance of 28 % and 42 % higher failure detection probability than the requirement-item-based and W-Method techniques, respectively.

• 응용통계연구
• /
• 제9권1호
• /
• pp.75-89
• /
• 1996

본 논문에서는 하나의 이진공변량(binary covariate)을 갖는 가산위험모형(additive risk model)의 적합도를 검정하기 위한 검정법을 제안하였다. 제안된 검정법은 마팅게일잔차(martingale residual)에 기초한 Wei(1984)의 비례위험모형(proportional hazards model)의 적합도검정법을 가산위험모형으로 확장한 형태이다. 제안된 검정통계량의 점근성질을 유도하였고 실제자료에 적용하여 보았다.

• 산업기술연구
• /
• 제32권A호
• /
• pp.125-128
• /
• 2012

In this paper, we proposed a prioritization method of test cases using a value estimation model of test sets, that are key elements for highly effective software testings as well as involve a large cost factor in software developments and maintenances. Based on previous studies, our idea includes introducing some practical factors of the test case prioritization which critically influence the value of a test case: Relative values of test sets before and after the test running, Average value of these two relative values, Severity of the defect, Risks that are covered, Frequency of use, Change related values, Systematic elicitations, etc. Finally we discussed the usefulness and the expected effects of the proposed scheme.

• 컴퓨터교육학회논문지
• /
• 제11권1호
• /
• pp.1-10
• /
• 2008

정보 교육에서 수업과 평가를 통합하는 과정지향적인 평가가 수시로 이루어지기 위해서는 평가자인 교사가 보다 편리한 방법으로 평가를 할 수 있게 지원해 주는 사용성(Usability)이 고려된 웹기반평가시스템이 필요하다. 본 연구에서는 기존의 웹기반평가시스템의 사용성 요소를 분석한 후, 오프라인 지필평가과정에 내재한 사용성 요소를 추출하여 사용성이 제고된 PBA(Paper-Based Assessment) 평가 모델을 제안하였다. PBA 모델에 의한 웹기반 평가시스템은 교사주도하에 평가전, 평가중, 평가후의 모든 과정이 제어된다. 특히 평가 대상을 손쉽게 바꿀 수 있고, 평가지에 대한 접근을 평가 단계마다 철저히 차단시켜 평가 결과에 대한 신뢰성을 높일 수 있다. 또한 학생들은 자신들의 학년, 반, 번호, 이름을 사용하여 손쉽게 평가지에 로그인할 수 있다. 본 논문에서는 이와같은 PBA 모델에 기초하여 정보교육용 웹기반평가시스템 PAS(PBA-based Assessment System)를 설계 및 구현하였다.

• Journal of the Korean Data and Information Science Society
• /
• 제24권6호
• /
• pp.1551-1559
• /
• 2013

In this paper, we analyze the Korean Won/Japanese 100 Yen exchange rate data based on the ARMA-GARCH model, and perform the test for detecting the parameter changes. As a test statistics, we employ the cumulative sum (CUSUM) test for ARMA-GARCH model, which is introduced by Lee and Song (2008). Our empirical analysis indicates that the KRW/JPY exchange rate series experienced several parameter changes during the period from January 2000 to December 2012, which leads to a fitting of AR-IGARCH model to the whole series.