Project

General

Profile

Support #2925

Support #2892: remove (unnecessary) dependencies on analyses plugin

remove dependency of testing on analyses

Added by Anonymous over 3 years ago. Updated over 3 years ago.

Status:
Closed
Priority:
Normal
Assignee:
-
Category:
-
Start date:
04/10/2017
Due date:
% Done:

100%

Estimated time:

Description

remove dependency of testing on analyses plugin.

Testing uses analyses to generate test cases for state coverage and transition coverage. State reachability is already re-implemented as a constraint in the specification plugin. Transition coverage is not, and should be available soon.

History

#1 Updated by Anonymous over 3 years ago

  • Status changed from New to Resolved
  • Assignee changed from Anonymous to Anonymous
  • % Done changed from 0 to 100

methods to be implemented

LTLExp stateCanNotBeReachedLTL(AF3ToNuSMVCompilationResult conversionResult, Component contextComp, Component comp, State state)

void injectLtlSpecification(AF3ToNuSMVCompilationResult conversionResult,Component comp, IExpressionTerm spec)

#2 Updated by Anonymous over 3 years ago

  • Assignee changed from Anonymous to Anonymous

dependency is not removed yet.

#3 Updated by Anonymous over 3 years ago

  • Assignee changed from Anonymous to Anonymous

In principle the only classes from analyses that need to be re-implemented are:
- ComponentsAnalyzerBase
- ModelCheckingAnalysisResult
- UnknownLanguageFragmentException (just copy paste)

#4 Updated by Anonymous over 3 years ago

  • Status changed from Resolved to Closed
  • Assignee deleted (Anonymous)

Also available in: Atom PDF