| 摘要 |
Health statuses of components expressing a normal, a suspected faulty or a confirmed faulty condition are estimated. Based on results of tests minimal conflicts are identified explaining the test results. Readiness statuses are derived indicating a final value or a non-final value depending on whether or not additional testing of a component is expected to alter the component's health status. In case of non-final value[s], future minimal conflicts are identified expressing all combinations of potentially faulty components being consistent with the set of present minimal conflicts. Based on the minimal conflicts, additional tests are determined being potentially capable of producing results that cause the readiness status to be changed to the final value for one or more components. A status report is generated after evaluation of at least one of the additional tests.
|
