Page 10 - И.В. Рудаков, А.В. Ребриков - ПРОВЕРКА ВЫПОЛНЕНИЯ ФУНКЦИОНАЛЬНЫХ ТРЕБОВАНИЙ К АЛГОРИТМУ НА ОСНОВЕ СТРУКТУРНОЙ ГЕНЕРАЦИИ МОДУЛЬНЫХ ТЕСТОВ

Рис. 3. Сравнение методов генерации тестов по времени затрат
примерах всего 0,051), для граничных значений он составляет 0,734,
для тестов, генерируемых автоматически – 1 (что следует из структу-
ры алгоритмов генерации на каждую непокрытую ветвь возвращается
только один тестовый случай).
Качество теста можно охарактеризовать следующими величинами:
c
0
=
c
n
max;
η
max;
t
0
=
t
n
min;
e
max;
q
1
=
ηc
0
t
0
=
ηc
t
max;
q
2
=
ηe
t
0
=
ηen
t
max
,
где
c
покрытие кода тестами данного метода генерации;
n
число
тестов, обеспечивших данное покрытие;
η
относительный уровень
насыщения;
t
время, необходимое для генерации заданного числа
тестов;
e
число обнаруживаемых мутантов;
q
1
мультипликатив-
ный критерий качества, направленный на максимизацию, без учета
обнаружения ошибок;
q
2
мультипликативный критерий качества,
направленный на максимизацию, без учета покрытия. Введены два
разных критерия
q
1
и
q
2
,
поскольку существует корреляция между
параметрами
e
и
c
0
.
76
ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2012