Ada compiler validation procedures, interpretations

Ada compiler validation procedures, interpretations

[Peter Klein]

-- 
Peter Klein

Ada compiler validation procedures, interpretations

[Peter Klein]

Sorry, had some trouble last night getting this out:

Some time ago I asked after _validation scope_ in this forum and received some 
valuable hints. Many thanks!

Having done some further reading into the subject (Ada compiler validation 
Procedures Version 3.1 obtained from the AdaIC) I am left with some further 
queries, which I hope some knowledgable people will care to answer.

1) Glossary (para 2 of val proc)

I assume, that the term Ada COMPILER is meant to include e. g. any linker, 
builder, loader programs and any target run-time system, operating system, 
loader support etc. if not already included in the definition of the 
host/target machines. Correct?

The term Ada IMPLEMENTATION adds to the above term Ada COMPILER the physical 
host and target machines (to the vendor's definition of deliverables, e. g. 
including board support packages, boot ROMs etc.). Correct?


2) Retargeting of an Ada Compiler/Implementation

I understand, that retargeting of an Ada compiler from a say 68030 VME board to 
a 68040 VME board can be considered as _adaptive maintenance_. Correct?

Such a _derived implementation_ could be validated by registration, if all
prerequisites of para 6.2 of the val procs are met, e. g. 6.2 c).
This subpara mandates, that the derived compiler "...has been tested..." 
against the test suite used for the base implementation. How does this tie in 
with item 4 of the registration request, which is talking about derived 
implementations, that were not fully tested?

Finally, what kind of evidence is generally accepted for a registration 
request, in case a derived implementation is not fully tested?


3) Mil-Std1815A/STANAG3912 vs. validation

If a contract requires Ada iaw STANAG 3912 respectively Mil-Std 1815A to be 
used, does this require the use of a _validated implementation? 


Thanks in advance for any reply.

Cheers, Peter


-- 
Peter Klein