ACATR SUPPLEMENT Supplement Number A980613E2.1-023D01 January 22, 2000 Rational Software Corporation 18880 Homestead Road Cupertino, CA 95014 Rational Software Corporation 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) 980613e2.1-23 to the implementation class(es) described in the following pages. Technical Contact: David J. Lofgren Rational Software Corporation 18880 Homestead Road Cupertino, CA 95014 Djl@rational.com Approval:________________________________ ___________________ Ada Conformity Assessment Authority Date Implementation Class Information Implementation Class Category: Maintenance Processor Identification: Rational Apex Ada, Windows NT, version 3.0.2b Host Systems: Windows NT 4.0 Target Systems: Same as Host Representative Processor and Configuration Tested: Host System: IBM ThinkPad 760XD (Pentium 166) (under Windows NT, 4.0/service pack 3) Target System: Same as Host 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 that was 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) in the identified representative processor above. I further certify that the above identified representative processor and configuration meets the definition of base, maintained, rehosted implementation (as described in the Operating Procedures for Ada Conformity Assessment). ____________________________________ ____________ David J. Lofgren Date Rational Software Corporation 18880 Homestead Road Cupertino, CA 95014 Maintenance Changes: ACATS Modifications: None. Test Results Differences: C96001A Under the original certified processor the following results were reported C96001A (B) - NEGATIVE DELAY LAPSED FOR 10 MILLISECONDS. C96001A (C) - ZERO DELAY LAPSED FOR 20 MILLISECONDS. Under the referenced version the results are now, C96001A (B) - NEGATIVE DELAY LAPSED FOR 30 MILLISECONDS. C96001A (C) - ZERO DELAY LAPSED FOR 10 MILLISECONDS. While yielding differing results, they are still correct and the test indicates that it passes. B392002 While testing the original certified processor, work on a future release exposed an error in this test. The following grading modification was given for test B392002 in anticipation of such future release. The referenced processor (3.2.0b version) generates the identified error and would be covered under the grading modification. (GM=P): PRIMITIVE FUNCTION IN PRIV.PART VIOLATES 3.9.3(10) The AVO accepts the petition for deviation on this test program; this program may be processed with the following grading modification for validation under ACVC 2.1: accept compiler error diagnostics for the (illegal) function declaration at line 186 The function Primitive_Of_Both_Func2, declared at line 186, violates the second sentence of ARM 3.9.3(10) as it is a primitive operation, declared in the private part, of a tagged type that is declared in the visible part, and the function doesn't override anything. This grading modification encourages this unintended illegality to be detected. BDE0001 While testing the original certified processor, work on a future release exposed an error in this test. The following grading modification was given for test BDE0001 in anticipation of such future release. The referenced processor (3.2.0b version) generates the identified error and would be covered under the grading modification. BOTH IMPLICIT & EXPLICIT FUNCTIONS @154 VIOLATE 3.9.3(10) The AVO directs that this test program may be processed with the following grading modification for validation under ACVC 2.1: accept compiler error diagnostics for lines 153 & 154 The implicit declaration of inherited function Func generated by the full type declaration at line 153, and the explicit declaration of Func at line 154, both violate the second sentence of ARM 3.9.3(10) in being declarations, in the private part, of a primitive function with a controlling result of a tagged type declared in the visible part, with neither function declaration overriding a function declared in the visible part. These declarations should be detected as illegalites. (These declarations would need the parent type's Func to be inherited at the point of the private extension, yielding an implicitly declared Func in the visible part.) The following list of tests differs from the original certified processor in that the wording on some of the error messages has changed. B35403A, B3A0002, B91001G, BD2A03A, BD2A03B, BD2B03A, BD2B03B, BD2C03A, BD2D03A, BD2D03B, BD3001C, BD3002A, BD3003A, BD4002A, BD4003A, BD4003B, BD7101H