DMCA
Automatic Generation of Software Test Cases From Formal Specifications (1998)
| Citations: | 16 - 0 self |
BibTeX
@MISC{Meudec98automaticgeneration,
author = {Christophe Meudec},
title = {Automatic Generation of Software Test Cases From Formal Specifications},
year = {1998}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Software testing consumes a large percentage of total software development costs. Yet, it is still usually performed manually in a non rigorous fashion. While techniques, and limited automatic support, for the generation of test data from the actual code of the system under test have been well researched, test cases generation from a high level specification of the intended behaviour of the system being developed has hardly been addressed. In this thesis we present a rationale for using tests derived from high level formal specifications and then set to find an efficient technique for the generation of adequate test sets from specifications written in our study language, VDM-SL. In this work, we formalise the traditional high level partitioning technique used in a previously researched test cases generator prototype, and extend it to take the semantics of VDM-SL fully into account. We then discuss, and illustrate, the shortcomings of the technique as used, which results in too few test...
Keyphrases
formal specification automatic generation software test automatic support non rigorous fashion test data test case generation study language large percentage total software development cost actual code high level formal specification traditional high level partitioning technique test case generator prototype adequate test set efficient technique intended behaviour high level specification
