From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.5-pre1 (2020-06-20) on ip-172-31-74-118.ec2.internal X-Spam-Level: X-Spam-Status: No, score=0.8 required=3.0 tests=BAYES_50 autolearn=ham autolearn_force=no version=3.4.5-pre1 Date: 28 Sep 93 13:11:11 GMT From: agate!spool.mu.edu!darwin.sura.net!osceola.cs.ucf.edu!longwood!crutchfi@u cbvax.Berkeley.EDU (Richard Crutchfield ) Subject: Re: Automated code inspection tools Message-ID: <289d5f$89l@osceola.cs.ucf.edu> List-Id: harryr@oh58d-pdssc.csg.ssd.fsi.com (Harry Rockefeller) writes: : In <1993Sep24.203830.27107@dale.ksc.nasa.gov> Gus Perez-Poveda asks: : : >Summary: Harris Space Systems Corp. would like some feedback on some of the : > Commercial-off-the-shelf automated code inspection tools available : > primarily for improving the productivity and quality of our ADA : > code developement. Science Applications International Corporation has a tool called AdaReVu that allows users to have standards (guidelines) for evaluating Ada source code built to suit the needs of the user. Currently they have 54 standards from SPC's Ada Software Quality and Style Guidelines. You can get additional info from crutchfr@orlada.saic.com or ruedam@orlada.saic.com or send request by mail to: Science Applications International Corporation 3045 Technology Parkway Orlando, Florida 32826-6700 (Dr. David Workman)