Re: Do you do ASIS?

[Rush Kester <Rush.Kester@jhuapl.edu>]

I think another untapped market for ASIS is Independent Verification &
Validation (IV&V).  I'm working on an IV&V task and plan to use ASIS to
help develop special tools for the  static analysis of the source code.
Once I get over the significant learning curve, I hope to be able to build
tool that will permit  me to do "What if?" and "What about?" type questions
that arise periodically in this type of work.

There are some general purpose tools used in IV:&V work, which for example,
generate cross-references or allow interactive code navigation, but they
require a significant time or manual analysis.  With ASIS, once an analysis
tool is built, the same analysis can be performed for each new release or
on new projects with much less effort than is currently required.

Rush Kester
Software Systems Engineer
AdaSoft at Johns Hopkins Applied Physics Lab.
email:  rush.kester@jhuapl.edu
phone: (240) 228-3030 (live M-F 9:30am-4:30pm, voicemail anytime)
fax:      (240) 228-6779
http://hometown.aol.com/rwkester/myhomepage/index.html


Joe Wisniewski wrote:

> I've spent the last year and a half involved in the ASIS world with
> several clients:
> writing applications, porting applications, working with ACT/GNAT
> and OCS to wring out/roll out/etc. their versions of ASIS 2.0,
> summarizing my lessons learned in a couple of ASIS-related papers, etc.
>
> Frankly speaking, it wasn't until a few years ago that I really
> knew what ASIS was all about. I am trying to assess, as a supplier
> of ASIS tools/expertise/etc and a general ASIS enthusiast, and
> determine the scope of the ASIS market.
>
>    I have touched base with several of the vendors and there are
>    varying degrees of interest and disinterest in pursuing any hard
>    marketing of ASIS
>    to their customers, for varying reasons.
>
>    On one hand, maybe I should simply trust the vendors. They should
>    know their customers best.
>
>    Or ... as with the two clients for which I have done ASIS work,
>    .... there is such a paucity of "ASIS talent" out there that most
>    clients have given up on utilizing ASIS
>
>    Or ... the compiler vendor for a given customer is just not doing
>    anything with ASIS
>    (and if the users knew that other vendors WERE supplying ASIS ..
>     they might give that vendor a look see ...)
>
>    Or ..... there is not a market, or they have all the tools that
>    they need or are choosing not to port them to Ada95.
>
>    Or ASIS is a solution chasing a problem, and the number of ASIS
>    tools that can be written is a bounded set and supplying ASIS
>    to customers really doesn't do the customers much good.
>
>    Or ... something else ...
>
> Any thoughts?
>
> Thanx
>
> Joe Wisniewski     Commercial Software Solutions, Ltd (CSS)
>    wisniew@acm.org
>     (Voice/Msg)   877/301-538-0136
>     (Fax)         301-987-9709
>
> "Dico tibi verum, libertas optima rerum;
> Nunquam servili sub nexu vivito, fili." - WW
>
> Sent via Deja.com http://www.deja.com/
> Before you buy.