%% %% This is file `bpfats4.tex', %% generated with the docstrip utility. %% %% The original source files were: %% %% stepe.dtx (with options: `bpfats4') %% %% This work has been partially funded by the US government %% and is not subject to copyright. %% %% This program is provided under the terms of the %% LaTeX Project Public License distributed from CTAN %% archives in directory macros/latex/base/lppl.txt. %% %% Author: Peter Wilson (CUA and NIST) %% now at: peter.r.wilson@boeing.com %% \ProvidesFile{bpfats4.tex}[2002/01/23 ATS AIM test purpose intro boilerplate] \typeout{bpfats4.tex [2002/01/23 ATS AIM test purpose intro boilerplate]} Test purposes are implicitly derived from the AP AIM \Express, and are not explicitly documented here. AIM test purposes are implicitly derived from the expanded \Express{} listing contained in annex~A of ISO 10303-\theAPpartno{} as follows: \begin{itemize} \item AIM entity data types: a test purpose derived from an AIM entity data type is a simple statement of the entity data type name; \item AIM entity attributes: a test purpose derived from an AIM entity attribute is a statement of the AIM entity data type with a given attribute. \end{itemize} Aim test purposes shall be interpreted as given in the following statement: the postprocessor shall accept the input in accordance with the AIM \Express{} structure corresponding to this test purpose. This implies that the semantics of the application element represented by the AIM element are preserved by the IUT between the input and output of a test according to the reference path specified in the mapping \maptableorspec{} of the AP. This also implies no violations of any constraints (local rules or global rules) that apply to the AIM element. AIM test purposes apply to the input specifications of postprocessor test cases only. \par \endinput %% %% End of file `bpfats4.tex'.