Статические методы тестирования
Cтатические методы используются при проведении инспекций и рассмотрении спецификаций компонентов без их выполнения.
Техника статического анализа заключается в методическом обзореи анализе структуры программ, а также в доказательстве правильности. Статический анализ направлен на анализ документов, разрабатываемых на всех этапах ЖЦ, и заключается в инспекции исходного кода и сквозного контроля программы.
Инспектирование ПО– это статическая проверка соответствия программы заданным спецификациями, проводится путем анализа различных представлений результатов проектирования (документации, требований, спецификаций, схем или исходного кода программ) на процессах ЖЦ. Просмотры и инспекции результатов проектирования и соответствия их требованиям заказчика обеспечивают более высокое качество создаваемых ПС.
При инспекция программ рассматриваются документы рабочего проектирования на этапах ЖЦ совместно независимыми экспертами и участниками разработки ПС. Проверка полноты, целостности, однозначности, непротиворечивости и совместимости документов с исходными требованиями к программной системе; анализ текстов программ на соблюдение требований стандартов и принятых руководящих документов технологии программирования. Проблема ищется "со стороны" и подвергают программу всестороннему критическому анализу.Эти приемы позволяют на более ранних этапах проектирования обнаружить ошибки или дефекты путем многократного просмотра исходных кодов.
|
|
|
Символьное тестирование применяться для проверки отдельных участков программы на входных значения – символах.Кроме того, разрабатывается множество новых способов автоматизации символьного выполнения программ. Напр., автоматизированное средство статического контроля для языковой–ориентированной разработки, ряд инструментов автоматизации доказательства корректности. С целью проверки спецификаций параллельных вычислений систем используется автоматизированный аппарат сетей Петри.
Динамические методы тестирования
Динамические методы используются в процессе выполнения программ. Они базируются на графе, который связывает причины ошибок с ожидаемыми реакциями на эти ошибки. В процессе тестирования накапливается информация об ошибках, которая используется при оценке надежности и качества ПС.
Динамическое тестирование ориентировано на проверку корректности ПС на множестве тестов, прогоняемых по ПС, в целях проверки и сбора данных на этапах ЖЦ и проведения измерения отдельных элементов тестирования для оценки характеристик качества, указанных в требованиях посредством выполнения системы на ЭВМ. Оно основывается на систематических, статистических и имитационных методах.
|
|
|
. Путевое тестирование применяется на уровне модулей и графовой модели программы путем выбора тестовых ситуаций, подготовки данных и включает тестирование:– операторов, которые должны быть выполнены хотя бы один раз, без учета ошибок, которые могут остаться в программе из–за большого количества логических путей и необходимости прохождения подмножеств этих путей;– путей по заданному графу потоков управления для выявления разных маршрутов передачи управления с помощью путевых предикатов, для вычисления которого создается набор тестовых данных, гарантирующих прохождение всех путей;– блоков, разделяющих программы на отдельные части–блоки, которые выполняются один раз или многократно при нахождении путей в программе, включающих совокупность блоков реализации одной функции либо нахождения входного множества данных, которое будет использоваться для выполнения указанного пути.
Функциональное тестирование
Целью функционального тестирования является обнаружение несоответствий между реальным поведением реализованных функций и ожидаемым поведением в соответствии со спецификацией и исходными требованиями. Функциональные тесты должны охватывать все реализованные функции с учетом наиболее вероятных типов ошибок. Тестовые сценарии, объединяющие отдельные тесты, ориентированы на проверку качества решения функциональных задач.
|
|
|
Функциональные тесты создаются по внешним спецификациям функций, проектной информации и по тексту на ЯП, относятся к функциональным его характеристикам и применяются на этапе комплексного тестирования и испытаний для определения полноты реализации функциональных задач и их соответствия исходным требованиям.
В задачи функционального тестирования входят:– идентификация множества функциональных требований;– идентификация внешних функций и построение последовательностей функций в соответствии с их использованием в ПС;– идентификация множества входных данных каждой функции и определение областей их изменения;– построение тестовых наборов и сценариев тестирования функций;– выявление и представление всех функциональных требований с помощью тестовых наборов и проведение тестирования ошибок в программе и при взаимодействии со средой.
Тесты, создаваемые по проектной информации, связаны со структурами данных, алгоритмами, интерфейсами между отдельными компонентами и применяются для тестирования отдельных компонентов и интерфейсов между ними. Основная цель – обеспечение полноты и согласованности реализованных х функций и интерфейсов между ними.
Предпосылками функционального тестирования являются:
– корректное формирование требований и ограничений к качеству ПО;– корректное описание модели функционирования ПОв среде его эксплуатации заказчиком;– адекватность модели ПО заданному классу.
Дата добавления: 2018-02-15; просмотров: 1834; Мы поможем в написании вашей работы! |
Мы поможем в написании ваших работ!