Testing

Article View: comp.specification

Article #261

Back to comp.specification Previous Next

#261

From: Eoin McDonnell
Date: Wed, 11 Nov 1992 12:02

10 lines
634 bytes

Hi all,

I'm interested in finding out how formal specifications can be used to
help design test programmes for software.   Any references would be
appreciated.

Thanks,

Eoin Mc Donnell.               emcdnnll@cs.tcd.ie

Technical Details

Message-ID: <1992Nov11.120250.12884@cs.tcd.ie>

Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!ieunet!tcdcs!emcdnnll

Show Full Headers

Complete Article Headers

Newsgroups: comp.specification
Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!ieunet!tcdcs!emcdnnll
From: emcdnnll@cs.tcd.ie (Eoin McDonnell)
Subject: Testing
Message-ID: <1992Nov11.120250.12884@cs.tcd.ie>
Summary: Ref's req'd for use of formal spec's in software testing
Keywords: Testing,formal specification
Organization: Computer Science, Trinity College Dublin
Date: Wed, 11 Nov 1992 12:02:50 GMT
Lines: 10