WIT Press


An Approach To Specification-based Testing Systems

Price

Free (open access)

Paper DOI

10.2495/SQE970251

Volume

17

Pages

10

Published

1997

Size

792 kb

Author(s)

A. Mohd Zin, A. Al-Amayreh & E. Foxle

Abstract

At the end of a software development process, there is a need for software verification. The aim of the software verification is to assess the software product to determine conformance to its specification. There are a few methods which can be used for doing this. However, the most popular method is software testing. For software testing to be done effectively, there is a need to select proper test cases such that all aspects of the software can be tested. In this paper we describe a technique for generating test cases automatically from the formal specification of the software. We also describe a testing system based on this technique. 1. Introduction Software verification is normally done

Keywords