ВИДЫ КОНТРОЛЯ ПРОГРАММ
Программный комплекс - это совокупность программных модулей, предназначенных для
решения одной задачи исоставляющих одно целое.
Основными разновидностями контроля программного обеспечения являются визуальный,
статический и динамический.
Визуальный контроль - это проверка программ “ за столом “ , без использования
компьютера. На первомэтапе визуального контроля осуществляется чтение
программы, причем особое внимание уделяется следующим ееэлементам:
комментариям и их соответствию тексту программы ;
условиям в операторах условного выбора ( IF, CASE ) и цикла;
сложным логическим выражениям;
возможности незавершения итерационных циклов ( WHILE, REPEAT, LOOP ).
Второй этап визуального контроля - сквозной контроль программы
( ее ручная прокрутка на нескольких заранее подобранных простых тестах).
Распространенное мнение , что более выгодным являетсяперекладывание большей
части работы по контролю программных средств на компьютере, ошибочно. Основной
довод в пользу этого таков : при работе накомпьютере главным образом
совершенствуются навыки в использовании клавиатуры, в то время как
программистская квалификация преобретается прежде всего застолом.
Статический контроль- это проверка программы по ее тексту (без
выполнения) спомощью инструментальных средств. Наиболее известной формой
статического контроля является синтаксический контроль программы с помощью
компилятора , прикотором проверяется соответствие текста программы
синтаксическим правилам языка программирования.
Сообщения компилятора обычно делятся на несколько групп в зависимости от уровня
тяжести нарушения синтаксиса языкапрограммирования :
- информационные сообщения и предупреждения , при обнаружении
которыхкомпилятор, как правило, строит корректный объектный код и дальнейшая
работа с программой (компоновка, выполнение) возможна (тем не менее сообщения
этойгруппы также должны тщательно анализироваться, так как их появление также
может свидетельствовать об ошибке в программе - например, из-за неверного
пониманиясинтаксиса языка);
- сообщения об ошибках, при обнаружении которых компилятор
пытается их исправить и строит объектный код, ноего корректность маловероятна и
дальнейшая работа с ним скорее всего не возможна;
3
- сообщения о серьезных ошибках , при наличии которых
построенный компилятором объектный код заведомо некорректени его дальнейшее
использование невозможно;
- сообщения об ошибках , обнаружение которых привело к
прекращениюсинтаксического контроля и построения объектного кода .
Однако, практически любой компилятор пропускает некоторые виды синтаксических
ошибок. Место обнаружения ошибки может находитьсядалеко по тексту программы от
места истинной ошибки, а текст сообщения компилятора может не указывать на
истинную причину ошибки. Одна синтаксическаяошибка может повлечь за собой
генерацию компилятором нескольких сообщений об ошибках (например, ошибка в
описании переменной приводит к появлению сообщенияоб ошибке в каждом операторе
программы, использующем эту переменную).
Второй формой синтаксического контроля может быть контроль структурированности
программ, то есть проверка выполнениясоглашений и ограничений структурного
программирования. Примером подобной проверки может быть выявление в тексте
программы ситуаций, когда циклобразуется с помощью оператора безусловного
перехода (использования оператора GOTO для перехода вверх по тексту программы ).
Для проведения контроляструктурированности могут быть созданы специальные
инструментальные средства, а при их отсутствии эта форма статического контроля
может совмещаться свизуальным контролем .
Третья форма статического контроля - контроль правдоподобия программы, то есть
выявление в ее тексте конструкций, которые хотя исинтаксически корректны, но
скорее всего содержат ошибку или свидетельствуют о ней. Основные
неправдоподобные ситуации :
- использование в программе неинициализированных переменных (то
естьпеременных, не получивших начального значения) ;
- наличие в программе описаний элементов, переменных, процедур,
меток,файлов, в дальнейшем не используемых в ее тексте;
- наличие в тексте программы фрагментов, никогда не
выполняющихся;
- наличие в тексте программы переменных, ни разу не используемых
длячтения после присваивая им значений;
- наличие в тексте программы заведомо бесконечных циклов ;
Даже если присутствие в тексте программы неправдоподобных конструкций не
приводит к ее неправильной работе, исправлениеэтого фрагмента повысит ясность и
эффективность программы, т. е. благотворно скажется на еекачестве.
Для возможности проведения контроля правдоподобия в полном объеме также должны
быть созданы специальные инструментальныесредства, хотя ряд возможностей по
контролю правдоподобия имеется в существующих отладочных и обычныхкомпиляторах.
4
Следует отметить, что создание инструментальных средств контроля
структурированности и правдоподобия программ может бытьсущественно
упрощено при применении следующих принципов:
1) проведение этих дополнительных форм статического контроля
после завершения компиляции и только для синтаксическикорректных программ ;
2) максимальное использование результатов компиляции программы
и, вчастности, информации, включаемой в листинг компилятора;
3) вместо полного синтаксического разбора текста проверяемой
программыпостроение для нее списка идентификаторов и списка операторов с
указанием всех их необходимых признаков.
При отсутствии инструментальных средств контроля правдоподобия эта фаза
статического контроля также может объединяться свизуальным контролем.
Четвертой формой статического контроля программ является их верификация, то есть
аналитическое доказательство их корректности.
В интуитивном смысле под корректностью понимают свойства программы,
свидетельствующие об отсутствии в ней ошибок, допущенныхразработчиком на
различных этапах проектирования ( спецификации, проектирование алгоритма и
структур данных, кодирование ). Корректность самой программы поотношению к
целям, поставленным перед ее разработкой ( то есть это относительное свойство ).
Отличие понятия корректности и надежности программ в следующем :
надежность характеризует как программу, так и ее “окружение” (
качествоаппаратуры, квалификацию пользователя и т.п. );
говоря о надежности программы, обычно допускают определенную,
хотя ималую, долю ошибок в ней и оценивают вероятность их появления.
Надежность можно представить совокупностью следующих характеристик :
1) целостность программного средства (способность его к защите
ототказов);
2) живучесть (способность к входному контролю данных и их
проверки входе работы) ;
3) завершенность (бездеффектность готового программного
средства,характеристика качества его тестирования);
4) работоспособность (способность программного средства к
восстановлению своих возможностей полесбоев).
Очевидно, что не всякая синтаксически правильная программа является корректной в
указанном выше смысле, т. е. корректностьхарактеризует семантические свойства
программ.
5
С учетом специфики появления ошибок в программах можно выделить две стороны
понятиякорректности :
1) корректность как точное соответствие целям разработки
программы(которые отражены в спецификации) при условии ее завершения или
частичная корректность ;
2) завершение программы , то есть достижение программой в
процессе еевыполнения своей конечной точки.
В зависимости от выполнения или невыполнения каждого из двух названных свойств
программы различают шесть задач анализакорректности :
1) доказательство частичной корректности ;
2) доказательство частичной некорректности ;
3) доказательство завершения программы ;
4) доказательство незавершения программы ;
5) доказательство тотальной (полной ) корректности (то есть
одновременное решение первой и третьей задач);
6) доказательство некорректности (решение второй или четвертой задачи).
Методы доказательства частичной корректности программ как правило опираются
нааксиоматический подход к формализации семантики языков программирования. В
настоящее время известны аксиоматические семантики Паскаля, подмножества ПЛ/1
инекоторых других языков.
Аксиоматическая семантика языка программирования представляет собой совокупность
аксиоми правил вывода. С помощью аксиом задается семантика простых операторов
языка (присваивания, ввода - вывода, вызовапроцедур). С помощью правил вывода
описывается семантика составных операторов или управляющих структур
(последовательности, условного выбора, циклов). Средиэтих правил вывода надо
отметить правило вывода для операторов цикла так как оно требует знания
инварианта цикла(формулы, истинности которой не изменяется при любом прохождении
цикла).
Построение инварианта для оператора цикла по его тексту является алгоритмически
не разрешимой задачи, поэтому для описаниясемантики циклов требуется своего рода
”подсказка” от разработчика программы.
Наиболее известным из методов доказательства частичной корректности программ
является метод индуктивных утвержденийпредложенный Флойдом и усовершенствованный
Хоаром. Метод состоит из трех этапов.
Первый этап - получение аннотированной программы. На этом этапе для
синтаксически правильной программы должны быть заданыутверждения на языке логики
предикатов первого порядка :
6