Toggle Main Menu Toggle Search

Open Access padlockePrints

Finite State Testing of Structured Programs

Lookup NU author(s):

Downloads

Full text is not currently available for this publication.


Abstract

The research reported in this paper is concerned with the testing of software which is being developed in a structured way. The advantages which accrue from a well structured or modular organisation of software depend upon an ability to independently test a module well before the full development of all the modules with which it communicates. This paper describes a technique (finite state testing) which effectively organises data objects into equivalence classes and exercises a module using a representative of each class. As a technique it has an affinity with both the type checking performed by a conventional compiler and the assertion checking performed by a so-called verifying compiler. It is however a practical technique which has been used in experimental systems and is being incorporated in a prototype program development system.


Publication metadata

Author(s): Henderson P, Quarendon P

Publication type: Report

Publication status: Published

Series Title: Computing Laboratory Technical Report Series

Year: 1974

Pages: 14

Report Number: 58

Institution: Computing Laboratory, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne

URL: http://www.cs.ncl.ac.uk/publications/trs/papers/58.pdf


Share