User: Guest  Login
Title:

Computing Optimal Tests for Non-deterministic Systems Using DNNF Graphs

Document type:
Zeitschriftenaufsatz
Author(s):
Anika Schumann, Martin Sachenbacher, Jinbo Huang
Abstract:
The goal of testing is to distinguish between a number of hypotheses about a system—for example, different diagnoses of faults—by applying input patterns and verifying or falsifying the hypotheses from the observed outputs. Optimal distinguishing tests (ODTs) are those input patterns that are most likely to distinguish between hypotheses about non-deterministic systems. Finding ODTs is practically important, but it amounts in general to determining a ratio of model counts and is therefore comput...     »
Congress title:
Proceedings of Fifth Workshop on Model Based Testing (MBT 2009)
Journal title:
Electronic Notes in Theoretical Computer Science
Year:
2009
Journal volume:
253
Journal issue:
2
Pages contribution:
87-99
Language:
en
Format:
Text
 BibTeX