From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,557136a92a6a20c7 X-Google-Attributes: gid103376,public From: Rush Kester Subject: Re: Do you do ASIS? Date: 2000/03/09 Message-ID: <38C7DA90.16FFE150@jhuapl.edu>#1/1 X-Deja-AN: 595169220 Content-Transfer-Encoding: 7bit References: <89ot3v$og9$1@nnrp1.deja.com> X-Accept-Language: en Content-Type: text/plain; charset=us-ascii X-Complaints-To: usenet@houston.jhuapl.edu X-Trace: houston.jhuapl.edu 952610913 17575 128.244.45.70 (9 Mar 2000 14:08:33 GMT) Organization: Johns Hopkins University Applied Physics Lab, Laurel, MD, USA Mime-Version: 1.0 NNTP-Posting-Date: 9 Mar 2000 14:08:33 GMT Newsgroups: comp.lang.ada Date: 2000-03-09T14:08:33+00:00 List-Id: 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.