Project

General

Profile

Task #5571

[efsm] [extraction] Извлечение ограничений на значения всех переменных из их объявлений

Added by Igor Melnichenko over 4 years ago. Updated over 4 years ago.

Status:
Closed
Priority:
Normal
Assignee:
Category:
-
Target version:
Start date:
01/22/2015
Due date:
% Done:

100%

Estimated time:
Detected in build:
svn
Published in build:
20150307

Description

Необходимо извлекать ограничения на значения всех переменных из их объявлений (как сейчас делается для переменных состояния).
Дополнительно предлагаю вынести такие ограничения из состояний в отдельное поле класса VariableData.

History

#1

Updated by Sergey Smolov over 4 years ago

  • Target version set to 0.1
#2

Updated by Sergey Smolov over 4 years ago

  • Status changed from New to Open

Действительно, сейчас инварианты на переменные учитываются только при построении состояний. Будет исправлено.
Помещать инвариант в объект VariableData, который потом кладется в ту же Node Variable - это решение порождает рекурсию (в поле userData объекта NodeVariable будет лежать выражение, которое исопльзует ту же самую переменную). Предлагаю в архитектурном плане оставить все как есть, т.е. хранить инварианты на переменные в ассоциированных с ними объектах VariableDeclaration.

#3

Updated by Sergey Smolov over 4 years ago

  • Status changed from Open to Resolved
  • % Done changed from 0 to 100
  • Published in build set to r1465
#4

Updated by Igor Melnichenko over 4 years ago

А VariableDeclaration существует только на уровне CFG?
Нужно как-то передать эту информацию в EFSM, чтобы генератор тестов и симулятор могли ей пользоваться.

#5

Updated by Sergey Smolov over 4 years ago

Да, только на уровне CFG.
Если нужно, можно хранить инварианты на переменные также и в EFSM.
Но тикет-то носит префикс "[efsm][extraction]". То, что ты предлагаешь, я сделать могу, но на это лучше бы другой тикет создать.

#6

Updated by Igor Melnichenko over 4 years ago

  • Status changed from Resolved to Verified
#7

Updated by Sergey Smolov over 4 years ago

  • Status changed from Verified to Closed
  • Published in build changed from r1465 to 20150307

Also available in: Atom PDF