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

more description

Browse Source
This commit is contained in:
Robin 2010-06-04 16:45:51 +01:00
parent dddb0da334
commit 710861c181
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
component_failure_modes_definition/component_failure_modes_definition.tex
View File

@ -447,8 +447,9 @@ Expanding the combination in equation \ref{eqn:correctedccps}
\end{equation}
The equation \ref{eqn:correctedccps2} is now useful for an automated tool that
would verify that a `N' simultaneous failures model had been completly covered
by knowing how many test case should be covered.
would verify that a `N' simultaneous failures model had been completly covered.
By knowing how many test case should be covered, and checking the cardinality
associated with the test cases complete coverage could be confirmed.
%$$ \#\mathcal{P}_{cc} S = \sum^{k}_{1..cc} \big[ \frac{\#S!}{k!(\#S-k)!} - \sum_{j} (\#C_{j} \choose cc \big] $$