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