ВУЗ:
Составители:
Рубрика:
51
Если допустить, что за время T выявлено n ошибок, то справедливо соот-
ношение (3.2-1), утверждающее, что произведение скорости выявления одной i-
той ошибки и времени выявления этой i-той ошибки есть 1 по определению:
(3.2-1) (N–i+1)*C*ti = 1 Отсюда для n ошибок справедливо соотно-
шение (3.2-2):
(3.2-2) N*C*t1+(N–1)*C*t2+…+(N–(n–1))*C*tn=n
N*C*(t1+t2+…+tn) – C*∑
i
[(i–1)*ti] = n, i=1..n
N*C*T – C*∑
i
[(i–1)*ti] = n
Если из (3.2-1) определить ti и просуммировать от 1 до n, то придем к со-
отношению (3.2-3) для времени T выявления n ошибок
(3.2-3) ∑
i
[1/(N–i+1)] = T*C, i=1..n
Если из (3.2-2) выразить С, приходим к соотношению (3.2-4):
(3.2-4) C = n/(N*T – ∑
i
[(i–1)*ti)], i=1..n
Наконец, подставляя С в (3.2-3), получаем окончательное соотношение
(3.2-5), удобное для оценок:
(3.2-5) ∑
i
[1/(N–i+1)] = n/(N – (1/T)*∑
i
[(i–1)*ti])
Если оценить величину N приблизительно, используя известные методы
оценки числа ошибок в программе [4] или данные о плотности ошибок для про-
ектов рассматриваемого класса из исторической базы данных проектов. И, кро-
ме того, использовать текущие данные об интервалах между ошибками
t1,t2…tn, полученные на фазе тестирования, то, подставляя эти данные в (3.2-5),
можно получить оценку t
n+1
временного интервала необходимого для нахожде-
ния и исправления очередной ошибки (будущей ошибки).
Если t
n+1
>Td – допустимого времени тестирования проекта, то тестирова-
ние заканчиваем, в противном случае продолжаем поиск ошибок.
Наблюдая последовательность интервалов ошибок t1,t2…tn, и время, по-
траченное на выявление n ошибок T= ∑
i
ti, можно прогнозировать интервал
времени до следующей ошибки и уточнять в соответствии с (3.2-4) величину С.
3.2.4. Мутационный критерий (класс IV)
Постулируется, что профессиональные программисты пишут сразу почти
правильные программы, отличающиеся от правильных мелкими ошибками или
описками такого рода, как перестановка местами максимальных значений ин-
дексов в описании массивов, ошибки в знаках арифметических операций, зани-
жение или завышение границы цикла на 1 и т. п. Мутационный критерий пред-
лагает подход, позволяющий на основе мелких ошибок оценить общее число
ошибок, оставшихся в программе.
Подход базируется на следующих понятиях:
Мутации – мелкие ошибки в программе.
Страницы
- « первая
- ‹ предыдущая
- …
- 49
- 50
- 51
- 52
- 53
- …
- следующая ›
- последняя »
