Презентации, доклады, проекты без категории

Технология индустриального программирования
Технология индустриального программирования
Котляров В.П. Технология индустриальногот программирования ОСНОВНЫЕ ОПРЕДЕЛЕНИЯ ТЕСТИРОВАНИЯ Программа – это аналог формулы в обычной математике. Формула для функции f, полученной суперпозицией функций f1* f2* f3*... * fn – выражение, описывающее эту суперпозицию. Если аналог f1... fn – операторы языка программирования, то их формула – программа. Существует 2 метода обоснования истинности формул: i) Формальный подход или Доказательство применяется, когда из исходных формул-аксиом с помощью формальных процедур (правил вывода) выводятся искомые формулы и утверждения (теоремы). Вывод осуществляется путем пере-хода от одних формул к другим по строгим правилам, которые позволяют свести процедуру перехода от формулы к формуле к текстовой подстановке: A**3 Ю A*A*A Ю A → R, R → A*R, R → A*R С помощью формального подхода удается избежать обращения к бесконечной области значений и на каждом шаге доказательства оперировать только с конеч-ным множеством символов. ii) Интерпретационный подход применяется, когда осуществляется подстанов-ка констант в формулы, а затем интерпретация формул, как осмысленных утвер-ждений в элементах конкретных множеств значений. На конечных множествах проверяется истинность интерпретируемых формул на множестве значений Интерпретационный подход используется при экспериментальной проверке соот-ветствия программы своей спецификации Котляров В.П. Технология индустриальногот программирования ОСНОВНЫЕ ОПРЕДЕЛЕНИЯ ТЕСТИРОВАНИЯ Отладка (debug, debugging) – процесс поиска, локализации и исправления ошибок в программе [IEEE Std.610-12.1990]. Отладка состоит из Ю поиска ошибок (тестирования) + исправления ошибок Тестирование обеспечивает констатацию наличия ошибок, если ошибки имеются. Исправление (собственно отладка) обеспечивает локализацию ошибок, нахождение причин ошибок и соответствующую корректировку программы Если программа не содержит синтаксических ошибок (прошла трансляцию) и следовательно может быть выполнена на компьютере, она обязательно вычисляет какую-либо функцию: осуществляет отображение входных данных в выходные Следовательно компьютер на своих ресурсах доопределяет частично определен-ную программой функцию до тотальной определенности. Т.о. судить о правиль-ности или неправильности результатов выполнения программы можно только, сравнивая спецификацию желаемой функции с результатами ее вычисления, что и осуществляется в процессе тестирования. Тестирование разделяют на статическое и динамическое: Статическое тестирование выявляет неверные конструкции (ошибки) без выпол-нения программы формальными методами статического (в т.ч. Синтаксического) анализа (CodeCheker) Динамическое тестирование выявляет ошибки только в процессе выполнения программы
Продолжить чтение