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

Checks for any input data node, if it 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
}

Modeling Level Verification

• Classification: ModelingLevelVerification

Predefined Existing Value Verification

• Type: PredefinedExistingValueVerification
• Verifier: PredefinedExistingValueVerifier

Description

TODO

Algorithm

TODO

Predefined Missing Value Verification

• Type: PredefinedMissingValueVerification
• Verifier: PredefinedMissingValueVerifier

Description

TODO

Algorithm

TODO

Decision Logic Level Verification

• Classification: DecisionLogicLevelVerification

TODO...

SyntaxLevelVerification

• Classification: SyntaxLevelVerification

TODO...