manleviet / cecore Goto Github PK

not(KB), e.g., not(KB) = not(A and B and C) = not(A) or not(B) or not(C)

Current version: DirectDebug for each test case.
Need: DirectDebug for all test cases.

1. AnomalyType:

• remove colors from descriptions
• replace getRaw... functions with get...WithColor functions

2. VoidFMExplanation, RedundancyAnalysisExplanation, and CompactExplanation:

• will have two functions - one for raw descriptive explanation and one for explanation with color

3. Bring the source code of RawExplanation into AutomatedAnalysisExplanation

• it means that AutomatedAnalysisExplanation will have two public functions: (1) getDescriptiveExplanation - returns a raw descriptive explanation for each type of Analysis, (2) getDescriptiveExplanations - returns raw descriptive explanations for a list of analyses, (3) getDescriptiveExplanationWithColor - returns formatted descriptive explanation for each type of Analysis, (4) getDescriptiveExplanationsWithColor - returns formatted descriptive explanation for a list of analyses.

4. (May be this is not good)Migrate the structure of DiagnosisTree into CECore. In this case, the below class should have an additional function whose output is a DiagnosisTree (or something like that).

Use CA-CDR-V2 1.3.9-alpha-38

• Use ${version} in pom files
• Add feature models
• Mutation testing

settings.xml contains only the server's information

1. Fix assumption creation
2. Fix analysis
3. Fix explanator