Project

General

Profile

Bug #753

Architecture of the state coverage Testcase generation strategy

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

Status:
Closed
Priority:
Normal
Assignee:
-
Category:
-
Target version:
Start date:
03/28/2012
Due date:
% Done:

0%

Estimated time:
1.00 h

Description

Now the class: StatesCoverageAnalyzer is duplicated, and a bit inconsistent - in testing the method "stateCanBeReachedLTL" is used while in analyses the method "stateCanNotBeReachedLTL"

I propose to move this class to the testing plugin and use the stateCanNotBeReached ...

using the negated variant gives a counterexample with the trace to state.

History

#1 Updated by Anonymous over 8 years ago

  • Status changed from New to Resolved
  • Assignee changed from Anonymous to Anonymous
  • Target version changed from Phoenx 2.1 RC3 to Phoenix 2.1 RC4
  • Estimated time set to 1.00 h

Moved model checking based test suite generator to the testing plugin

#2 Updated by Anonymous over 8 years ago

  • Status changed from Resolved to In Progress
  • Assignee changed from Anonymous to Anonymous

#3 Updated by Anonymous over 8 years ago

  • Status changed from In Progress to Closed

Also available in: Atom PDF