OTTOBRUNN (CW) - Das Ada Joint Program Office (AJPO) des US Department of Defense (DoD) hat die IABG, Ottobrunn, zu einer offiziellen Ada Validation Facility (AVF) ernannt. Für Ada-Compiler-Prtifungen sind derzeit neben der IABG lediglich zwei Institutionen In den USA zugelassen.
Die IABG war schon bei der ursprünglichen Auswahl und Definition der Sprache beteiligt und unterstützt nun im Auftrag des Bundesminstriums der Verteidigung/Bundesamt für Wehrtechnik und Beschaffung die Entwicklung einer (...)-Programmierungerhebung.
Eine erfolgreiche Validierung stellt ein Gütesiegel dar, durch das ein Compiler erst zum Ada-Compiler wird - ohne diese Validierung dürfte ein Compiler keine Marktchancen besitzen. Der Gütetest basiert auf der erfolgreichen Bewältigung von über 2000 Spezialprogrammen, den sogenannten ACVC's (Ada Compiler Validation Capability).
Die wichtigsten Ziele sind die Vermeidung von sprachlichem Wildwuchs, das heißt exakte Einhaltung eines Sprachenstandards (ANSI/MIL-STD,-1815 A) sowie ein Höchstmaß an Fehlerfreiheit.
Zur Aufrechterhaltung der Compilergüte trotz Wartung sind jährliche Validierungswiederholungen vorgeschrieben.
Ihrer Rolle als Ada-Validierer wur(...) IABG bereits in zwei Fällen ge(...). Compiler für Siemens 7xxx unter BS 2600 und VAX 750 unter VMS, beide vom deutschen Verteidigungsbereich mitfinanziert, wurden der Validationsprozedur unterzogen.
Derzeit können weltweit bereits folgende validierte Ada-Compiler genutzt werden:
- Data General Corporation ADE Ada Compiler Revision 5.234 unter AOS/V 3.12 Hardware - DG MV4000, MV6000, MV8000 - II MV10000
- Rolm Corporation ADE Ada Compiler Revision 5.234 unter AOS/VS 3.12 Hardware - Rolm MSE-800 (Rolm Ada Workstation)
- TeleSoft Inc.
a) TeleSoft Ada Version 2.Oa 1 unter 2.le Hardware - MC68000 0-Bus,
LabTek Ada Workstation (WICAT-MC68000)
b) TeleSoft Ada Version 2.0a2 unter 4.2 BSD UNIX SUN Version 4.la Hardware - Callan Unistar 300
- New York University, Courant Institute NYU Ada/Ed Version 1.4 unter VAX MS 3.5 Hardware - DEC VAX 11/780
- Digital Equipment Corporation DEC Ada Compiler unter VAX VMS
4.0 Hardware - DEC Mikro VAX, VAX 11/730, VAX 11/750, VAX
11/780, VAX 11/782, VAX 11/785
- Dansk Datamatic Center Kopenhagen
Hardware - VAX 11 /750