Методы проверки программ:

1. Статическая проверка.

Анализ программы без её выполнения на ЭВМ. Здесь проверяется программа или проектное решение, если проверка проводится до стадии рабочего проекта. В результате составляется описание обнаруженных несоответствий в программе или между программой и принятыми стандартами и соглашениями.

2. Динамическая проверка.

Разработка и выполнение на ЭВМ наборов текстовых данных с целью обнаружения ошибок, включает в себя 3-и этапа:

1. Разработка тестов.

2. Использование программы или моделирование использования.

3. Анализ полученных результатов.

Тестирование программного обеспечения.

(динамическая проверка)

Тестирование – выполнение программы с целью найти ошибки. Процесс тестирования можно поделить на этапы:

1. Тестирование элементов.

Цель: индивидуальная проверка каждого модуля. Используется стратегия белого ящика.

2. Тестирование интеграций.

Цель: тестирование сборки модулей в программную систему. Используется стратегия чёрного ящика.

3. Тестирование правильности.

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

4. Системное тестирование.

Цель: проверка правильности объединения и взаимодействия всех элементов компьютерной системы, реализацию всех системных функций.

Тестирование элементов.

Объект тестирования – наименьшая единица проектирования программной системы – модуль. Тестированию подвергаются:

• интерфейс модуля;

• внутренние структуры данных;

• независимые пути;

• пути обработки ошибок;

• граничные условия.

Наиболее общие ошибки в вычислениях:

• не правильный или не понятный приоритет арифметических операций;

• смешанная форма операций;

• некорректная инициализация;

• несогласованность в представлении точности;

• некорректное символическое представление выражения.

Источники ошибок сравнения и не правильных потоков управления.

1. Сравнение различных типов данных.

2. Некорректные логические операции и приоритетность.

3. Ожидание эквивалентности в условиях, когда ошибки точности делают эквивалентность невозможной.

4. Некорректное сравнение переменных.

5. Не правильное прекращение цикла.

6. Отказ в выходе при отклонении в итерации.

7. Не правильное изменение переменных цикла.

Тестирование интеграций.

Цель сборки и тестирования интеграций: взять модуль, протестировать как элементы и построить программную структуру, требуемую проектом. Тесты проводятся для обнаружения ошибок интерфейса.

Категории ошибок интерфейса:

• потеря данных при прохождении через интерфейс;

• отсутствие в модуле необходимой ссылки;

• неблагоприятное влияние одного модуля на другой;

• подфункции при объединении не образуют требуемую главную функцию;

• отдельные допустимые неточности при интеграции выходят за допустимый уровень;

• проблемы при работе с глобальными структурами данных.

Существует 2 варианта тестирования, поддерживающих процесс интеграции:

• нисходящее;

• восходящее.