verifier.md

Verifier

Overview

• Verification Classification (Group of verifier)
• Verification Type (identification of verifier + name + description for single verifier)
• Verifier (Concrete implementation)

DRD Modeling Level Verification

• Classification: DrdModelingLevelVerification

Lonely Data Input Verification

• Type: LonelyDataInputVerification
• Verifier: LonelyDataInputVerifier

Description

Detection input data nodes, which has no connection to at least one decision table.

Algorithm

doVerification (Definition d) {
    define rL as ResultList
    for each (InputNode i in d.getInputNodes()) {
        if (i.hasNoConnectedDecisionNodes()) {
            add i to rL
        }
    }
    return rL
}

Missing Input Data Verification

• Type: MissingInputDataVerification
• Verifier: MissingInputDataVerifier

Description

Detecting columns which has no reference to either a input node or a decision node with a corresponding output column.

Algorithm

TODO

Missing Input Column Verification

• Type: MissingInputColumnVerification
• Verifier: MissingInputColumnVerifier

Description