Path: utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!tut.cis.ohio-state.edu!ucbvax!agate!hughes@math.Berkeley.EDU
From: hughes@math.Berkeley.EDU (Eric Hughes)
Newsgroups: comp.sw.components
Subject: Re: interface verification, etc.  (was Using Components)
Message-ID: <24638@agate.BERKELEY.EDU>
Date: 20 May 89 04:29:20 GMT
References: <TED.89May18121429@kythera.nmsu.edu> <5535@hubcap.clemson.edu>
Sender: usenet@agate.BERKELEY.EDU
Reply-To: hughes@math.Berkeley.EDU (Eric Hughes)
Organization: UCB Mathematics Department
Lines: 11
In-reply-to: billwolf%hazel.cs.clemson.edu@hubcap.clemson.edu (William Thomas Wolfe,2847,)

In article <5535@hubcap.clemson.edu>, billwolf%hazel (William Thomas Wolfe,2847,) writes:
>						  If a "full verification"
>   was done, including semantics, then integration testing would become
>   unnecessary.

Are you asserting that it is both possible and feasible to specify
the semantics of a component so completely that integration testing
becomes unnecessary?  

Eric Hughes
hughes@math.berkeley.edu   ucbvax!math!hughes