3.3. Оценка полноты тестирования программы по выбранному критерию

Тестирование программы Р по некоторому критерию C означает покрытие множества компонентов программы P М = {m1...mk} по элементам или по связям. Оценка уровня оттестированности программы опирается на множества неизбыточных тестов.

T={t1...tn} - кортеж неизбыточных тестов ti.

Тест ti неизбыточен, если существует покрытый им компонент mi из M(P,C), не покрытый ни одним из предыдущих тестов t1...ti-1. Каждому ti соответствует неизбыточный путь pi - последовательность вершин от входа до выхода.

V(P,С) - сложность тестирования Р по критерию С - измеряется максимальным числом неизбыточных тестов, покрывающих все элементы множества M(P,С).

DV(P,C,T) - остаточная сложность тестирования Р по критерию С - измеряется максимальным числом неизбыточных тестов, покрывающих элементы множества M(P,C), оставшиеся непокрытыми, после прогона набора тестов Т. Величина DV строго и монотонно убывает от V до 0.

TV(P,C,T) = (V-DV)/V - оценка степени тестированности (уровня полноты тестирования) Р по критерию С. Критерий окончания тестирования TV(P,C,T) >= L, где 0 <= L <= 1 (Рис. 11). L - уровень оттестированности, заданный в требованиях к программному продукту.

Рис. 11. Метрика оттестированности приложения

Рассмотрим две модели (плоскую и иерархическую) программного обеспечения, используемые при оценке оттестированности.