Automatic Test Case Generation Through 1-to-1 Requirement Modeling


The KIPS Transactions:PartD, Vol. 17, No. 1, pp. 41-52, Feb. 2010
10.3745/KIPSTD.2010.17.1.41,   PDF Download:

Abstract

A relation between generated test cases and an original requirement is important, but it becomes very complex because a relation between requirement models and requirements are m-to-n in automatic test case generation based on models. In this paper, I suggest automatic generation technique for REED (REquirement EDitor), 1-to-1 requirement modeling tool. Test cases are generated though 3 steps, Coverage Target Generation, IORT (Input Output Relation Tree)Generation, and Test Cases Generation. All these steps are running automatically. The generated test cases can be generated from a single requirement. As a result of applying to three real commercial systems, there are 5566 test cases for the Temperature Controller, 3757 test cases for Bus Card Terminal, and 4611 test cases for Excavator Controller.


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]
J. S. Oh, K. H. Choi, G. H. Jung, "Automatic Test Case Generation Through 1-to-1 Requirement Modeling," The KIPS Transactions:PartD, vol. 17, no. 1, pp. 41-52, 2010. DOI: 10.3745/KIPSTD.2010.17.1.41.

[ACM Style]
Jung Sup Oh, Kyung Hee Choi, and Gi Hyun Jung. 2010. Automatic Test Case Generation Through 1-to-1 Requirement Modeling. The KIPS Transactions:PartD, 17, 1, (2010), 41-52. DOI: 10.3745/KIPSTD.2010.17.1.41.