Article View: comp.std.c
Article #4338QA and Mechanically Verifiable Coding Standards
From: Paton Keith
Date: Tue, 07 Nov 1995 10:31
Date: Tue, 07 Nov 1995 10:31
19 lines
1009 bytes
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!usenetShow 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