Project

General

Profile

Actions
Copy link

Task #5023

closed

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

Added by Alexander Kamkin almost 10 years ago. Updated over 4 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
 #1

Updated by Alexander Kamkin over 9 years ago

Новая версия DECIDER добавлена в retrascope-internals.

Actions
Copy link
 #2

Updated by Sergey Smolov over 9 years ago

  • Target version changed from 0.1 to 0.2
Actions
Copy link
 #3

Updated by Sergey Smolov about 9 years ago

  • Subject changed from [research] Провести сравнение методов генерации функциональных тестов to Провести сравнение методов генерации функциональных тестов
  • Category set to Engine (Generator)
Actions
Copy link
 #4

Updated by Sergey Smolov almost 9 years ago

  • Target version changed from 0.2 to 0.1
Actions
Copy link
 #5

Updated by Sergey Smolov almost 9 years ago

  • Status changed from New to Feedback

Is this task still actual?

Actions
Copy link
 #6

Updated by Sergey Smolov about 8 years ago

  • Status changed from Feedback to Open
  • Target version changed from 0.1 to 0.2
Actions
Copy link
 #7

Updated by Sergey Smolov over 7 years ago

  • Detected in build changed from svn to master
Actions
Copy link
 #8

Updated by Sergey Smolov over 6 years ago

  • Target version deleted (0.2)
Actions
Copy link
 #9

Updated by Sergey Smolov over 6 years ago

  • Assignee changed from Igor Melnichenko to Sergey Smolov
Actions
Copy link
 #10

Updated by Sergey Smolov over 5 years ago

  • Status changed from Open to Resolved

Статьи, где сравниваются тесты, построенные нашими методами, а также FATE (Верона) и FATE+(Верона с эвристиками), написаны в 2015-2016 гг.
Тесты, генерируемые инструментом DECIDER, в сравнении не участвовали.

Actions
Copy link
 #11

Updated by Sergey Smolov over 4 years ago

  • Status changed from Resolved to Closed
Actions
Copy link

Also available in: Atom PDF