• Journal of KIISE:Software and Applications
• /
• v.36 no.1
• /
• pp.45-53
• /
• 2009

In these days GUI components are recognized as the important driving elements to the successful software development. Thus they must be verified. In practice, however, GUI testing for verifying the GUI components needs lots of time and high costs. Test automation for GUI testing is a promising solution to save those expenses. In this paper, we discuss some issues considered to perform GUI testing and suggest a new method that improve the GUI test case generation method based on our previous 'record & playback' approach. For this, we suggest the event generation method using the 'spy' technique and the scenario generation method that generates effectively a lot of scenarios with the generated events. In turn we describe how to create GUI test cases from the generated scenarios.

• Journal of Information Processing Systems
• /
• v.7 no.2
• /
• pp.363-384
• /
• 2011

As the complexity of software is increasing, generating an effective test data has become a necessity. This necessity has increased the demand for techniques that can generate test data effectively. This paper proposes a test data generation technique based on adequacy based testing criteria. Adequacy based testing criteria uses the concept of mutation analysis to check the adequacy of test data. In general, mutation analysis is applied after the test data is generated. But, in this work, we propose a technique that applies mutation analysis at the time of test data generation only, rather than applying it after the test data has been generated. This saves significant amount of time (required to generate adequate test cases) as compared to the latter case as the total time in the latter case is the sum of the time to generate test data and the time to apply mutation analysis to the generated test data. We also use genetic algorithms that explore the complete domain of the program to provide near-global optimum solution. In this paper, we first define and explain the proposed technique. Then we validate the proposed technique using ten real time programs. The proposed technique is compared with path testing technique (that use reliability based testing criteria) for these ten programs. The results show that the adequacy based proposed technique is better than the reliability based path testing technique and there is a significant reduce in number of generated test cases and time taken to generate test cases.

• Journal of IKEEE
• /
• v.14 no.3
• /
• pp.210-218
• /
• 2010

TTCN-3(Testing & Test Control Notation Version 3) is the international standard testing language defined by ETSI in 2001. TTCN-3 is generally used for protocol conformance test, but it is also possible to be applied to the platform and API tests based on CORBA. Moreover, it can be also applied to the various testings such as interworking testing, repetition testing, platform testing, etc. IEC 61850 is the protocol proposed for SAS(Substation Automation System) of SCADA(Supervisory Control And Data Acquisition) system. In this paper, a IEC 61850 interoperability Tester based TTCN-3 is developed under the Window environment. IEC 61850 Server Simulator of Linux operating system is used as SUT(System Under Test). Conformance testing items in this paper are the Positive test case_Srv5 of "Server, Logical device, Logical node, and data model" in the testing group of "IEC 61850 - Part10" document.

• Journal of the Korea Society for Simulation
• /
• v.20 no.3
• /
• pp.19-28
• /
• 2011

Adaptive Random Testing (ART) aims to enhance the performance of pure random testing by detecting failure region in a software. The ART algorithm generates effective test cases which requires less number of test cases than that of pure random testing. However, all ART algorithms currently proposed are designed for the tests of monolithic system or unit level. In case of integrated system tests, ART approaches do not achieve same performances as those of ARTs applied to the unit or monolithic system. In this paper, we propose an extended ART algorithm which can be applied to the integrated system testing environment without degradation of performance. The proposed approach investigates an input distribution of the unit under a test with limited number of seed input data and generates information to be used to resizing input domain partitions. The simulation results show that our approach in an integration environment could achieve similar level of performance as an ART is applied to a unit testing. Results also show resilient effectiveness for various failure rates.

• Journal of KIISE:Software and Applications
• /
• v.36 no.5
• /
• pp.361-375
• /
• 2009

The major concern of component users who develop applications using the existing components is to confirm whether a component is collaborating with the different components in accordance with the requirements. Therefore, interoperability testing whose role is to check whether components collaborate with each other within the new operating environment not within the component development content of each component is considered as an importance research topic. In this paper, we propose a test case generation technique for interoperability test of component based software. The proposed technique defines a test model for generating test cases. The proposed technique generates test models from the use case specification and thereafter from these models, test cases for Interoperability testing are derived. In addition, we describe a tool which Implements the procedures for generating test sequences from test models.

• Journal of the Korean Society for Nondestructive Testing
• /
• v.11 no.1
• /
• pp.38-43
• /
• 1991

The relationship between eddy current response and case hardening depth has been studied on SM40C(KS D-3752) and SCM440(KS D-3711) steels which were surface hardened by high frequency induction hardening. The results obtained in this study were as follows ; 1) Case hardening depth was successfully measured by observing the eddy current impedance changes of each steel. The impedance decreased linearly with increasing case hardening depth. 2) For large impedance gradient between the hardened surface and core metal, the eddy current response was more sensitive to case hardening depth than for low impedance gradient.

• Journal of the Korea Society of Computer and Information
• /
• v.23 no.2
• /
• pp.9-16
• /
• 2018

Recently, as various IP set-top boxes based on Android OS have been widely used in general households and public facilities, complaints about services and set-top boxes have continued to increase as much as other smart devices. In order to reduce this problem, the manufacturer performs the testing work before the product is commercialized. However, the testing can reduce potential defects in the product, but it can not prove that the product is free of defects. Therefore, the quality of the product can vary depending on how effective testing techniques are introduced. In this paper, we propose a new exploratory testing method that minimizes test case creation time and makes it easier to plan and execute test while simultaneously learning how to run the product under test. Using the first proposed method, the test time is reduced by about 16.7 hours and the defect detection rate is 25.4% higher than the formal specification-based testing method. Informally, the test time was shortened by about 4.7 hours and the defect detection rate was 13% higher than the informal experience-based testing method.

• International Journal of Reliability and Applications
• /
• v.9 no.2
• /
• pp.125-140
• /
• 2008

The new better than used failure rate (NBUFR), Abouammoh and Ahmed (1988), and new better than average failure rate (NBAFR) Loh (1984) classes of life distributions, have been considered in the literature as natural weakenings of NBU (NWU) property. The paper considers testing exponentiality against strictly NBUFR (NBAFR) alternatives, or their duals, based on goodness of fit approach that is possible in life testing problems and that it results in simpler procedures that are asymptotically equivalent or better than standard ones. They may also have superior finite sample behavior. The asymptotic normality are proved. Powers, Pitman asymptotic efficiency and critical points are computed. Dealing with censored data case also studied. Practical applications of our tests in the medical sciences are present.

• Journal of KIISE:Software and Applications
• /
• v.37 no.10
• /
• pp.768-772
• /
• 2010

Concolic testing generates test data by combining concrete program execution and symbolic execution to achieve high test coverage. CREST is a representative open-source test tool implementing concolic testing. Currently, however, CREST aims at exploring all possible execution paths. In case of testing a specific branch or block, thus, it can be ineffective. This paper suggests a goal-oriented concolic testing that generates test data to execute a given branch or block.

• Journal of the Korean Data and Information Science Society
• /
• v.27 no.3
• /
• pp.835-844
• /
• 2016

We develop the testing procedures about the homogeneity of the shape parameters of several inverse Gaussian distributions in our paper. We propose default Bayesian testing procedures for the shape parameters under the reference priors. The Bayes factor based on the proper priors gives the successful results for Bayesian hypothesis testing. For the case of the lack of information, the noninformative priors such as Jereys' prior or the reference prior can be used. Jereys' prior or the reference prior involves the undefined constants in the computation of the Bayes factors. Therefore under the reference priors, we develop the Bayesian testing procedures with the intrinsic Bayes factors and the fractional Bayes factor. Simulation study for the performance of the developed testing procedures is given, and an example for illustration is given.