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, Aug. 2017
10.3745/KTSDE.2017.6.8.385,   PDF Download:
Keywords: test case generation, Model-Based Development, Custom Parser, SMT Solver
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 September 1st, 2017)
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 article
[IEEE 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.

[ACM Style]
Ki-Wook Shin and Dong-Jin Lim. 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.