Actions
Task #4252
closedTest coverage extraction
Start date:
06/26/2013
Due date:
03/18/2015
% Done:
0%
Estimated time:
Detected in build:
svn
Published in build:
150324
Description
Требуется по внутреннему представлению инструкций построить модель тестового покрытия - множество ограничений, описывающих пути в CFG соответствующей инструкции.
Проверить можно на моделях ARM и MIPS (запустив Z3 и сгенерировав тестовые данные).
Updated by Alexander Kamkin about 10 years ago
- Priority changed from Normal to Urgent
- Target version set to 2.0
Задача поставлена 9 месяцев назад. Нужно ускориться.
Updated by Alexander Kamkin about 10 years ago
- Due date set to 06/30/2014
- Target version changed from 2.0 to 2.2
Updated by Alexander Kamkin over 9 years ago
Ждем комита извлекателя тестовых ситуаций.
Updated by Alexander Kamkin about 9 years ago
- Subject changed from [coverage] Извлечение модели тестового покрытия to Test coverage extraction
- Due date changed from 06/30/2014 to 03/18/2015
- Category set to MIR
Updated by Alexander Kamkin about 9 years ago
- Status changed from New to Resolved
Закрываю эту задачу. Ошибки и пожелания к извлекателю будут оформляться отдельно.
Updated by Alexander Kamkin about 9 years ago
- Status changed from Resolved to Closed
- Published in build set to 150324
Actions