Project

General

Profile

Feature #2712

[Analyses] Temporal logic patterns in V&V Dashboard

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

Status:
Closed
Priority:
Normal
Assignee:
-
Category:
-
Start date:
10/11/2016
Due date:
% Done:

90%

Estimated time:

Description

Along traces and tests, have a "temporal logic patterns" section in the V&V Dashboard


Related issues

Precedes Feature #2352: [Test] Tests as contractsRejected10/12/201610/12/2016

History

#1 Updated by Anonymous about 4 years ago

#2 Updated by Anonymous about 4 years ago

  • Status changed from New to In Progress
  • Assignee changed from Anonymous to Anonymous
  • % Done changed from 0 to 90

It's globally done even though I'm sure some fine-tuning will be needed.
See /org.fortiss.af3.specification.ui/src/org/fortiss/af3/specification/ui/editor/trees/TLTree.java

I leave the fine-tuning to you during my vacation ;-)

I make a separate issue for the integration of temporal logic patterns as constraints.

#3 Updated by Anonymous over 3 years ago

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

it is done in my opinion. To be tested and closed.

#4 Updated by Anonymous over 3 years ago

  • Status changed from Resolved to Closed

Just tested: agreed

Also available in: Atom PDF