English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools annual

Global: Zendy Free Plan

Global: Zendy Tools monthly

Global: Zendy Plus monthly

Cause-effect graph is a directed Graph that maps a set of causes to a set of effects. The Causes may be thought of as input and the effect is thought of as the output. Cause-effect graphs can be used for specifying safety critical systems including avionics control software that are often intended to satisfy Boolean expressions. While Boolean expressions are useful to model predicates and complex conditions for state transitions, it is also true that they are very error prone to introduction of faults. Even though many Boolean specification based testing techniques have been proposed to detect faults of implementations of such specifications, there is almost no research about experimental investigation of the effectiveness of testing techniques with cause-effect graphs. In this paper, we present a new fault model which encompasses a variety of fault classes being hypothesized on the cause-effect graph. We have developed a tool to generate faults according to the fault model and to determine if a testing technique can detect those faults. Keywords— Cause Effect Graph, Test Cases, Decision Table, Fault Classes.

Fault Model For Cause Effect Graph Testing