Xref: utzoo news.groups:22999 comp.misc:9815 comp.software-eng:4054 Path: utzoo!utgpu!news-server.csri.toronto.edu!math.lsa.umich.edu!caen!uakari.primate.wisc.edu!samsung!cs.utexas.edu!uunet!hsi!stpstn!cox From: cox@stpstn.UUCP (Brad Cox) Newsgroups: news.groups,comp.misc,comp.software-eng Subject: Re: 2nd CALL FOR DISCUSSION: comp.sw-testing Message-ID: <5459@stpstn.UUCP> Date: 14 Aug 90 14:13:14 GMT References: Reply-To: cox@stpstn.UUCP (Brad Cox) Organization: Stepstone Lines: 20 In article etxtsg@solsta8.solsta.ericsson.se (Thomas Grennefors TX/DKI) writes: > >The purpose of this group will be to discuss software testing. Please, do not name this group *testing*, as if testing can be considered in isolation, without regard to *specification*. Testing can be dissected away and considered separately from implementation, but not even in principle from specification. Considering specification and testing together would encourage the group to think about the prospect of specification 'compilers'. These accept some high-level notation, the specification, and 'compile' it into tests, executable code that determines whether some putative implementation complies within tolerance to its specification. -- Brad Cox; cox@stepstone.com; CI$ 71230,647; 203 426 1875 The Stepstone Corporation; 75 Glen Road; Sandy Hook CT 06482