Supplement to ACATR EDS20001201RSC01
April 23, 2003
Rational Software Corproration (the client) hereby requests that the Ada Conformity Assessment Authority (ACAA) extend the certified status documented in the above-referenced Ada Conformity Assessment Test Report (ACATR) and in Ada Conformity Assessment Certificate (ACAC) A010516E2.4-001 to the implementation class(es) described in the following pages.
Technical Contact:
David J. Lofgren
Rational Software
IBM Software Group
18880 Homestead Road
Cupertino, CA 95014
djlofgren@us.ibm.com
Approval: ______________________________ ________________
Ada Conformity Assessment Authority Date
Implementation Class Category: Maintenance
Processor Identification: Rational Apex Ada 95/83, Sun Sparc Solaris 2, version 4.2.0b
Host Systems: Sun SPARC running Solaris 2.6, 2.7, 8, or 9
Target Systems: Same as host
Representative Processor and Configuration Tested:
Host System: Sun Ultra 2, running Solaris 2.7
Target System: Same as host
ACATS Version Used for Testing Representative Processor:ACATS 2.4 (VCS label A2_4B)
Client Certification of Testing and Processor Derivation:
I, the undersigned, representing the Client, certify that the above identified representative processor was tested on the described configuration with the customized ACATS version described above, including the code modifications and implementation-defined substitution values that were used in the conformity assessment leading to the certificate named in this Supplement, with modifications described in this Supplement, and that the testing results were the same as those obtained in that conformity assessment, with exceptions as described in this Supplement. I further declare that the Client knows of no deliberate deviations from the Ada language standard (ANSI/ISO/IEC 8652:1995) as corrected by Technical Corrigendum 1 (ISO/IEC 8652:1995/COR.1:2000) in the identified representative processor above. I further certify that the above-identified representative processor and configuration meets the definition of base, maintained, or rehosted implementation (as described in the Operating Procedures for Ada Conformity Assessment).
_________________________ ________________
David J. Lofgren
Date
Rational Software
IBM Software Group
Maintenance Changes:
Improved application performance (Perfective)
Apex 4.2 had improvements in middle pass optimizations as well as upgraded code generation.
New parameter passing conventions (Perfective)
Two implementation-defined conventions:have been added as permitted by RM95 B.1(11). These conventions may be used in pragmas Import, Export and Convention.
- pragma Convention ( Ada_Pass_By_Copy, [some-type] );
- pragma Convention ( Ada_Pass_By_Reference, [some-type] );
Fixed Point Rounding (Perfective)
The fixed point multiplication, division and conversion operations used to ROUND the result to the nearest machine representable number when the operation was executed at runtime, but it used truncation when the result was computed at compile-time. The Apex 4.2.0 compiler now uses truncation uniformly.
Atomic
Compiler updated to support individual read/write for records.
ACATS Modifications:
Test Results Differences:
CXC6001
Under referenced version, the test now executes and reports "PASSED" while under original certified processor the test did not compile indicating that it did not support individual read/write for records. The reference processor has been updated to support individual read/write for records.
The following list of tests differ from the original certified processor in that the wording on some of the error messages is different;
b33204a, b33205a, b35302a, b36171a, b380001, b38008a, b38009a, b3a0002, b3a2002, b3a2009, b3a2014, b44002b, b48002a0, b48002b, b48002e, b52002c, b610001, b7310011, b7310014, b84007a, b85001f, b85008g, b91001g, b91004a, b95031a, b95080c, b99002a, b99002b, ba2013b, bd2a03a, bd2a03b, bd2a67a, bd2b03a, bd2b03b, bd2c03a, bd2d03a, bd2d03b, bd3001c, bd3003a, bd4003a, bd4003b, bd5104a, bd7203a, be3606c, bxc6001 , bxc60010 , bxc60033