%% %% 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'.