ACATR SUPPLEMENT Supplement Number A980613E2.1-024D01 January 10, 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-024 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: Rehosted Processor Identification: Apex Embedded Ada, Windows NT to PowerPC for Rational Exec, 3.0.2b Host Systems: Windows NT 4.0 Target Systems: Motorola MVME1603-001/PowerPC 603 under Rational Executive, version 3.0.2 Representative Processor and Configuration Tested: Host System: Dell Optiplex GXa with Intel Pentium II under NT 4.0 Target System: Motorola MVME1603-001/PowerPC 603 under Rational Exec 3.0.2 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: Rehosting of Sun Solaris version to Windows NT. ACATS Modifications: Under Macro Parameters the value of $MAX_IN_LEN was changed to 200 and the appropriate source files were regenerated. Test Results Differences: 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. b3a0002, b91001g, bd2a03a, bd2a03b, bd2b03a, bd2b03b, bd2c03a, bd2d03a, bd2d03b, bd3001c, bd3002a, bd3003a, bd3003b, bd4002a, bd4003a, bd4003b