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