Article View: comp.sw.components
Article #455Re: interface verification, etc. (was Using Components)
From: Eric Hughes
Date: Sat, 20 May 1989 04:29
Date: Sat, 20 May 1989 04:29
11 lines
1078 bytes
1078 bytes
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
Technical Details
Message-ID:
<24638@agate.BERKELEY.EDU>Path:
arc1-ca.pugleaf.net!utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!tut.cis.ohio-state.edu!ucbvax!agate!hughes@math.Berkeley.EDUReferences:
<TED.89May18121429@kythera.nmsu.edu> <5535@hubcap.clemson.edu>Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!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,)