Project

General

Profile

Actions

Task #4252

closed

Test coverage extraction

Added by Alexander Kamkin over 11 years ago. Updated over 9 years ago.

Status:
Closed
Priority:
Urgent
Category:
MIR
Target version:
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 и сгенерировав тестовые данные).

Actions #1

Updated by Alexander Kamkin over 10 years ago

  • Priority changed from Normal to Urgent
  • Target version set to 2.0

Задача поставлена 9 месяцев назад. Нужно ускориться.

Actions #2

Updated by Alexander Kamkin over 10 years ago

  • Due date set to 06/30/2014
  • Target version changed from 2.0 to 2.2
Actions #3

Updated by Alexander Kamkin about 10 years ago

Ждем комита извлекателя тестовых ситуаций.

Actions #4

Updated by Alexander Kamkin over 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
Actions #5

Updated by Alexander Kamkin over 9 years ago

  • Status changed from New to Resolved

Закрываю эту задачу. Ошибки и пожелания к извлекателю будут оформляться отдельно.

Actions #6

Updated by Alexander Kamkin over 9 years ago

  • Status changed from Resolved to Closed
  • Published in build set to 150324
Actions

Also available in: Atom PDF