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

spotted unitary state was not clear in ENSURE

Browse Source 
in algorithm 2
This commit is contained in:
Robin Clark 2013-08-16 20:52:17 +01:00
parent dc4ecbea45
commit 19d2cad724
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
submission_thesis/appendixes/algorithmic.tex
View File

@ -444,7 +444,7 @@ all failure modes in components in the {\fg} are included in at least one test~c
\If{Double fault checking}
\State { let $f1,f2$ represent 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 { $ \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 \wedge 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 (see section~\ref{sec:unitarystate}) is included
as a test case.}
\EndIf