Project

General

Profile

Actions

Task #7104

closed

smv-test-parser: filter tests

Added by Sergey Smolov about 8 years ago. Updated over 7 years ago.

Status:
Closed
Priority:
High
Assignee:
Category:
Engine (Simulator)
Target version:
Start date:
04/25/2016
Due date:
% Done:

100%

Estimated time:
Detected in build:
master
Published in build:
20161025

Description

The engine takes EFSM model and Test model and produces a "filtered" Test model. The filtered Test model includes such tests that do not include each other.
Engine should use EFSM simulator to check which transitions are fired at which test.

Actions

Also available in: Atom PDF