🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: comp.std.c
Article #12

Re: ANSI C validation suite (Was: Re: Orca bashing (was Re: Amrit, C/C++))

#12
From: Jawaid Bazyar
Date: Tue, 27 Oct 1992 20:53
29 lines
2112 bytes
lwv26@cas.org (Larry W. Virden) writes:

>In article <1bm7l4INNj9a@gap.caltech.edu>, toddpw@cco.caltech.edu (Todd P. Whitesel) says:

>> There is also the fact that Mike owns only an ISO Pascal validation suite --
>> ANSI C validation suites are _EXPENSIVE_ and he hasn't been able to afford one.
>> I am not joking. It's disgusting how much those things cost.

>Perhaps it is time for Internet or at least FSF to build it's own ANSI C
>suite?  I think I have only heard of one or two of this critters in existence
>- and the first was written I believe by one of the members of the ANSI C
>team.  Anyone know of an effort under way to write a freely distributable
>ANSI C validation suite?  Anyone want to detail what would need to be present
>to be considered a true validation suite?

  First off, you'd need to get the ANSI C spec.  $50 from ANSI.  Then,
you sit down and write lots of little C programs to verify particular
points in the standard specification.  That's the easy part.
  The hard part is going through the C language itself, and writing code
to validate various operations of arrays, pointers, etc. etc. etc.
While writing test suites is not all that hard, it is time consuming
and does require a good deal of advance planning.

  Kudos to someone who makes one.
-- 
 Jawaid Bazyar              |   Ask me about the GNO Multitasking Environment
 Procyon, Inc.              |   for the Apple IIgs!   
 bazyar@cs.uiuc.edu         |   P.O Box 620334
 --Apple II Forever!--      |   Littleton, CO 80162-0334   (303) 933-4649
Technical Details
Message-ID: <bazyar.720219200@teal>
Path: arc1-ca.pugleaf.net!sparky!uunet!ukma!cs.widener.edu!dsinc!ub!csn!teal!bazyar
References: <uerics.719135119@mcl> <1992Oct15.144621.21197@klaava.Helsinki.FI> <1bm7l4INNj9a@gap.caltech.edu> <1992Oct27.095129.4578@cas.org>

Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!sparky!uunet!ukma!cs.widener.edu!dsinc!ub!csn!teal!bazyar
From: bazyar@teal.csn.org (Jawaid Bazyar)
Newsgroups: comp.std.c
Subject: Re: ANSI C validation suite (Was: Re: Orca bashing (was Re: Amrit, C/C++))
Message-ID: <bazyar.720219200@teal>
Date: 27 Oct 92 20:53:20 GMT
References: <uerics.719135119@mcl> <1992Oct15.144621.21197@klaava.Helsinki.FI> <1bm7l4INNj9a@gap.caltech.edu> <1992Oct27.095129.4578@cas.org>
Sender: news@csn.org (news)
Organization: Colorado SuperNet, Inc.
Lines: 29
Nntp-Posting-Host: teal.csn.org