Skip navigation
Skip navigation
Open Research will be down for maintenance between 8:00 and 8:15 am on Tuesday, December 1 2020.

Constraint-based optimal testing using DNNF graphs

Schumann, Anika; Sachenbacher, Martin; Huang, Jinbo


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...[Show more]

CollectionsANU Research Publications
Date published: 2009
Type: Book chapter
DOI: 10.1007/978-3-642-04244-7_57


File Description SizeFormat Image
01_Schumann_Constraint-based_optimal_2009.pdf268.97 kBAdobe PDF    Request a copy
02_Schumann_Constraint-based_optimal_2009.pdf154.57 kBAdobe PDF    Request a copy
03_Schumann_Constraint-based_optimal_2009.pdf287.01 kBAdobe PDF    Request a copy

Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  19 May 2020/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator