Standard enforcement tool for ADA ?

Standard enforcement tool for ADA ?

[Stan Katossky]

Hello,

I am looking for a CASE tool for ADA code quality assesment, and more
specifically, programming standards enforcement verification.
I have been searching on the Internet for a while for such tool, but I
couldn't find anything relevant.
Can someone provide me with some references about that ?

Thank you in advance.

Stan KATOSSKY
Consulting in Software Maintenance
Riversoft, France

Re: Standard enforcement tool for ADA ?

[Larry Diehr]

Stan Katossky wrote:
> 
> Hello,
> 
> I am looking for a CASE tool for ADA code quality assesment, and more
> specifically, programming standards enforcement verification.
> I have been searching on the Internet for a while for such tool, but I
> couldn't find anything relevant.
> Can someone provide me with some references about that ?
> 

There are/were some tools that will read C code, and some of them may
include ADA - The one we used was from Abraxis.  Sorry, can't remember
the name of the tool, but their ads should be in the magazines.  To
handle the strictly formatting stuff (file heading comment blocks), we
wrote a C program using lex to parse the blocks for key words and small
action rouines to do the counting.  The program took a novice about a
week to write (and learn enough lex and C to cope).

I was the novice.

Larry Diehr

Re: Standard enforcement tool for ADA ?

[Bob Kitzberger]

We have two products: our Ada code-rule checker, and Ada Analyzer.
Contact product_info@rational.com

: I am looking for a CASE tool for ADA code quality assesment, and more
: specifically, programming standards enforcement verification.


--
Bob Kitzberger	      Rational Software Corporation       rlk@rational.com
http://www.rational.com http://www.rational.com/pst/products/testmate.html

Re: Standard enforcement tool for ADA ?

[Chris Morgan]

In article <3205f43c.622870820@news.pratique.fr> skatossk@pratique.fr
(Stan Katossky) writes:

   I am looking for a CASE tool for ADA code quality assesment, and more
   specifically, programming standards enforcement verification.
   I have been searching on the Internet for a while for such tool, but I
   couldn't find anything relevant.
   Can someone provide me with some references about that ?

I have some experience with Ada-ASSURED which does exactly what you
describe and much more besides. I think you should drop an e-mail to
jeff@grammatech.com (their marketing man) for more info. I will send
you more information by e-mail, if you wish, on my evaluation of
it. It's a good tool and they just released the latest version which
integrates nicely with a wide variety of compilers (e.g. VADS, GNAT,
RISCAda as I rememvber amonst others).

It also does pretty-printing to a high standard (including PS output).

Let me know if you want more info.

Chris Morgan

chris.morgan@baesema.co.uk

Re: Standard enforcement tool for ADA ?

[Ken Garlington]

Stan Katossky wrote:
> 
> Hello,
> 
> I am looking for a CASE tool for ADA code quality assesment, and more
> specifically, programming standards enforcement verification.
> I have been searching on the Internet for a while for such tool, but I
> couldn't find anything relevant.
> Can someone provide me with some references about that ?
> 

Try using the search engine at

   http://sw-eng.falls-church.va.us/AdaIC/forms/tool_form.html

with keyword "standard". You should get references for AdaQuest, 
Ada-ASSURED, Xinotech, and others. It doesn't have every tool out there,
but it's a start.

-- 
LMTAS - "Our Brand Means Quality"