diff options
Diffstat (limited to 'Master/texmf-dist/tex/latex/iso10303/atsv11.sty')
-rw-r--r-- | Master/texmf-dist/tex/latex/iso10303/atsv11.sty | 154 |
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'. |