From 710861c181f8df7568551df7e440cd0a6f12eb2d Mon Sep 17 00:00:00 2001 From: Robin Date: Fri, 4 Jun 2010 16:45:51 +0100 Subject: [PATCH] more description --- .../component_failure_modes_definition.tex | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/component_failure_modes_definition/component_failure_modes_definition.tex b/component_failure_modes_definition/component_failure_modes_definition.tex index af6bf9f..00e3be8 100644 --- a/component_failure_modes_definition/component_failure_modes_definition.tex +++ b/component_failure_modes_definition/component_failure_modes_definition.tex @@ -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] $$