Actions
Task #5023
closedПровести сравнение методов генерации функциональных тестов
Start date:
07/07/2014
Due date:
% Done:
0%
Estimated time:
Detected in build:
master
Published in build:
Description
Сравниваемые подходы:
- DECIDER [см. Retrascope Internals] (нужно попробовать разные режимы работы инструменты)
- Verona
- Verona с новыми эвристиками (нужно попробовать разные эвристики)
Набор тестов: ITC'99 (пока нет извлекателя можно построить автоматы вручную для пары-тройки примеров; полноценное сравнение будет возможно, когда появится извлекатель).
Симулятор: ModelSim (Questa)
- Длина тестовой последовательности
- Уровень тестового покрытия (все показатели, собираемые ModelSim)
Actions