• Journal of KIISE
• /
• v.42 no.11
• /
• pp.1386-1396
• /
• 2015

Graphical user interface testing (GUI testing) techniques have been widely used to test the functionality of Android applications (apps) and to detect faults for verification of the reliability and usability of apps. To adequately test the behaviors of apps, a number of studies on model-based GUI testing techniques have been performed on Android apps. However, the effectiveness of model-based techniques greatly depends on the quality of the GUI model, because model-based GUI testing techniques generate test inputs based on this model. Therefore, in order to improve testing effectiveness in model-based techniques, accurate and efficient GUI model generation has to be achieved using an improved model generation technique with concrete definition of GUI states. For accurate and efficient generation of a GUI model and test inputs, this study suggests a hierarchical GUI state comparison technique and evaluates this technique through comparison with the existing model-based techniques, considering activities as GUI states. Our results show that the proposed technique outperforms existing approaches and has the potential to improve the performance of model-based GUI testing techniques for Android apps.

• Journal of KIISE
• /
• v.43 no.9
• /
• pp.953-962
• /
• 2016

Model-based testing is a technique for performing the test by using a model that represents the behavior of the system as a system specification. Industrial domains such as automotive, military/aerospace, medical, railway and nuclear power generation require model-based testing and code coverage-based testing to improve the quality of software. Despite the fact that both model-based testing and code coverage-based testing are required, difficulty in achieving a high coverage using model-based testing caused by the abstraction level difference between the test model and the source code, results in the need for performing model-based testing separately. In this study, to overcome the limitations of the existing model-based testing, we proposed the state machine transformation method to effectively improve the code coverage using the protocol state machine, one of the typical modeling methods is used as the test model in model-based testing, as the test model. In addition, we performed a case study of both systems and analyzed the effectiveness of the proposed method.

• KIISE Transactions on Computing Practices
• /
• v.21 no.2
• /
• pp.132-137
• /
• 2015

A real-time system is a system wherein the behavior of the system depends not only on the input but also on the timing of the input. Timed automata is a widely used model for real-time system modeling and analysis. Model-based testing is employed to check whether the system under test (SUT) works according to the model specifications by using test cases generated from models that represent software requirements. In this paper, a case study was performed applying the timed automata based testing tools, UPPAAL-TRON, UPPAAL-COVER and SYMBOLRT, to the same system. Comparison of the testing approaches and tools is then made based on the results of the case study.

• Journal of Information Processing Systems
• /
• v.14 no.3
• /
• pp.607-620
• /
• 2018

The problem surrounding methods of implementing the software testing process has come under the spotlight in recent times. However, as compliance with the software testing process does not necessarily bring with it immediate economic benefits, IT companies need to pursue more aggressive efforts to improve the process, and the software industry needs to makes every effort to improve the software testing process by evaluating the Test Maturity Model integration (TMMi). Furthermore, as the software test process is only at the initial level, high-quality software cannot be guaranteed. This paper applies TMMi model to Automobile control software testing process, including test policy and strategy, test planning, test monitoring and control, test design and execution, and test environment goal. The results suggest improvement of the automobile control software testing process based on Test maturity model. As a result, this study suggest IT organization's test process improve method.

• Journal of the Korea Society for Simulation
• /
• v.27 no.1
• /
• pp.25-32
• /
• 2018

This paper presents an efficient software reliability testing method for the model based auto-generated code and reify a dynamic test procedure. The benefits of executing the model-based each static/dynamic reliability test before the code-based static/dynamic reliability test are described. Also, The correlations of code/model based reliability test are demonstrated by using model testing tool, Model Advisor and Verification and Validation, and the code testing tool, PolySpace and LDRA. The result of reliability test is indicated in this paper.

• Journal of Institute of Control, Robotics and Systems
• /
• v.13 no.12
• /
• pp.1179-1185
• /
• 2007

This paper presents a new approach to automotive embedded systems development and validation. Recently automotive embedded systems become even more complex and the product life cycle is getting reduced. To overcome these problems AUTOSAR, a standardized software platform and component based approach, was introduced. Model-based approach has been widely applied in the development of embedded systems and has strong benefits such as early validation and automated testing. In this paper cooperative development and validation of AUTOSAR and model-based approach are introduced and automated testing techniques are proposed. With the proposed techniques we can improve complexity management through increased reuse and exchangeability of software module and automated testing is realized.

• Proceedings of the KSME Conference
• /
• 2001.06a
• /
• pp.553-560
• /
• 2001

Recently, ultrasonic testing simulation has becomes very important in the field of nondestructive evaluation due to its unique capability of providing testing signals without real inspection. The ultrasonic testing simulation requires three elementary models including the transducer beam radiation model, the flaw scattering model, and the reception model. In the present work, we briefly describe an approach to develop the ultrasonic testing model together with its elementary models with the multi-gaussian beam model. Based on this approach, we developed ultrasonic testing simulation program with MATLAB. The performance of the developed program is demonstrated by the predicting of ultrasonic signals from two types of flaws, circulars crack and spheres.

• Smart Structures and Systems
• /
• v.14 no.6
• /
• pp.1105-1129
• /
• 2014

The unscented Kalman filter (UKF) has been developed for nonlinear model parametric identification, and it assumes that the model parameters are symmetrically distributed about their mean values without any constrains. However, the parameters in many applications are confined within certain ranges to make sense physically. In this paper, a constrained unscented Kalman filter (CUKF) algorithm is proposed to improve accuracy of numerical substructure modeling in hybrid testing. During hybrid testing, the numerical models of numerical substructures which are assumed identical to the physical substructures are updated online with the CUKF approach based on the measurement data from physical substructures. The CUKF method adopts sigma points (i.e., sample points) projecting strategy, with which the positions and weights of sigma points violating constraints are modified. The effectiveness of the proposed hybrid testing method is verified by pure numerical simulation and real-time as well as slower hybrid tests with nonlinear specimens. The results show that the new method has better accuracy compared to conventional hybrid testing with fixed numerical model and hybrid testing based on model updating with UKF.

• Smart Structures and Systems
• /
• v.32 no.6
• /
• pp.371-382
• /
• 2023

Box girder bridges are now widely used in bridge construction, and it is necessary to perform load rating regularly to evaluate the load capacity of box girder bridges. Load testing is a common measure for load rating. However, the bridge must be loaded by many trucks under different loading conditions, which is time-consuming and laborious. To solve this problem, this paper proposes a load rating method for box girder bridges based on rapid moving loads testing. The method includes three steps. First, the quasi-influence factors of the bridge are obtained by crossing the bridge with rapidly moving loads, and the structural modal parameters are simultaneously obtained from the dynamic data to supplement. Second, an objective function is constructed, consisting of the quasi-influence factors at several measurement points and structural modal parameters. The finite element model for load rating is then updated based on the Rosenbrock method. Third, on this basis, a load rating method is proposed using the updated model. The load rating method proposed in this paper can considerably reduce the time duration of traditional static load testing and effectively utilize the dynamic and static properties of box girder bridges to obtain an accurate finite element model. The load capacity obtained based on the updated model can avoid the inconsistency of the evaluation results for the different structural members using the adjustment factors specified in codes.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.16 no.5
• /
• pp.1561-1583
• /
• 2022

Context: Testing is one of the techniques that can assure the quality of software including the domain of Software Product Line (SPL). Various techniques have been deliberated to enhance the quality of SPL including Model-based Testing (MBT). Objective: The objective of this study is to analyze and classify trends of MBT in SPL covering the solutions, issues and evaluation aspects by using taxonomy form. Method: A Systematic Literature Review (SLR) was conducted involving 63 primary studies from different sources. The selected studies were categorized based on their common characteristics. Results: Several findings can guide future research on MBT for SPL. The important finding is that the multiple measurements are still open to improving current metrics to evaluate test cases in MBT for SPL. The multiple types of measurement required a trade-off between maximization and minimization results to ensure the testing method which could satisfy multiple test criteria for example cost and effectiveness at the same time.