Методы тестирования и диагностики программных и аппаратных средств

Для выявления возможно большего количества ошибок рекомендуется разделить отладку на 4 этапа.

I - й этап отладки программы - её чтение за рабочим столом, включая проверку всех связей программы. Целесообразно предложить другому лицу прочитать написанную программу.

2-й этап - автономная отладка ПС, в результате которой должны быть подготовлены все программные модули, которые подлежат объединению

3-й этап - комплексная отладка, цель которой - проверка правильности взаимодействия программ между собой, возможность наращивания ПС. На этом этапе необходимо регистрировать выявленные ошибки.

4-й этап - предъявление ПС заказчику. Здесь проводится оценка поведения ПС при входных данных, отличных от тех, которые были в процессе комплексной отладки.

Одним из простых и достаточно точных методов оценки основан на статистической модели надежности Милса. Для этого в испытуемое ПС специально вводится случайным образом некоторое количество Nв известных ошибок. Предполагается, что темп обнаружения внесенных и собственных ошибок одинаковый. Если обозначить через N₀ – первоначальное количество собственных ошибок в программном изделии, а через n₀ и n_в соответственно число обнаруженных собственных и внесенных ошибок, то условие одинаковой вероятности и обнаружения ошибок определится пропорцией:

n₀/N₀ ~ n_в/N_в

отсюда находим, что первоначальное количество ошибок в разработанной программе:

N₀ ~ n₀N_в/n_в

Такая модель справедлива для простой программы с единственной функцией. Если процесс решений может разветвляться в зависимости от вводимых данных, то в процессе единичного испытания ошибки будут обнаружены только в одной ветви. Для оценки сложных ПС можно воспользоваться моделями и надежности, изложенными ранеее.