4 Основные принципы тестирования и верификации программ

Особенностями тестирования ПИ являются:

» отсутствие эталона (программы), которому должна соответствовать тестируемая программа;

» высокая сложность программ и принципиальная невозможность исчерпывающего тестирования;

» практическая невозможность создания единой методики тестирования (формализации процесса тестирования) в силу большого разнообразия ПИ по их сложности, функциональному назначению, области использования и т.д.

Применительно к ПИ тестирование - это процесс многократного выполнения программы с целью обнаружения ошибок.

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

Цель тестирования - выявление как можно большего числа ошибок.

Из правильного определения тестирования вытекает ряд принципов, которые интуитивно ясны, но именно поэтому на них не обращают внимания.

Принцип 1. Процесс тестирования более эффективен, если проводится не автором программы.

Принцип 2. Описание предполагаемых значений результатов тестовых прогонов должно быть необходимой частью тестового набора данных.

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

Принцип 3. Необходимо досконально изучать результаты каждого теста.

Из практики видно, что значительная часть всех обнаруженных в конечном итоге ошибок могла быть выявлена в результате самых первых тестовых прогонов, но они были пропущены вследствие недостаточно тщательного анализа первых тестовых прогонов.

Принцип 4. Тесты для неправильных и непредусмотренных входных данных должны разрабатываться также тщательно, как для правильных, предусмотренных.

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

Принцип 5. Необходимо проверять не только, делает ли программа то, для чего она предназначена, но и не делает ли она то, что не должна делать.

Принцип 6. Вероятность наличия необнаруженных ошибок в части программы пропорциональна числу ошибок, уже обнаруженных в этой части.

Метод верификации

Один пользователь заполняет БД с документов, второй сравнивает на соответствие Таким образом выявляются ошибки, (массивный подход)

Один заполняет, второй заполняет посимвольно. При этом ошибки блокируются в дальнейшем заполнении БД. (символьный подход)

Верность данного метода составляет 95-98%. Остальные 2-5% достоверности информации обнаруживаются после использования БД.

На практике функции контроля и преобразования могут выполнять несколько программ, каждая из которых ориентирована на определенный формат входного бланка.

Выявленные ошибочные данные подлежат исправлению, повторному вводу.