Task #5571
closed[efsm] [extraction] Извлечение ограничений на значения всех переменных из их объявлений
100%
Description
Необходимо извлекать ограничения на значения всех переменных из их объявлений (как сейчас делается для переменных состояния).
Дополнительно предлагаю вынести такие ограничения из состояний в отдельное поле класса VariableData.
Updated by Sergey Smolov almost 10 years ago
- Status changed from New to Open
Действительно, сейчас инварианты на переменные учитываются только при построении состояний. Будет исправлено.
Помещать инвариант в объект VariableData, который потом кладется в ту же Node Variable - это решение порождает рекурсию (в поле userData объекта NodeVariable будет лежать выражение, которое исопльзует ту же самую переменную). Предлагаю в архитектурном плане оставить все как есть, т.е. хранить инварианты на переменные в ассоциированных с ними объектах VariableDeclaration.
Updated by Sergey Smolov almost 10 years ago
- Status changed from Open to Resolved
- % Done changed from 0 to 100
- Published in build set to r1465
Updated by Igor Melnichenko almost 10 years ago
А VariableDeclaration существует только на уровне CFG?
Нужно как-то передать эту информацию в EFSM, чтобы генератор тестов и симулятор могли ей пользоваться.
Updated by Sergey Smolov almost 10 years ago
Да, только на уровне CFG.
Если нужно, можно хранить инварианты на переменные также и в EFSM.
Но тикет-то носит префикс "[efsm][extraction]". То, что ты предлагаешь, я сделать могу, но на это лучше бы другой тикет создать.
Updated by Igor Melnichenko almost 10 years ago
- Status changed from Resolved to Verified
Updated by Sergey Smolov almost 10 years ago
- Status changed from Verified to Closed
- Published in build changed from r1465 to 20150307