home *** CD-ROM | disk | FTP | other *** search
- Newsgroups: comp.specification
- Path: 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
-
-
- 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
-