Something went wrong on our end
-
Jonas Blatt authoredJonas Blatt authored
- Verifier
- Overview
- DRD Modeling Level Verification
- Lonely Data Input Verification
- Description
- Algorithm
- Missing Input Data Verification
- Description
- Algorithm
- Missing Input Column Verification
- Description
- Algorithm
- Modeling Level Verification
- Predefined Existing Value Verification
- Description
- Algorithm
- Predefined Missing Value Verification
- Description
- Algorithm
- Empty Output Verification
- Description
- Algorithm
- Decision Logic Level Verification
- Subsumption Verification
- Description
- Algorithm
- Partial Reduction Verification
- Description
- Algorithm
- Overlapping Verification
- Description
- Algorithm
- Missing Rule Verification
- Description
- Algorithm
- Identical Business Rule Verification
- Description
- Algorithm
- Equivalent String Verification
- Description
- Algorithm
- Syntax Level Verification
- Date Format Verification
- Description
- Algorithm
- Input Value Syntax Verification
- Description
- Algorithm
verifier.md 6.94 KiB
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
}Missing Input Data Verification
- Type: MissingInputDataVerification
- Verifier: MissingInputDataVerifier
Description
Algorithm
TODOMissing Input Column Verification
- Type: MissingInputColumnVerification
- Verifier: MissingInputColumnVerifier
Description
Algorithm
TODOModeling Level Verification
- Classification: ModelingLevelVerification
Predefined Existing Value Verification
- Type: PredefinedExistingValueVerification
- Verifier: PredefinedExistingValueVerifier
Description
TODO
Algorithm
TODOPredefined Missing Value Verification
- Type: PredefinedMissingValueVerification
- Verifier: PredefinedMissingValueVerifier
Description
TODO
Algorithm
TODOEmpty Output Verification
- Type: EmptyOutputVerification
- Verifier: EmptyOutputVerifier
Description
This verification checks if a output entry is empty.
Algorithm
TODODecision Logic Level Verification
- Classification: DecisionLogicLevelVerification
Subsumption Verification
- Type: SubsumptionVerification
- Verifier: SubsumptionVerifier
Description
TODO
Algorithm
TODOPartial Reduction Verification
- Type: PartialReductionVerification
- Verifier: PartialReductionVerifier
Description
TODO
Algorithm
TODOOverlapping Verification
- Type: OverlappingVerification
- Verifier: OverlappingVerifier
Description
TODO
Algorithm
TODOMissing Rule Verification
- Type: MissingRuleVerification
- Verifier: MissingRuleVerifier
Description
TODO
Algorithm
TODOIdentical Business Rule Verification
- Type: IdenticalBusinessRuleVerification
- Verifier: IdenticalVerifier
Description
TODO
Algorithm
TODOEquivalent String Verification
- Type: EquivalentStringVerification
- Verifier: EquivalentVerifier
Description
TODO
Algorithm
TODOSyntax Level Verification
- Classification: SyntaxLevelVerification
Date Format Verification
- Type: DateVerification
- Verifier: DateVerifier
Description
This verification checks the correctness of the date format for all date entries. Each date should be in the format "data and time(yyyy-MM-ddThH:mm:ss)".
Algorithm
TODOInput Value Syntax Verification
- Type: InputValueSyntaxVerification
- Verifier: InputValueSyntaxVerifier
Description
This verification checks the correctness of the input formats for all input entries. They should have no syntax errors.
For example: A numeric input value must have one of the following formats:
= x<= x> x>= x[x..y]]x..y[[x..y[]x..y]
Algorithm
TODO