Cтраница 3
Наиболее совершенным набором средств отладки обладает проект системы отладки для транслятора Комплекс Алгол. Собственно Комплекс есть совокупность транслятора с входного языка типа Алгол и системы отладки, позволяющей отлаживать объектную программу на уровне входного языка. Предусматриваемая система отладки содержит все перечисленные выше средства отладки. Для использования этих средств программист составляет задание для системы отладки, на основании которого система отладки вносит изменения в исходную программу так же, как в Альфа-отладчике. Информацию о ходе отладки предусмотрено выдавать в виде удобного печатного документа. Однако к моменту написания этой книги этот проект еще не был реализован. [31]
![]() |
Схема подключения логического анализатора для проверки сдвигового. [32] |
Анализ применения рассмотренного диагностического оборудования ( ЛП, СА и ЛА) показывает, что с его помощью трудно выявить неисправности средств измерений, обусловленные отказом ядра микропроцессорной системы. Для обнаружения таких отказов на этапах разработки и производства средств измерений применяют системы отладки с внутрисхемными эмуляторами, имитирующими работу микропроцессоров. [33]
При наличии системы автоматизации программирования выпуск Извещений и Предварительных извещений и, что важно, их учет должен проводиться только автоматически. Проведение этих операций вручную, в условиях большого количества изменений и сложной программы существенно снижает эффективность САП и системы отладки. [34]
Процедурная семантика Пролог-программы достаточно сложна, поэтому в режиме отладки программисту выдается большой объем информации. Чтобы эта информация вас не захлестнула, вы должны прежде всего ограничить круг возможных источников программных ошибок и затем, при запуске системы отладки, аккуратно применить метод сдерживаемого выполнения и расстановки точек наблюдения. [35]
Приведенное выше разделение средств общего программного обеспечения управляющих ЭВМ на отдельные компоненты является в некоторой степени условным. Так, средства контроля правильности записи программ на входных языках, используемые в системе автоматизации программирования, являются, строго говоря, одним из элементов системы отладки, так как позволяют обнаруживать ряд синтаксических и формализуемых семантических ошибок в программах. Кроме того, средства корректировки программ, входящие в состав системы отладки, фактически выполняют ряд функций системы автоматизации программирования и поэтому их можно рассматривать как одну из специфических компонент этой системы. [36]
Проведенное выше разделение средств общего математического обеспечения управляющих ЦВМ на отдельные компоненты является в известной степени условным. Так, например, средства контроля правильности записи алгоритмов и программ на входных языках, используемые в системе автоматизации программирования, являются, строго говоря, одним из элементов системы отладки, так как позволяют обнаруживать целый ряд синтаксических и семантических ошибок в программах. Однако представляется более удобным рассматривать указанные средства контроля в качестве одной из компонент САП, так как используемые в данном случае формальные методы обнаружения ошибок оказываются при реализации очень тесно связанными с другими компонентами этой системы. С другой стороны, средства корректировки программы, входящие в состав системы отладки, фактически выполняют целый ряд функций системы автоматизации программирования и поэтому их можно было бы рассматривать как одну из специфических компонент этой системы. [37]
Все перечисленные системы программирования имеют в своей основе язык для составления программ. Наряду с языками существуют специальные программы для проверки и выявления ошибок в прикладных программах, они называются средствами отладки. Системы отладки бывают двух категорий: первые используют в процессе выполнения рабочих программ, вторые - когда в программе произошла ошибка. [38]
Наиболее совершенным набором средств отладки обладает проект системы отладки для транслятора Комплекс Алгол. Собственно Комплекс есть совокупность транслятора с входного языка типа Алгол и системы отладки, позволяющей отлаживать объектную программу на уровне входного языка. Предусматриваемая система отладки содержит все перечисленные выше средства отладки. Для использования этих средств программист составляет задание для системы отладки, на основании которого система отладки вносит изменения в исходную программу так же, как в Альфа-отладчике. Информацию о ходе отладки предусмотрено выдавать в виде удобного печатного документа. Однако к моменту написания этой книги этот проект еще не был реализован. [39]
Проблемам отладки алгоритмов и программ посвящена шестая глава. В ней анализируются типовые ошибки алгоритмов и программ и методы поэтапного их устранения. Рассмотрена структура систем отладки и задачи основных отладочных операторов. Значительное внимание уделено технологии автономной и комплексной отладки. [40]
По результатам полной трассировки или ручным способом может быть выбран некоторый маршрут обработки информации данным алгоритмом. Этот маршрут определяется перечислением соответствующих ему меток. При частной трассировке система отладки контролирует и индицирует ( выводит на печать состояние основных устройств ЦВМ и значения необходимых величин) информацию при условных переходах и по возможности формирует входной тест логической информации, соответствующий данному маршруту. Если задана необходимая информация, преобразуемая линейными участками данного маршрута, то при частной трассировке контролируются и отображаются выходные данные, соответствующие заданным на входе. При частной трассировке выявляются несоответствия входного теста и заданного маршрута, причем приоритет при реализации задания может отдаваться маршруту или тесту в зависимости от стадии отладки. [41]
Связь в единую систему средств, автоматизирующих решение функциональных задач отладки: контроля, планирования и тестирования, обеспечивается через специальную управляющую программу ( монитор) и общие информационные массивы. Эта форма реализации является достаточно универсальной и позволяет последовательно наращивать возможности, а также относительно просто выполнять модернизацию и доработку системы. Общение программистов с системой отладки осуществляется на уровне языка описания отлаживаемых программ. На рис. 6.4 представлена схема средств автоматизации отладки. Функциональные задачи отладки, реализованные автоматизированным способом, решаются на базе модели программы. [42]
На рис. 6.2.1 представлена укрупненная функциональная схема типовой системы автоматизации отладки алгоритмов и программ. Входной информацией является задание на отладку, указывающее отлаживаемый алгоритм или его часть, контролируемые и индицируемые переменные на языке отладки и программирования. Кроме того, на входе системы отладки должна быть задана транслированная отлаживаемая программа ( на языке программирования и в машинных кодах), что должно обеспечивать возможность преобразования заданий с языка отладки в адреса и коды машинных команд. [43]
Мы рассмотрели использование программы выборочных замеров в тех случаях, когда она вызывается в определенные моменты времени. Ее можно вызывать также и тогда, когда происходят или совпадают некоторые события. Такой способ применяется обычно в системах отладки. Можно, например, установить ограничение на число проходов по циклу, и всякий раз, когда это число будет превышено, программа выборочных замеров будет передавать управление некоторой другой программе, которая обеспечит программиста информацией о состоянии его программы в момент взятия замера. [44]
Рассмотрим объемы массивов информации и динамику их использования в процессе проведения одного сеанса отладки. ОЗ транслируется в начале сеанса на внутренний язык системы отладки. Информация для трансляции выбирается из - паспортов программ, которые были получены гари трансляции отлаживаемых программ. [45]