• Journal of the Korean Data and Information Science Society
• /
• v.14 no.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.

• 한국기계연구소 소보
• /
• s.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.

• Journal of the Semiconductor & Display Technology
• /
• v.16 no.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.

• KIPS Transactions on Software and Data Engineering
• /
• v.4 no.1
• /
• pp.19-30
• /
• 2015

Smart TV manufacturers have constructed automatic Smart TV execution environment for reducing cost of Smart TV testing. However, the conventional test methods still require high cost because of manual test script written by testers. Test scripts manully written have less reusability, and then less reusable scripts cannot be used for new TV models. In this paper, we propose constructing reusable test models for Smart TV and present a model-based Smart TV test script generation method using the modes. And we apply the method to NetCast Smart TV to confirm the effectiveness of enhancing reusability.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.27 no.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.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.20 no.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.

• The Korean Journal of Applied Statistics
• /
• v.9 no.1
• /
• pp.75-89
• /
• 1996

This paper proposes a goodness-of-fit test for checking the adequacy of the additive risk model with a binary covariate. The test statistic is based on martingale residuals, which is the extended form of Wei(1984)'s test. The proposed test is shown to be consistent and asymptotically normally distributed under the regularity conditions. Furthermore, the test procedure is illustrated with two set of real data and the results are discussed.

• Journal of Industrial Technology
• /
• v.32 no.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.

• The Journal of Korean Association of Computer Education
• /
• v.11 no.1
• /
• pp.1-10
• /
• 2008

Web-based Assessment System is needed for Process-Oriented Evaluation to integrate instructions into evaluation frequently in Informatics Education, and considered usability for supporting teachers to test more conveniently. First of all, we analyzed usability of traditional Web-based Assessment System, and proposed PBA(Paper-Based Assessment) model by extracting usability features of paper-pencil assessment in off-line. The evaluation system based on the PBA model controls the whole processes of tests; before-test, under-test, after-test. Especially, the system readily can change the target class, and control access to the test page during each step. Thus we can get high credibility about the test results. Moreover, students can login to the paper easily by using their grade, class, number and name. Finally, we designed and implemented the Web-based Assessment System for Informatics education on the basis of PBA model; PAS(PBA-based Assessment System).

• Journal of the Korean Data and Information Science Society
• /
• v.24 no.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.