An Approach To Specification-based Testing Systems
Price
Free (open access)
Volume
17
Pages
10
Published
1997
Size
792 kb
Paper DOI
10.2495/SQE970251
Copyright
WIT Press
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
