blob: 62b769ca5123dac0fffc0298c15bf3d3a088562c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
|
%%
%% 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'.
|
