home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #26 / NN_1992_26.iso / spool / comp / specific / 524 < prev    next >
Encoding:
Text File  |  1992-11-11  |  613 b   |  22 lines

  1. Newsgroups: comp.specification
  2. Path: sparky!uunet!mcsun!ieunet!tcdcs!emcdnnll
  3. From: emcdnnll@cs.tcd.ie (Eoin McDonnell)
  4. Subject: Testing
  5. Message-ID: <1992Nov11.120250.12884@cs.tcd.ie>
  6. Summary: Ref's req'd for use of formal spec's in software testing
  7. Keywords: Testing,formal specification
  8. Organization: Computer Science, Trinity College Dublin
  9. Date: Wed, 11 Nov 1992 12:02:50 GMT
  10. Lines: 10
  11.  
  12.  
  13. Hi all,
  14.  
  15. I'm interested in finding out how formal specifications can be used to
  16. help design test programmes for software.   Any references would be
  17. appreciated.
  18.  
  19. Thanks,
  20.  
  21. Eoin Mc Donnell.               emcdnnll@cs.tcd.ie
  22.