diff options
author | Karl Berry <karl@freefriends.org> | 2006-01-12 23:57:12 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2006-01-12 23:57:12 +0000 |
commit | 76f683b146315bf9236a0f9599561bd6d616555e (patch) | |
tree | 76f5fa5fe8d02f222b49f1d5b526f051a03b54c8 /Master/texmf-dist/tex/latex/iso10303/bpfats4.tex | |
parent | 235470c52ce4a3651b5be4bcffac6a600b0b7eab (diff) |
iso10303
git-svn-id: svn://tug.org/texlive/trunk@999 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/tex/latex/iso10303/bpfats4.tex')
-rw-r--r-- | Master/texmf-dist/tex/latex/iso10303/bpfats4.tex | 52 |
1 files changed, 52 insertions, 0 deletions
diff --git a/Master/texmf-dist/tex/latex/iso10303/bpfats4.tex b/Master/texmf-dist/tex/latex/iso10303/bpfats4.tex new file mode 100644 index 00000000000..62b769ca512 --- /dev/null +++ b/Master/texmf-dist/tex/latex/iso10303/bpfats4.tex @@ -0,0 +1,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'. |