home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #26 / NN_1992_26.iso / spool / sci / logic / 2027 < prev    next >
Encoding:
Internet Message Format  |  1992-11-14  |  2.0 KB
  1. Path: sparky!uunet!convex!darwin.sura.net!uvaarpa!concert!borg!news_server!martinc
  2. From: martinc@grover.cs.unc.edu (Charles R. Martin)
  3. Newsgroups: sci.logic
  4. Subject: Re: Computer Science vs. Software Eng. (was re: Natural Kinds)
  5. Message-ID: <MARTINC.92Nov13155844@grover.cs.unc.edu>
  6. Date: 13 Nov 92 20:58:44 GMT
  7. References: <1992Nov3.214913.25344@dcs.qmw.ac.uk> <MARTINC.92Nov9095218@grover.cs.unc.edu>
  8.     <1992Nov12.222503.15918@vax5.cit.cornell.edu>
  9. Sender: news@cs.unc.edu
  10. Followup-To: sci.logic
  11. Distribution: sci
  12. Organization: UNC Department of Computer Science
  13. Lines: 29
  14. In-reply-to: horj@vax5.cit.cornell.edu's message of 13 Nov 92 03:25:03 GMT
  15.  
  16. In article <1992Nov12.222503.15918@vax5.cit.cornell.edu> horj@vax5.cit.cornell.edu (Eric Scheirer) writes:
  17.  
  18.    There are, empirically, at least three major ways of detecting bugs:
  19.  
  20.      1. Use the program until it fails to work.  
  21.  
  22.      2. Try to construct a lot of test cases during development.
  23.  
  24.      3. Try to prove the program correct (in the Gries sense) before coding it,
  25.     and fail.
  26.  
  27.    Certainly, it would be possible to construct an argument that these 
  28.    methods correspond to "science", "engineering", and "math" respectively.
  29.  
  30. It's an interesting thought, but I'm afraid you're mistaken.  Consider
  31. the analogy with bridge-building that gets bandied about a lot -- an
  32. engineer building a bridge certainly uses mathematical analysis to check
  33. the idealiZed mathematical bridge against the specifications for that
  34. bridge.  Similarly, a software engineer should (and someday will!) use
  35. mathematical proof techniques to check the idealized program expressed
  36. as a program text against the program's specifications.
  37.  
  38.  
  39. --
  40.         Charles R. Martin/(Charlie)/martinc@cs.unc.edu
  41.      Dept. of Computer Science/CB #3175 UNC-CH/Chapel Hill, NC 27599-3175
  42.         3611 University Dr #13M/Durham, NC 27707/(919) 419 1754
  43.      "Oh God, please help me be civil in tongue, pure in thought, and able
  44.       to resist the temptation to laugh uncontrollably.  Amen." -- Rob T
  45.