[Up] [SIGAda] [ACM]

ASIS Client Products


Contents

  • Adalog
  • Aonix
    Steve Blake
  • DCS Corporation
  • Dynamics Research Corporation
  • General Research Corporation
  • Vitali Kaufman
  • Stephen Leake
  • Little Tree Consulting
  • Loral Defense Systems
  • Mark V Systems
  • McKae Technologies  <= UPDATED
  • Odyssey Research Associates, Inc.
  • Rational Software Corporation
  • SofTools, Inc.
  • Swiss Federal Institute of Technology
  • Thomas Wolf
  • *** NEW *** Simon Wright

  • Adalog

    Semtools

    Adalog provides "Semtools", two ASIS tools including Adadep (dependency analyzer) and Adasubst (intelligent identifiers substitution). They are freely available with source code.

    For more information, contact: Adalog, email: Rosen@Adalog.FR. WWW:http://www.adalog.fr/compo2.htm


    Aonix

    Task Stack Analysis Tool

    The Task Stack Analysis Tool (TSAT) is used to determine appropriate sizes for task stacks within an Ada application. It does this by analysis of the Ada library containing the compiled application. The user can apply the stack requirements reported by TSAT to the task stack specification in 'Size clauses and in the Linker option files.

    TSAT consists of two parts: 1) Data Collection and 2) Analysis. Data Collection occurs during compilation of the program to be analyzed. The Data Collection phase occurs when the Ada compiler Code Generator saves information about subprogram stack use in the Ada library. The "atsat" tool implements the Analysis phase. It reads the information saved by the compiler then analyzes it and reports the results.

    You may examine an on-line TSAT User's Guide, if you wish.

    For more information, contact: Aonix, 67 South Bedford Street, Burlington, MA 01803, USA; Tel: (617)270-0030, FAX: (617)270-6882, e-mail: Marketing@Alsys.Com. WWW:http://www.aonix.com/

    Steve Blake

    ObjectAda ToolKit

    In the interest of promoting examples and toolkit usage, I have a set of Asis Toolkit packages (a zipped file) for general use and edification. These packages are:

    I can make no claims that they will work with any ASIS implementation other than ObjectAda, but they should be easy to port. Perhaps we can all learn something if someone will attempt it. Yes, there should be more comments, but there aren't. If this helps anyone with the difficult task of learning ASIS, then they will have served their purpose.

    I don't have simple example programs that use these. The tools we have built are proprietary. Perhaps someday...

    The Asis.Report package is not released. Just replace it with a boolean value.

    Comments are welcome. Good Luck.

    Steve


    DCS Corporation

    AdaSTAT

    AdaSTAT(tm) is an innovative ASIS-based static analysis tool designed to analyze and improve the quality of your Ada95 source code. It automatically enforces safety critical guidelines and restrictions in the source code, thereby simplifying analysis and ensuring reliability. AdaSTAT(tm) also prepares a report concerning its assessment of both functional and object-oriented metrics.

    Please refer to www.adastat.com for additional information. AdaSTAT will first be available for GNAT 3.13 on Solaris, Windows NT, and Red Hat Linux. You may also contact Bill Pritchett (E-mail WPritche@DCSCorp.Com) at DCS Corporation, 1330 Braddock Place, Alexandria, VA 22314. Phone: (800) 333-6923. FAX: (703) 783-8252. E-mail Info@AdaSTAT.Com WWW:http://www.adastat.com/


    Dynamics Research Corporation

    AdaMAT: Ada Measurement and Analysis Tool

    In a recent print advertisement, Dynamics Research Corporation prominently mentioned ASIS in an advertisement about AdaMAT.

    AdaMAT is a comprehensive source code static analyzer, developed and commercialized by Dynamics Research Corportaion, to automate the monitoring of the quality of Ada software systems. AdaMAT reports on hundreds of Ada-specific quality metrics that focus on the most effective use of Ada language and software quality engineering principles.

    High-level parameters measure such areas as reliability, portability, and maintainability. Other metrics address specific programming concerns such as simplicity, self-descriptiveness, clarity, and independence.

    To measure exactness and modularity, AdaMAT utilizes ASIS-based metrics. This semantic analysis facilitates the collection and reporting of information across modules.

    AdaMAT builds on the checks already performed by Ada compilers, to address recognized Ada practices that must be adhered to in order to make significant gains in software quality.

    By applying AdaMAT to existing coding standards and guidelines, significant reductions in resource requirements are realized by automating design (PDL), code walkthoughs, or software inspections.

    Although AdaMAT executes on several different platforms, only the Rational APEX platform uses ASIS just now.

    For further information, visit the Web page for AdaMAT: Ada Measurement and Analysis Tool or contact David C. Blackwell, Software Products Group, Dynamics Research Corporation, 60 Frontage Road, Andover, MA 01810. Phone: (508) 475-9090 x1678. E-mail DBlackwell@S1.SRC.Com WWW:http://www.drc.com/


    General Research Corporation

    Introducing AdaQuest 2.2

    AdaQuest was developed by Ada software engineers for Ada software engineers to identify errors, measure compliance with programming standards, and collect source-derived quality measures. We support established standards like the Software Productivity Consortium's Ada Quality and Style Guidelines, the Software Engineering Institute's Software Size Measurement Framework, the Rome Laboratory Software Quality Framework, and McCabe's cyclomatic complexity. The Rome Laboratory Software Quality Framework deserves special mention since it is actively in the process of being validated by a consortium of major aerospace corporations to ensure the accuracy of its predictive measures. AdaQuest is the only tool that strictly adheres to, and collects, the low-level measures specified in the Rome framework.

    Features of AdaQuest 2.2 include:

    AdaQuest 2.0 Metric Analysis Tool

    As a user of ASIS, GRC has built the AdaQuest 2.0 Metric Analysis Tool.

    As an implementor of ASIS, GRC built a subset implementation (55%) of ASIS 1.0 on the Verdix DIANA Library Interface.

    GRC recently completed one of the AJPO's ATIP projects: ASIS Program View Layer (PVL). ASIS/PVL is a widget-like layer of abstractions that model commonly-used views of Ada program structure.

    SEE-Ada

    SEE-Ada is a commercial product that uses the Ada Semantic Interface Specification (ASIS) to analyze Ada software and display the relationships and attributes of Ada objects. SEE-Ada provides a means of visualizing Ada software systems and integrating data provided by external measurement/metric tools. Features include:

    Tool Integration allows data from external tools such as AdaQuest and AdaMAT to be imported and superimposed on the subsystem, layers, and graph views to highlight sections of the system that need attention. Data Compatibility imports external data of almost any kind: numeric measures from a metrics tool, symbolic information from a compiler, or development history from an integrated development environment.

    Query/Display provides structured queries by definition of threshold conditions and associated colors.

    ASIS/PVL

    GRC developed the Ada Semantic Interface Specification Program View Layer (ASIS/PVL) under the Ada Technology Insertion Program. It is available as public domain software from the ASISWG.

    ASIS/PVL is a "layered" interface built on top of ASIS which provides a set of structured "views" supporting comprehensive static analysis, graphical visualization, and automated documentation of Ada programs. These structured "views" can be thought of as "semantic widgets" providing high-level views of the program (e.g., control flow graph, symbol table, etc.) built on the low-level primitives provided by ASIS and analogous to the X Window System where MOTIF provides a set of higher level graphic widget abstractions on top of the lower level Xlib functions.

    For further information, contact Tom Strelich, General Research Corporation, 5383 Hollister Avenue, Santa Barbara, CA 93111. Tel: (805) 964-7724 x327; FAX: (805) 967-7094; Email: TStrelich@SB.GRCI.Com; WWW: http://www.grci.com/


    Vitali Kaufman

    gch — Gnat CHecker

    The pilot version of the Ada rule checking tool gch (from Gnat CHecker) is available at http://www.kolumbus.fi/vitali.kaufman/gch. The tool is built on top of the ASIS implementation for GNAT and can be used with the latest public version of the GNAT/ASIS technology 3.11p available at ftp://cs.nyu.edu/pub/gnat.

    gch is available in source form and it is distributed as free software.

    This tool checks Ada code against a given set of rules. In the current gch version a subset of rules from Ada 95 Quality and Style is implemented. The file http://www.kolumbus.fi/vitali.kaufman/gch/gnat_tests.txt (155K) contains the output of checking all Ada sources from gnat_3.11p-src by the gch. It takes nearly 15 min on Pentium II 260 MHz, 64MB.

    Our plans for the near future are to extend the set of rules checked by gch and to provide the means that would allow a user having some experience with ASIS programming to add checks for new rules with minimal changes in the gch code.

    gch may be used as a basis for developing different kinds of rule checking tools.

    For more information, comments, or bug reports, contact: Dr. Vitali Sh. Kaufman; Telephone: (358)-9-388-1095; GSM: 050-5810298; Email: Vitali.Kaufman@iname.com; URL: http://www.kolumbus.fi/vitali.kaufman


    Stephen Leake

    Auto_Text_IO package

    Auto_Text_IO is a tool for automatically generating a Text_IO package for an Ada package. The Text_IO package contains Put and Get subprograms for all the types in the Ada package, based on Ada.Text_IO. The Put and Get subprograms use named notation aggregates (although Get does not support the full flexibility of Ada source code). This makes it extremely easy to write readable unit tests for the Ada packages, and to provide persistent storage in a readable form.

    Auto_Text_IO is an ASIS application. It also uses some SAL (Stephe's Ada Library) data structures. It currently uses the GNAT implementation of ASIS, including some ASIS extensions. I'd be interested to help in porting it to other ASIS implementations.

    Auto_Text_IO uses ASIS to iterate through all the types declared in a package (called the "parent"). It creates a child package, containing Get and Put routines for each type. For scalar types, Auto_Text_IO generates an instantiation of the appropriate Ada.Text_IO package. For array types, it instantiates a package from Generic_Array_IO, a run-time package provided with Auto_Text_IO. For record types, it generates code to Put and Get an aggregate, optionally using named notation. The Get routine can read what Put outputs, but it is not as flexible as an Ada compiler. For example, the components must be in declaration order.

    Auto_Text_IO is copyright 2001 by Stephen Leake, released under the Gnu Public License. The run-time portions are released under the GNAT Modified Gnu Public License (the same one that covers the GNAT run time libraries).

    For more information, check out the Auto_Text_IO website; or you may contact: Stephen Leake, Email: Stephen_Leake@ACM.Org.


    Little Tree Consulting

    Ada Analyzer

    The goal of the Ada Analyzer is to support the assessment of software quality in Ada programs and the improvement of that quality software under analysis. It accomplishes this goal by locating code segments that have suspect quality, collecting relevant information in a condensed form for review by the user, and allowing direct traversal to the actual code so that changes can be made. The Ada Analyzer is a set of support tools that scans large amounts of Ada code, locates items of interest, and summarizes related information for developers, project managers, quality-assurance personnel, and integration and testing personnel. Data dictionary information can be used internally for reference or included in the documentation delivered to the customer.

    Dan Ehrenfried is also offering the LRM interfaces on top of ASIS 83. "LRM Interfaces" are a (no longer supported) Rational product which was the ancestor of ASIS. Dan's offering is an enhanced version of the LRM Interfaces: his product and ASIS both have the original Rational product as common ancestors. Many of the declarations are just renamings of the corresponding ASIS declarations; but the rest of it qualifies as a secondary, non-primitive layer above ASIS, implementing (among other features) the iterator capability that had been so hotly debated in past ASISWG meetings.

    For more information, contact: Dan Ehrenfried, Little Tree Consulting, 155 Hubbart Dam Road, Marion, MT 59925. Tel: (406) 854-2160; FAX: (406) 854-2170; Email: DHE@LittleTree.Com.


    Loral Defense Systems

    Loral's product, ReEngineer, provides a cost effective approach for maintaining and modernizing software. It accepts legacy software in a variety of languages, extracts the "as built" design, and populates an engineering CASE tool database with the extracted design. It also provides facilities for restructuring implementations and translating code to other languages. ReEngineer currently supports C, FORTRAN, CMS-2, PASCAL and the HLAL macro set for IBM 370 BAL. Support for Ada, using ASIS, is currently in development.

    ReEngineer is a product of Loral Defense Systems-Eagan. For further information: Telephone (612)456-7517, FAX (612) 456-2029, or email reengineer@eag.unisysgsg.com.


    Mark V Systems

    Ada Reverse Engineering for Rational APEX

    Reverse engineer Ada code into UML diagrams.

    Mark V Systems announces it's new Ada Reverse Engineering tool, the first customizable reverse engineering tool for Ada, now produces UML diagrams, and also the first to use the ASIS interfaces.

    Key features of ObjectMaker Ada Reverse Engineering:

    ObjectMaker Ada Reverse Engineering is implemented using the ObjectMaker Tool Development Kit (TDK).

    ObjectMaker supports 27 popular diagramming methods including Buhr 84, Buhr 90, Booch, Colbert, OPEN OML, and UML.

    ObjectMakerŪ

    With the ObjectMaker CASE Tool you can model your application requirements and design in one or more of the most popular notations. ObjectMaker supports more than 30 of the most popular analysis and design notations for software engineering and allows you to mix and match notations to build a single model of your software application. You can choose the notations and the depth of detail your application requires. ObjectMaker also offers support for detailed design, code generation and document generation for construction, delivery and maintenance phases. Reverse Engineering tools offer you the opportunity to re-engineer applications, reuse legacy code and incorporate commercially available components into your model for design, construction and maintenance.

    The ObjectMaker Tool Development Kit (TDK) offers developers, integrators, OEMs, consultants, and methodologists the opportunity to customize methods, notations, syntax rules, syntax checking, semantic specification and repository capture of all semantics, and other information and relationships important to your process and problem space. The TDK provides direct access to the rules (predicate logic) that create, control, and pre- and post-condition all tool behavior, and manage all repository navigation and iteration. The TDK offers you the possibility of growing your tool and method support as your organization and process grows and matures. This is more than just being able to use the next method that comes along, more than mixing and matching notations to create the multiple views necessary for today's problems. It means you can add to the notation you select, add to the semantics, add to the checking, add to the code generation, and more as you gain experience and understand that what you need is beyond what the published methods offer. Published methods, especially the object oriented methods, are good starting points. Your process will mature past the published methods. You will need to recognize and capture the information and relationships important for your problem space. The ObjectMaker TDK provides tailorable support which enables you to develop and extend your own methods. The TDK gives you the opportunity to use and reuse your repository contents, your application models, your component libraries by giving you the facilities for data and control integration with other life cycle tools.

    Mark V Systems designs, develops and markets advanced software products for the process, workflow, enterprise modeling, business process re-engineering and software engineering markets. Products are marketed directly in North America and worldwide through a distributor network.

    Contact ObjectMaker marketing: Phone: +1 818 995 7671; FAX: +1 818 990 0216; Email: Info@MarkV.Com URL:http://www.markv.com


    McKae Technologies

    DTraq

    McKae Technologies offers DTraq (http://www.mckae.com/dtraq.html), a data logging and playback debugging tool providing near realtime data logging and analysis to aid debugging and validation. Captured, or 'tapped' data from a program can be viewed live while the program is running or, since it is being logged to a file, played back or printed out later for off-line review and analysis.

    DTraq differs from other logging and playback tools in that no data layout maps or byte interpretations or "data dumpers" need to be manually created. Nor is the application responsible for converting the raw binary data to text form before logging it. DTraq handles all conversion automatically by scanning the application's source code, identifying tapped data items, and extracting the information it needs to properly convert and display the logged items-simple scalar items as well as arrays and records. When the layout of data items change, rescanning automatically picks up the changes.

    DTraq information, including usage and screenshots, is available at http://www.mckae.com/dtraq.html and the DTraq user manual may be downloaded from http://www.mckae.com/dtq_common/DTraq.pdf.

    For more information about DTraq, contact mckae-support@mckae.com and please be sure to include the word DTraq in the subject. URL: http://www.dtraq.com/

    Avatox: Ada, Via Asis, To Xml

    Avaotx ("Ada, Via Asis, To Xml") accepts an Ada compliation unit and traverses its elements via ASIS to produce an XML representation of the unit. Avatox tries to be a bit smart by making some components, like literals, into attributes. It also extracts the line and column information for every ASIS element and puts that into the XML as well.

    Avatox is available with source code on the McKae Technologies website at http://www.mckae.com/avatox.html


    Odyssey Research Associates, Inc.

    AdaWise: Ada Source Code Analysis Tools

    ORA is pleased to announce the release of AdaWise as shareware. The source code and documentation are available via anonymous ftp from ORA.

    AdaWise tools perform automatic checks to verify at compile-time the absence of some common run-time errors in Ada code. The AdaWise tools check for improper aliasing, non-portabilities in the order of elaborating compilation units, incorrect order dependences, and use of undefined variables.

    AdaWise uses ASIS and consists of more than 33,000 lines of Ada source and documentation. Relatively portable, AdaWise contains less than 4,000 lines that are vendor-specific. There are working versions for Alsys RISCAda, Rational VADS (SunAda), and an untested working version for Rational Apex. There are several reusable packages that could be useful to ASIS users (not to mention, a good test of ASIS implementations).

    AdaWise is not in the public domain, but you can use it freely for academic use. You can use AdaWise for internal business purposes for a small fee. Licensing for other commercial use is negotiated as needed. Using AdaWise for more than an initial evaluation requires that you abide by the terms specified in the README and LICENSE files provided with the distribution.

    "This would represent the first publicly available ASIS tool. I think it would be extremely valuable and could consequently serve as an excellent artifact for the Ada community for using ASIS capabilities, for learning about ASIS, for testing ASIS implementations, and for reuse of code for newer applications." -- Currie Colket, chair of ASISWG.

    The source code and documentation are available via anonymous ftp or through the ORA home page (by following the Current Projects link, then Formal Methods, and then the AdaWise link. Or, the AdaWise page can be found directly at: http://www.oracorp.com/ada/adawise.html.

    For further information, contact Cheryl Barbasch, ORA Corporation, 301 Dates Drive, Ithaca, NY 14850-1326. Tel: (607) 277-2020; Email: AdaWise@ORACorp.Com WWW:http://www.oracorp.com/


    Rational Software Corporation

    Re-engineering Toolkit

    "The Reengineering Toolkit is a set of tools that builds on the strengths of Apex to assist engineers in restructuring existing Ada code. By restructuring their code, Ada developers can make it more readable, more maintainable, and more reusable."

    The four tools are built on top of the ASIS interface.

    The Restructure tool is run in a batch mode. It uses an input command file, and supports Copy, Move, and Convert operations. The Copy operation will copy a declaration from one location to another, with the option of changing the name in the process. In the latter case all references to the old declaration will be updated to refer to the new declaration. The Move operation is a copy with a delete of the original declaration. The Convert operation will change the type of a variable declaration, and check all usages of the object to determine if typecasts are needed for compilation in which case they will be added.

    Restructure performs CMVC checkout of the Ada objects it is modifying, and logs those changes to a journal file which can be later used to process additional source code with the same batch commands. The changes can be undone if you aren't satisfied with the results.

    The Rename Local Tool Is An Interactive Tool Allowing Object Renaming At The Ada Unit Level, Which Will Then Update All References To The Object.

    The Make Procedure Local tool is an interactive tool which converts a designated block of code into a stand-alone procedure. It will compute the parameter profile and replace the statements with a call to the new procedure.

    The Convert Local tool is an interactive tool with which object type conversion is performed at the Ada unit level. The tool will add any reauired typecasting to the object references.

    For more information, contact: Shelly Richard, Rational Software Corporation, 3320 Scott Boulevard, Santa Clara, CA 95054 3197, USA; Tel: (408) 496-3600; FAX: (408) 496-3636; Email: ShellyR@Rational.Com. WWW:http://www.rational.com/


    SofTools, Inc.

    The mission of SofTools is research into Computer Aided Software Engineering, particurarly into the development and the underlying theory of Software Testing and Analysis Tools. Our Web Page, http://www.softools.org, provides the essential information on the following topics:

    For more information, please contact Janusz Laski; Tel: (248) 370 2214 or (248) 853 7602; FAX: (248) 370 4261; Email: Laski@Oakland.Edu; WWW: http://www.softools.org


    Swiss Federal Institute of Technology

    Ada 95 Pretty Printer (based on ASIS)

    The Ada 95 Pretty Printer, written by Armin Descloux (with the Java interface by Jorg Kienzle), contains the following formatting utilities:

    It also provides a Java-based user interface.

    For more information, contact: Prof. Alfred Strohmeier, Swiss Fed Inst of Technology in Lausanne, EPFL-DI-LGL, CH-1015 Lausanne, Switzerland; Tel: +41 21 693 4231; FAX: +41 21 693 5079; Email: alfred.strohmeier@epfl.ch. WWW: http://lglwww.epfl.ch/


    Thomas Wolf

    AdaBrowse

    AdaBrowse is a javadoc-like HTML generator for Ada 95. It is available in both source and executable (for GNAT 3.14p on Windows NT/2000) form.

    AdaBrowse is copyright (c) 2002 by Thomas Wolf. It is distributed under the GPL (the GNU General Public License).

    AdaBrowse produces a fully cross-referenced HTML rendering of Ada 95 library unit specs (no bodies) similar to what javadoc does for Java sources. AdaBrowse is a command-line utility; it has no graphical user interface.

    AdaBrowse is highly configurable through command-line options, style sheets, and configuration files. You can customize just about any aspect of the generated HTML.

    AdaBrowse completely takes apart the source code and produces a structured and fully cross-referenced HTML documentation containing:

    For each item, AdaBrowse also tries to extract comments from the source and uses them to produce a description of the item. Which comments are to be taken for which items can be configured in a configuration file.

    AdaBrowse is not a pretty-printer! Any source chunks in the generated HTML retain the formatting as in the source file (except for cross-referencing and syntax coloring). To get the best results, the source should not contain tabs.

    AdaBrowse does a few things that could be considered some very weak form of pretty printing, though:

    1. It prints all keywords in lowercase.

    2. It capitalizes all attribute defining identifiers such as "Storage_Size" in "for X'Storage_Size use ...", or "Write" in "My_Type'Write (...)".

    3. Whenever possible, it uses the defining name in place of the identifier that references it. As a result, the generated HTML should have consistent casing of all identifier casing.

    However, it does not re-indent things, and it preserves the original line breaks in source code chunks.

    AdaBrowse is very simple to use; it provides sensible defaults for all of the many aspects that can be configured. Some of the things that are customizable are:

    The distribution comes with a comprehensive "readme" file explaining all these features in detail.

    AdaBrowse has been developed using GNAT and ASIS-for-GNAT, both the 3.13p and 3.14p versions. The code is largely OS-independent and should compile and run fine on Unix-like systems, too. Porting it to other ASIS implementations also is easy; the "readme" file identifies all constructs specific to ASIS-for-GNAT (like implementation-specific parameters etc.).

    Bug reports and enhancement proposals can be sent to the author at the e-mail address twolf AT acm DOT org.


    Simon Wright

    ASIS 2 XML

    "ASIS 2 XML" converts a unit's ASIS representation into XML, so as to make it easier to develop transformational tools using (for example) XSLT.

    As supplied, it relies on GNAT to a limited extent, though it hasn't been tested against other ASIS implementations. The GNAT feature it uses is that Data_Decomposition.Size has been extended to work for Subtype indications, the purpose is to work out how many bytes a record component will occupy when streamed. This was the original motivation for the work.

    The program is in the gnat-asis archive at tools/asis2xml and can be downloaded from SourceForge.net

    For more information, check out the ASIS 2 XML website or you may contact: Simon Wright, Email: Simon@Pushface.Org.


    [Up] [SIGAda] [ACM]

    Last update 19 October 2011. Questions, comments to Clyde Roby (CRoby@IDA.Org)