robin/Robin_PHD
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

.

Browse Source
This commit is contained in:
Robin Clark 2010-08-04 13:46:48 +01:00
parent 64cfeffeca
commit 1bf848f942
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
symptom_ex_process/algorithm.tex
View File

@ -56,7 +56,7 @@ These are described using the Algorithm environment in the next section \ref{alg
By defining the process and describing it using set theory, constraints and By defining the process and describing it using set theory, constraints and
verification checks in the process are stated formally. verification checks in the process are stated formally.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\clearpage %\clearpage
\subsection{ Determine Failure Modes to examine} \subsection{ Determine Failure Modes to examine}
The first stage is to find the failure modes to consider for The first stage is to find the failure modes to consider for
@ -165,7 +165,7 @@ $$ DTC(F) = TC $$
\ENDIF \ENDIF
\IF{Double fault checking} \IF{Double fault checking}
\STATE { let $f1,f2$ represet a component failure modes, and $c$ a component in the functional group } \STATE { let $f1,f2$ represet a component failure modes, and $c$ any component in the functional group }
%\ENSURE { That all failure modes are represented in at least one test case } %\ENSURE { That all failure modes are represented in at least one test case }
\ENSURE { $ \forall f1,f2 \;where\; (f1,f2) \not\in c\;such\;that\; (f1,f2 \in F)) \wedge ( \{f1,f2\} \in \bigcup TC) $ } \ENSURE { $ \forall f1,f2 \;where\; (f1,f2) \not\in c\;such\;that\; (f1,f2 \in F)) \wedge ( \{f1,f2\} \in \bigcup TC) $ }
\COMMENT { This corresponds to checking that each possible double failure mode is considered \COMMENT { This corresponds to checking that each possible double failure mode is considered