Path: utzoo!utgpu!news-server.csri.toronto.edu!mailrus!tut.cis.ohio-state.edu!pt.cs.cmu.edu!sei!bwb
From: bwb@sei.cmu.edu (Bruce Benson)
Newsgroups: comp.software-eng
Subject: Re: Specification Tools and Code Testing
Message-ID: <8317@fy.sei.cmu.edu>
Date: 23 Aug 90 14:02:51 GMT
References: <5456@stpstn.UUCP> <1990Aug12.134735.22528@cbnewsm.att.com> <1990Aug13.140347.9441@nixtdc.uucp> <19578@well.sf.ca.us> <8316@fy.sei.cmu.edu>
Reply-To: bwb@sei.cmu.edu (Bruce Benson)
Distribution: usa
Organization: Software Engineering Institute, Pittsburgh, PA
Lines: 16

In article <8316@fy.sei.cmu.edu> bwb@sei.cmu.edu (Bruce Benson) writes:

>required the programmer to relook at just about every line of code.  This
>simple combined inspection and test eliminated (yup - zero) code errors.

Before I get flamed for this remark, let me clarify:  no errors detected in
independent test nor reported by the users.  This is in contrast to our
more normal situation of test finding a dozen or more system crashing 
errors and after "fixing" those, the users usually finding a handful of
their own.


* Bruce Benson                   + Internet  - bwb@sei.cmu.edu +       +
* Software Engineering Institute + Compuserv - 76226,3407      +    >--|>
* Carnegie Mellon University     + Voice     - 412 268 8469    +       +
* Pittsburgh PA 15213-3890       +                             +  US Air Force