WIT Press


Automating Test By Adding Formal Specification: An Experience For Database Bound Applications

Price

Free (open access)

Paper DOI

10.2495/SQE970261

Volume

17

Pages

10

Published

1997

Size

933 kb

Author(s)

E. Sabbatini, M. Crubellati & S. Siciliano

Abstract

This paper describes a method and a generalised tool for the automatic generation of functional testcases. The test generator is part of a more comprehensive product that also includes an interpreter which is able to determine the expected results of the generated tests. The study starts from the functional specifications of a software product, constructed on a traditional development model, and provides a system decomposition methodology. A general formal way to describe functional specification is given, obtaining the criteria to follow in choosing the language to produce functional tests. The general approach, the tool structure and some examples are shown and described be

Keywords