Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Tehnologiq_progr-niq-lekcii_dopolnennye.doc
Скачиваний:
0
Добавлен:
07.09.2019
Размер:
529.92 Кб
Скачать

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Тут вы можете оставить комментарий к выбранному абзацу или сообщить об ошибке.

Оставленные комментарии видны всем.

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]