🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: comp.std.c
Article #4338

QA and Mechanically Verifiable Coding Standards

#4338
From: Paton Keith
Date: Tue, 07 Nov 1995 10:31
19 lines
1009 bytes
QA and Mechanically Verifiable Coding Standards

I am gathering a collection of C and C++ coding standards; 
I want to analyze them to find overlaps, contradictions, and 
justifications.  

I also want to express them as rules for my rule-driven system.
This verifies that a piece of code satisfies given standards.
I already have several sets of coding guidelines and standards.  

If your code is expected to satisfy standards I would be interested
to know what those standards are.  

I shall compile all replies into a report and send that report to 
all who reply.

Keith Paton
Paton System Design
paton@infobahnos.com
Technical Details
Message-ID: <47lp4c$esf@news.infobahnos.com>
Path: arc1-ca.pugleaf.net!news.infobahnos.com!usenet

Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!news.infobahnos.com!usenet
From: paton@infobahnos.com (Paton Keith)
Newsgroups: comp.std.c
Subject: QA and Mechanically Verifiable Coding Standards
Date: Tue, 07 Nov 1995 10:31:14 GMT
Organization: Infobahn Online Services
Message-ID: <47lp4c$esf@news.infobahnos.com>
NNTP-Posting-Host: dialup31.infobahnos.com
X-Newsreader: Forte Free Agent 1.0.82