Model-Based Automatic Test Data Generation Method Using Custom Parser and SMT Solver

KIPS Transactions on Software and Data Engineering, Vol. 6, No.8, pp.385-390, August 2017
10.3745/KTSDE.2017.6.8.385, Full Text

Abstract

Because of the ever-increasing software complexity, model-based development techniques are becoming an essential technique in software development. However, even if model-based techniques are used, the test case generation for complex software is still a challenge to solve. In this paper, we propose a method to generate automatic test cases based on UML model using custom parser and SMT solver. By proposed technique, a test case can be generated even though the model is described in a platform independent language such as action language, or in a platform dependent language. In addition, a concolic execution technique is applied to efficiently generate test cases in the model. In this paper, we present a case study on the power window switch model of Hyundai Santa Fe through the proposed test case generation technique.


Statistics

Show / Hide Statistics

Statistics (Cumulative Counts from October 15, 2016)

Multiple requests among the same browser session are counted as one view. If you mouse over a chart, the values of data points will be shown.


Cite this paper

[KIPS Transactions Style]
K. Shin and D. Lim, "Model-Based Automatic Test Data Generation Method Using Custom Parser and SMT Solver," KIPS Transactions on Software and Data Engineering, Vol.6, No.8, pp.385-390, 2017, DOI: 10.3745/KTSDE.2017.6.8.385.

[IEEE Style]
Ki-Wook Shin and Dong-Jin Lim, "Model-Based Automatic Test Data Generation Method Using Custom Parser and SMT Solver," KIPS Transactions on Software and Data Engineering, vol. 6, no. 8, pp. 385-390, 2017. DOI: 10.3745/KTSDE.2017.6.8.385.

[ACM Style]
Shin, K. and Lim, D. 2017. Model-Based Automatic Test Data Generation Method Using Custom Parser and SMT Solver. KIPS Transactions on Software and Data Engineering, 6, 8, (2017), 385-390. DOI: 10.3745/KTSDE.2017.6.8.385.