Project

General

Profile

Actions
Copy link

Task #5023

closed

Провести сравнение методов генерации функциональных тестов

Added by Alexander Kamkin almost 10 years ago. Updated almost 5 years ago.

Status:
Closed
Priority:
Normal
Assignee:
Sergey Smolov
Category:
Engine (Generator)
Target version:
-
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)

Данные для сбора:
  1. Длина тестовой последовательности
  2. Уровень тестового покрытия (все показатели, собираемые ModelSim)
Actions
Copy link

Also available in: Atom PDF