ACVC 2.1 is the latest validation test suite prepared by the Ada Validation Office (AVO) of the Ada Joint Program Office (AJPO). It incorporates rigorous tests to assure full compliance with the ANSI/ISO/IEC-8652:1995 Ada 95 specification. Green Hills Software's Ada 95 Optimizing Compilers are the first compilers to successfully pass this latest suite of tests and achieve official validation. Tests were run at the Tri-Ada 1997 conference in St. Louis in November, and were validated by Electronic Data Systems' (EDS) Ada Validation Facility.

Green Hills Software's Ada 95 has been officially validated for three different compiler implementations: one self-hosted SPARC/Solaris compiler, one self-hosted PC/Windows NT 4.0 compiler, and one embedded compiler: PowerPC 604 running Wind River Systems' Tornado/VxWorks 5.3.

Green Hills Software's Ada 95 compiler implements all of the new enhancements defined in the ANSI/ISO/IEC-8652:1995 Ada 95 specification. These include object-oriented programming, hierarchical library organization, type extensions of tagged types and child library units, and new task and synchronization features such as protected types.

In addition, the compiler implements three optional Ada 95 annexes: The System Programming Annex (C) and The Real-Time Systems Annex (D). The compiler also provides specialized VxWorks and POSIX support that enables Ada 95 tasks to be implemented as either VxWorks tasks or POSIX threads (for self-hosted Unix applications).

The Ada 95 compiler is tightly integrated with Green Hills' AdaMULTI Software Development Environment. AdaMULTI automates all aspects of Ada software development. Featuring a window-oriented editor and Tornado-aware source-level debugger with support for both task- and system-level debugging, AdaMULTI also includes an automated graphical program builder, version control, a code performance and coverage profiler, source code navigation and cross reference browser, and call graph display features.

AdaMULTI provides several features that are implemented specifically for Ada 95 software development. To support object-oriented programming, for example, the AdaMULTI source-level debugger and editor incorporate a type inheritance browser.

AdaMULTI's source code navigation and cross reference browser make it easy for programmers to automatically search for and cross reference multiple source files for declarations, completions and uses of variable types, record types, procedures and functions. For example, highlight on a type in an edit or debug window, select the Find Uses command, and AdaMULTI will locate and display all references to that type in all source files.

AdaMULTI can also display a graphical call tree for an entire program or part of a program. AdaMULTI can output either a dynamic call tree based on a particular program execution sequence or a static call tree providing all possible execution paths.

More on AdaMULTI

AdaMULTI automates all aspects of Ada 95 software development. It is also tightly integrated with Wind River Systems' Tornado framework, which enables designers to fully utilize all of the tools provided in both the AdaMULTI and Tornado environments.

The heart of the AdaMULTI environment is a VxWorks- and Ada 95- aware source-level debugger that features both task- and system-level debug capability. The debugger supports mixed-language (Ada 95, C, C++, Fortran, and assembly language) programs, includes a language-sensitive expression evaluator, and provides special support for Ada 95 (such as a Type Inheritance Browser, generics debugging, and the source code navigation features) and X-Windows debugging.

With the AdaMULTI debugger, designers start and stop Ada 95 tasks, VxWorks tasks, and Posix threads, set task-specific breakpoints, and monitor OS resources like buffers, queues, and streams. Programmers can also debug new tasks as they are spawned and watch tasks or processes as they communicate through pipes, semaphores and message queues.

The AdaMULTI debugger provides a separate window for each task. Within each window, programmers can independently set conditional and temporary breakpoints, single step, and examine local and global variables. Complex expressions and structured elements such as arrays and records can also be displayed. The debugger recognizes pointers and automatically displays the objects that they reference. It also displays a stack trace that simplifies the analysis of hierarchical program structure. AdaMULTI's profiler helps programmers identify hot spots by providing program run-time data on a function by function and line by line basis.

AdaMULTI's windowing editor features scroll bars, pull-down menus, and buttons for common commands. The editor is tightly integrated with AdaMULTI's source code navigator and cross reference browser. It is also fully configurable, enabling users to change key bindings and alter object (such as scroll bars) behavior based on their application requirements. Programmers can also substitute their own editor.

AdaMULTI's Graphical Program Builder simplifies the design of large projects by providing automated build tools that eliminate the need for a make expert. AdaMULTI's Version Control System augments the build tools by simplifying the management of revision levels and multiple project branches of project (i.e., developing two versions of software at the same time).

For sales information on Green Hills Software's products, please call 1-805-965-6044 or email inquiries to sales@ghs.com.