From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-1.0 required=5.0 tests=MAILING_LIST_MULTI, RCVD_IN_DNSWL_NONE,SPF_PASS autolearn=ham autolearn_force=no version=3.4.2 Received: (qmail 17804 invoked from network); 5 May 2020 20:32:49 -0000 Received-SPF: pass (minnie.tuhs.org: domain of minnie.tuhs.org designates 45.79.103.53 as permitted sender) receiver=inbox.vuxu.org; client-ip=45.79.103.53 envelope-from= Received: from minnie.tuhs.org (45.79.103.53) by inbox.vuxu.org with ESMTPUTF8; 5 May 2020 20:32:49 -0000 Received: by minnie.tuhs.org (Postfix, from userid 112) id 351169CAA6; Wed, 6 May 2020 06:32:46 +1000 (AEST) Received: from minnie.tuhs.org (localhost [127.0.0.1]) by minnie.tuhs.org (Postfix) with ESMTP id 0A9DF9CA1C; Wed, 6 May 2020 06:32:21 +1000 (AEST) Received: by minnie.tuhs.org (Postfix, from userid 112) id EA3019CA1C; Wed, 6 May 2020 06:32:18 +1000 (AEST) X-Greylist: delayed 5864 seconds by postgrey-1.36 at minnie.tuhs.org; Wed, 06 May 2020 06:32:18 AEST Received: from sys10.scotnet.net (relay.scotnet.co.uk [217.16.223.20]) by minnie.tuhs.org (Postfix) with ESMTP id 254DA9C9B7 for ; Wed, 6 May 2020 06:32:18 +1000 (AEST) Received: from [192.168.0.112] (188.28.50.180.threembb.co.uk [188.28.50.180]) (authenticated bits=0) by sys10.scotnet.net (8.13.6/8.13.5) with ESMTP id 045IrtR1018380; Tue, 5 May 2020 19:54:15 +0100 Content-Type: text/plain; charset=utf-8 Mime-Version: 1.0 (Mac OS X Mail 9.3 \(3124\)) From: Dr Iain Maoileoin In-Reply-To: Date: Tue, 5 May 2020 19:53:59 +0100 Content-Transfer-Encoding: quoted-printable Message-Id: <3C1A26DC-2FC2-4EEA-A7FF-32FFD83E0007@csp-partnership.co.uk> References: <2F4C604D-F01C-4A82-948A-7E77093B48A1@planet.nl> <21F16C75-62AB-422A-A43F-981407E11434@planet.nl> <8D548BBE-AB7A-457E-87F8-F3718A9AC4B7@acm.org> To: Paul Winalski X-Mailer: Apple Mail (2.3124) Subject: Re: [TUHS] DEC Compilers (was: Re: SDB debugger X-BeenThere: tuhs@minnie.tuhs.org X-Mailman-Version: 2.1.26 Precedence: list List-Id: The Unix Heritage Society mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Cc: TUHS main list Errors-To: tuhs-bounces@minnie.tuhs.org Sender: "TUHS" > On 5 May 2020, at 18:36, Paul Winalski = wrote: >=20 > On 5/4/20, Win Treese wrote: >>=20 >> =E2=80=A6. >> This caused a little bit of consternation with some of the compiler = teams at >> first. >=20 > I remember that very well. IIRC it was called fuzz testing, and > =E2=80=A6. > compiler team has also used random testing technology. >=20 >> [1] https://www.hpl.hp.com/hpjournal/dtj/vol10num1/vol10num1art9.pdf >=20 > -Paul W. Way back in the deep past - late 70s I think - The Computer Science = Department at Strathclyde Uni in Scotland had a contract to develop a = test suite generator for the C compiler on the ICL perq computer. I = think the testing/development for that compiler was happening at = Dalkeith in Scotland - but dont quote me. Like the above we generated programs (e.g. mixing short, int, long = signed and unsigned and doing all sort of ops on them). The expected = output was computed by the same C program running on a BSD unix vax and = something else. We had a few issues with the vax and the other system = disagreeing on the arithmetic results, but generally we were confident = the random C programs would reasonably test the system under test. We = did not get to see the results of the tests, we developed the suite and = handed it over to ICL. Overall we were not impressed by the PERQ and on a trip to Rutherford = Appleton Labs (RAL) one November there was a HUGE bonfire being prepared = (for our Guy Falkes(sp) celebration). The bonfire was generally = comprised of the PERQ cardboard packing cases. It just looked like they = were planning to burn the PERQs themselves. We agreed with the = sentiment.=