Schumann, Anika; Huang, Jinbo; Sachenbacher, Martin
The goal of testing is to discriminate between multiple hypotheses about a system - for example, different fault diagnoses - by applying input patterns and verifying or falsifying the hypotheses from the observed outputs. Definitely discriminating tests (DDTs) are those input patterns that are guaranteed to discriminate between different hypotheses of non-deterministic systems. Finding DDTs is important in practice, but can be very expensive (∑2p - complete)-Even more challenging is the problem...[Show more]
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.