home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #19 / NN_1992_19.iso / spool / comp / software / 3327 < prev    next >
Encoding:
Internet Message Format  |  1992-08-31  |  1.0 KB
  1. Path: sparky!uunet!dtix!darwin.sura.net!wupost!sdd.hp.com!uakari.primate.wisc.edu!ames!agate!linus!linus.mitre.org!mitre.org!troyer
  2. From: troyer@mitre.org (Tom Royer)
  3. Newsgroups: comp.software-eng
  4. Subject: Testing Complex Systems
  5. Message-ID: <1992Aug31.135414.5265@linus.mitre.org>
  6. Date: 31 Aug 92 13:54:14 GMT
  7. Sender: news@linus.mitre.org (News Service)
  8. Organization: The MITRE Corporation
  9. Lines: 16
  10. Nntp-Posting-Host: tcrmac.mitre.org
  11.  
  12. Given a real-time, embedded, distributed, asynchronous (and all those other
  13. adjectives that imply complex and difficult) system, how does one go about
  14. testing the resulting software product to make sure that it really works?
  15.  
  16. Functional requirements testing is, of course, necessary, but probing the
  17. system for the presence (or absence) of race conditions, deadlocks and other
  18. timing related problems is much, much more.
  19.  
  20. Is it possible to establish a general approach (algorithm?) to testing
  21. such a system?
  22.  
  23. If you had to teach novice software engineers how to test such a system,
  24. what would you tell them?
  25.  
  26. --
  27. Tom Royer
  28.