summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/tex/latex/iso10303/atsv11.sty
blob: e004c8ab8c73ca99fa25cf520956d0f7b74387e7 (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
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
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'.