Машинное тестирование

 

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

Выделяют два вида тестирования: разрушающее и диагностическое:

1. Разрушающее тестирование производится над программой, которая считается правильной, с целью заставить ее дать сбой.

2. Диагностическое тестирование выполняется с целью локализации ошибки, если известно о ее существовании.

В ТР существуют системные средства для отладки программ. Они позволяют выполнить трассировку с выводом значений интересующих переменных и выражений, устанавливать точки останова, точки прерывания (контрольные точки).

 

Проверка правильности данных

 

Правильно написанная программа должна:

1. при вводе некорректных данных выдавать сообщение, указывающее на некорректный элемент данных и сообщать о причине некорректности;

2. произвести как можно больше правильных вычислений;

3. встретив некорректный элемент данных, проверить остальные данные.