summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/tex/latex/iso10303/atsv11.sty
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/tex/latex/iso10303/atsv11.sty')
-rw-r--r--Master/texmf-dist/tex/latex/iso10303/atsv11.sty154
1 files changed, 154 insertions, 0 deletions
diff --git a/Master/texmf-dist/tex/latex/iso10303/atsv11.sty b/Master/texmf-dist/tex/latex/iso10303/atsv11.sty
new file mode 100644
index 00000000000..e004c8ab8c7
--- /dev/null
+++ b/Master/texmf-dist/tex/latex/iso10303/atsv11.sty
@@ -0,0 +1,154 @@
+%%
+%% This is file `atsv11.sty',
+%% generated with the docstrip utility.
+%%
+%% The original source files were:
+%%
+%% stepe.dtx (with options: `ats')
+%%
+%% 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
+%%
+\ProvidesPackage{atsv11}[2002/01/10 v1.1.2 STEP ATS package]
+ \RequirePackage{stepv13}[2002/01/10]
+
+
+\anirfalse
+
+\gdef\theAPpartno{}
+\newcommand{\APnumber}[1]{\gdef\theAPpartno{#1}}
+\gdef\theAPtitle{}
+\newcommand{\APtitle}[1]{\gdef\theAPtitle{#1}}
+
+\newcommand{\atssummary}{\underline{\texttt{Test case summary:}}}
+\newcommand{\atscovered}{\underline{\texttt{Test purposes covered:}}}
+\newcommand{\atsinput}{\underline{\texttt{Input specification:}}}
+\newcommand{\atsconstraints}{\underline{\texttt{Constraints on values:}}}
+\newcommand{\atsverdict}{\underline{\texttt{Verdict criteria:}}}
+\newcommand{\atsexecution}{\underline{\texttt{Execution sequence:}}}
+\newcommand{\atsextra}{\underline{\texttt{Extra details:}}}
+
+\newcommand{\purposeshead}{\clause{Test purposes}}
+\newcommand{\domainpurposehead}{\sclause{Domain test purposes}}
+\newcommand{\aepurposehead}{\sclause{Application element test purposes}}
+\newcommand{\apobjhead}[1]{\ssclause{#1}}
+\newcommand{\apasserthead}{\ssclause{Application assertions}}
+\newcommand{\aimpurposehead}{\sclause{AIM test purposes}}
+\newcommand{\aimenthead}[1]{\ssclause{#1}}
+\newcommand{\extrefpurposehead}{\sclause{External reference test purposes}}
+\newcommand{\implementpurposehead}{\sclause{Implementation method test purposes}}
+\newcommand{\otherpurposehead}{\sclause{Other test purposes}}
+\newcommand{\gtpvchead}{\clause{General test purposes and verdict criteria}}
+\newcommand{\generalpurposehead}{\sclause{General test purposes}}
+\newcommand{\gvcatchead}{\sclause{General verdict criteria for all abstract test cases}}
+\newcommand{\gvcprehead}{\sclause{General verdict criteria for preprocessor
+ abstract test cases}}
+\newcommand{\gvcposthead}{\sclause{General verdict criteria for postprocessor
+ abstract test cases}}
+\newcommand{\atchead}{\clause{Abstract test cases}}
+\newcommand{\atctitlehead}[1]{\sclause{#1}}
+\newcommand{\prehead}{\ssclause{Preprocessor}}
+\newcommand{\posthead}[1]{\ssclause{Postprocessor}}
+\newcommand{\confclassannexhead}{\normannex{Conformance classes}}
+\newcommand{\confclasshead}[1]{\sclause{Conformance class #1}}
+\newcommand{\postipfilehead}{\normannex{Postprocessor input specification file names}}
+\newcommand{\atsusagehead}{\infannex{Usage scenarios}}
+\newcommand{\atsintroendbp}{%
+ \input{bpfats1}
+}
+\newcommand{\atsscopebp}{%
+ \input{bpfats2}
+}
+\newcommand{\atspurposebp}{%
+
+ This clause specifies the test purposes for this part of ISO 10303.
+Clauses 4.1 and 4.2 are describe the source and meaning of test
+purposes that are derived from the information
+requirements defined in ISO 10303-\theAPpartno, clause 4, and the
+AIM \Express{} schema defined in ISO 10303-\theAPpartno, annex A.
+These test purposes are not repeated in this part of ISO~10303.
+However, through reference in a test case each specific element
+from the application elements of the AIM implicitly requires
+that the identified element, as specified in the test purpose statement,
+will be correctly instantiated by the implementation under test. \par
+}
+
+\newcommand{\aetpbp}{%
+ \input{bpfats3}
+}
+\newcommand{\aimtpbp}{%
+ \input{bpfats4}
+}
+\newcommand{\atsimtpbp}{\input{bpfats14}}
+
+\newcommand{\atsgtpvcbp}{%
+ \input{bpfats5}
+}
+\newcommand{\gtpbp}{%
+ \input{bpfats6} }
+\newcommand{\gvatcbp}{%
+ \input{bpfats7} }
+\newcommand{\gvcprebp}{%
+ \input{bpfats8} }
+\newcommand{\gvcpostbp}{%
+ \input{bpfats9} }
+\newcommand{\atcbp}{%
+ This clause specifies the abstract test cases for this part of
+ISO 10303. Each abstract test case addresses one or more test purposes
+explicitly or implicitly specified in clause~4.
+\par
+}
+
+\newcommand{\atcbpii}{%
+ \input{bpfats10}
+}
+\newcommand{\atcpretpc}{%
+ \input{bpfats11}
+}
+
+\newcommand{\atcposttpc}{%
+ \input{bpfats12}
+}
+
+\newcommand{\confclassbp}[1]{%
+
+ To conform to conformance class #1 of ISO 10303-\theAPpartno,
+an implementation shall pass executable versions of the following
+abstract test cases: }
+\newcommand{\atsnoclassesbp}{%
+ Conformance to ISO 10303-\theAPpartno\ is defined only in terms
+of the entire AP. Therefore, conformance requires that an
+implementation pass executable versions of all abstract
+test cases in clause 6. }
+\newcommand{\pisfbp}[3]{\par
+ This annex references a listing of the postprocessor input
+specifications for this part of ISO~10303 without comments or other
+explanatory text. These specifications are documented using
+ISO 10303-#1. These specifications are available in
+computer-interpretable form and can be found at the following URL:
+\begin{center}
+\isourl{#2}
+\end{center}
+
+ If there is difficulty accessing this site contact the ISO Central
+Secretariat or contact the ISO TC184/SC4 Secretariat directly at:
+\url{sc4sec@cme.nist.gov}.
+
+ The postprocessor input specifications for each test case is supplied
+electronically via the Internet. Table~#3 lists
+the file name of the postprocessor input specification that is
+associated with the postprocessor subclause(s) of a test case.
+\par
+%%% \input{bpfats13}
+}
+
+\endinput
+%%
+%% End of file `atsv11.sty'.