Formal Specifications as a Basis for Software Testing

Article View: comp.specification

Article #470

Back to comp.specification Previous Next

#470

From: Ian Bridge
Date: Tue, 25 Jun 1991 14:57

9 lines
885 bytes

I am currently engaged in a project to investigate methods for 
developing module and system test procedures on the basis of 
formal specifications of their functional behaviour.

Although I am aware of the work published by P.A.V.Hall ('88) and
I.J.Hayes ('85) I would interested to hear of any related work
in this area together with any comments on the adequacy of this 
approach.

Technical Details

Message-ID: <1991Jun25.145728.22216@cs.warwick.ac.uk>

Path:

arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!swrinde!zaphod.mps.ohio-state.edu!samsung!uunet!mcsun!ukc!warwick!cs.warwick.ac.uk!usenet

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!swrinde!zaphod.mps.ohio-state.edu!samsung!uunet!mcsun!ukc!warwick!cs.warwick.ac.uk!usenet
From: ianb@cs.warwick.ac.uk (Ian Bridge)
Newsgroups: comp.specification
Subject: Formal Specifications as a Basis for Software Testing
Message-ID: <1991Jun25.145728.22216@cs.warwick.ac.uk>
Date: 25 Jun 91 14:57:28 GMT
Sender: usenet@cs.warwick.ac.uk (Network News)
Organization: Computer Science, Warwick University, UK
Lines: 9