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

thats enough for today

Browse Source
This commit is contained in:
Robin Clark 2013-08-16 21:12:11 +01:00
parent 19d2cad724
commit 1f193a9242
1 changed files with 7 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
submission_thesis/appendixes/algorithmic.tex
View File

@ -388,7 +388,7 @@ all failure modes in components in the {\fg} are included in at least one test~c
%\State { Let $ptc$ be a provisional test case } \Comment{ Determine Test cases with simultaneous failure modes }
\If{DoubleFaultChecking} \Comment{ Assign one test case per valid double fault mode } %\State { Let $ptc$ be a provisional test case }
\If{DoubleFaultChecking = TRUE} \Comment{ Assign one test case per valid double fault mode } %\State { Let $ptc$ be a provisional test case }
\ForAll { $ f_1,f_2 \in F $ }
\State { $ ptc := \{ f_1,f_2 \} $ } \Comment{Make $ptc$ a provisional test case}
%\State { FINDING ERRORS IN LATEX SOURCE IS challenging}
@ -437,17 +437,17 @@ all failure modes in components in the {\fg} are included in at least one test~c
\State { let $f$ represent a component failure mode }
%\ENSURE { That all failure modes are represented in at least one test case }
\Ensure { $ \forall f \;such\;that\; (f \in F)) \wedge (f \in \bigcup TC) $ }
\Comment { This corresponds to checking that at least each single failure mode is
\Comment { Check that at each single failure mode is
included as a test case.}
%\EndIf
\If{Double fault checking}
%\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 \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
\Ensure { $ \forall f1,f2 \;where\; (f1 \wedge f2) \not\in (\forall c) \;such\;that\; (f1,f2 \in F)) \wedge ( \{f1,f2\} \in \bigcup TC) \wedge ({DoubleFaultChecking} = TRUE)$ }
\Comment { If ${DoubleFaultChecking}$ is required, check that all possible double failure modes (see section~\ref{sec:unitarystate}) are included
as a test cases.}
%\EndIf
\State \textbf{return} $TC$
% some european standards
% imply checking all double fault combinations\cite{en298} }