Lionel Draghi [log in to unmask] 3/4/01 6:50 PM

>
>Anyway, as there is curently no such a mechanism. My idea is to build an
>ASIS tools to check the points where invalid value enter in the program
>("Unchecked_Conversion", 'read, 'input, ...) and to warn the programmer
>if some of the dangerous fields are used without a 'Valid check.
>Not so easy to do... Does-it exist?
>
>Lionel Draghi.

Lionel,

I'd like to point you to some information in response to your
comment "...to build an ASIS tool...". We may already have the
foundation upon which you can build.

A few years back we had an SBIR (Small Business Innovative Research)
contract with the Air Force.  We developed something we called
MTV Builder. MTV Builder is a PC-based tool that simplifies message
specification and automatically generates Ada95 message translation
and validation (MTV) software.

MTV software is a vital component in the integration of a diverse
community of disparate systems and devices. Accel's MTV Builder
replaces the traditionally time consuming and error prone manual
coding process. MTV Builder provides System Integration professionals
with an engineered solution for constructing MTV software quickly,
inexpensively, and reliably.

If you visit our web site (www.accelse.com), you can get more information
on MTV Builder. There are several white papers, one specifically provide
a good overview (http://www.accelse.com/mtv/MTVBld_WhitePaper.pdf)
and you can even download a demo of the tool.

Chuck



Accel Software Engineering                         (w) 724-733-8800
9 Mellon Road                                      (f) 724-733-8820
Export, PA 15632                                   [log in to unmask]
                                                   http://www.accelse.com/