автореферат диссертации по информатике, вычислительной технике и управлению, 05.13.11, диссертация на тему:Исследование и разработка методов и алгоритмов трассировки потока управления в программах

Условные обозначения

Введение . б

Глава I. Проблема трассировки программ в современных отладочных и измерительных системах

1.1 Инструментальные методы и средства трассировки программ.

1.2 Принципы рациональной трассировки потока управления в программах.

1.3 Постановка задач рациональной трассировки программных событий в моделирующих системах с двухэтапной трассировкой

Выводы к главе I

Глава 2. Методы рационального размещения операторов трассировки элементарных программных событий

2.1 Разработка и исследование алгоритмов минимизации числа точек трассировки

2.2 Разработка и исследование алгоритмов минимизации длины слова трассировочной информации

2.3 Восстановление последовательности программных событий по управляющей трассе

Выводы к главе

Глава 3. Проблемы реализации методов рациональной трассировки программных событий

3.1 Особенности реализации методов рационального размещения операторов трассировки программных событий

3.2 Синхронизация трассировки потока управления и данных

3.3 Методы динамического формирования схем элементарных событий и управляющей трассы

Выводы к главе 3.

Глава 4. Реализация системы отладки и измерения

4.1 Разработка языковых средств трассировки и анализа программных событий

4.2 Особенности реализации алгоритмов динамического формирования схем элементарных событий

4.3 Оценка эффективности методов рациональной трассировки программных событий

Выводы к главе 4.

Актуальность проблемы. Одной из основных проблем развития вычислительной техники является снижение стоимости разработки программного обеспечения ЭВМ, значительное влияние на которое оказывает эффективность процесса тестирования и отладки программ. Тестирование и отладка - один из самых трудоёмких этапов разработки программ и может занимать более 50% общего времени проектирования [62,3 £)] . Высокая стоимость программного обеспечения и длительность тестирования - во многом следствие низкой надёжности программ. В настоящее время известно большое количество методов обеспечения надёжности[13,24,64,63,44,46,6$] . В частности, разработаны совершенно новые подходы к автоматизации проверки правильности программ [91019 $ 9 1 ] . Тем не менее, классический подход к обеспечению надёжности - тестирование и отладка путём оценки отклика системы на выборочное множество входных данных продолжает играть решающую роль в большинстве приложений. А некоторые критические замечания принципиального характера в адрес верификационных методов обеспечения надёжности позволяют предположить, что инструментальные системы и методы тестирования и отладки не исчезнут вовсе даже при достаточном развитии методов автоматического доказательства правильности программ.

Важнейшей компонентой инструментальных систем отладки программ являются средства трассировки, обеспечивающие отслеживание поведения отлаживаемых программ во время выполнения. В настоящее время существует большое количество разнообразных инструментальных методов и средств трассировки. Однако почти все эти методы и средства предполагают ручную расстановку операторов трассировки или не обеспечивают эффективности выбора точек трассировки, что ведёт к повышению затрат вычислительных ресурсов на регистрацию, хранение и анализ получаемых трасс. Особенно значительные накладные расходы возникают при трассировке больших систем программ с целью локализации сложных программных ошибок. Аналогичные проблемы имеют место и в так называемых измерительных системах, использующих методы трассировки для измерения временных характеристик реализованных алгоритмов и программ и оценки полноты тестирования. Известные в настоящее время методы рационального размещения операторов трассировки носят частный или специальный характер и могут быть использованы лишь для решения некоторых частных задач трассировки[/05,46,/^.Возможность и эффективность реализации методов рационального размещения операторов трассировки во многом зависит от характера языковых средств и доступности текстов отлаживаемых программ для размещения в них операторов трассировки. В то же время эти вопросы в рамках известных подходов практически не исследованы.

К перспективному, но недостаточно развитому и плохо изученному в отношении указанных проблем направлению в конструировании систем отладки и измерения,относится подход, при котором процесс трассировки делится на следующие этапы: описание с помощью специальных языковых средств состава выводимой при выполнении программ трассировочной информации и автоматическое размещение операторов трассировки по текстам программ; выполнение отлаживаемых программ и помещение получаемой трассы на внешние информационные носители; диалоговый анализ трассировочной информации в режиме моделирования выполнения отладочного прогона на основании данных о зарегистрированном поведении программ.

Системы отладки и измерения, устроенные таким образом, относятся к классу моделирующих систем с двухэтапной трассировкой. Кроме естественно предоставляемой возможности решения задач рационального размещения операторов трассировки за счёт отделения этапа трассировки от этапа анализа, такие системы обладают рядом других перспективных свойств, в частности, обеспечивают возможность реализации более широкого класса стратегий поиска программных ошибок, чем это возможно для других типов систем отладки и измерения. В связи с этим возникает задача разработки языковых средств высокого уровня, обеспечивающих эффективную идентификацию сложных программных событий.

Цель работы. Целью диссертационной работы является исследование и разработка методов и алгоритмов рациональной трассировки программ на основе решения следующих взаимосвязанных задач: разработка метода трассировки, обеспечивающего снижение затрат вычислительных ресурсов на регистрацию и анализ программных событий; разработка алгоритмов рационального размещения операторов трассировки потока управления; разработка моделирующей отладочной и измерительной системы с двухэтапной трассировкой программных событий.

Методы исследований основаны на применении теории графов, теории множеств, теории синтаксического анализа и компиляции, математической логики.

Научная новизна. Разработан метод двухэтапной трассировки программных событий, в рамках которого построены алгоритмы выбора точек трассировки последовательности элементарных программных событий, обеспечивающие сокращение количества необходимых операторов трассировки и уменьшение объёма получаемой трассы. Исследованы особенности реализации предложенного метода трассировки в системах отладки и измерения программ, в частности: в условиях ограниченной доступности исходных текстов программ для размещения в них операторов трассировки, при заданных требованиях пользователя к полноте трассировки, с учётом возможности использования операторов трассировки данных для трассировки последовательности элементарных событий. Разработаны методы эффективной реализации средств трассировки элементарных программных событий, а также средств анализа получаемой трассировочной информации для интерпретирующих языковых систем.

Практическая ценность. Разработанные методы, алгоритмы и программы могут быть использованы для построения отладочных и измерительных систем. Применение разработанных методов обеспечивает : сокращение влияния процесса трассировки на скорость выполнения программ и уменьшение объёма получаемой трассировочной информации при заданной полноте трассировки; возможность организации рациональной трассировки в условиях ограниченной доступности текстов программ для размещения в них операторов трассировки, с учётом предварительно указанных точек трассировки и точек трассировки данных; расширение функциональных возможностей'отладочных и измерительных систем за счёт использования языковых средств анализа трассировочной информации.

Реализация результатов. На основе полученных в диссертации результатов создана моделирующая отладочная и измерительная система с двухэтапной трассировкой программных событий в диалоговой многотерминальной системе ДИАМС/ЕС.

Система отладки и измерения внедрена для практического использования в ПКБ АСУ г.Челябинск, на ИВЦ Златоустовского металлургического завода, в ГПИ "Проектавтоматика" г.Магнитогорск и обеспечивает повышение эффективности процесса тестирования и отладки программ. Использование результатов диссертации подтверждено актами о внедрении.

В целом диссертация выполнена в рамках целевой комплексной программы 0.80.14.

Апробация работы.Основные результаты диссертационной работы докладывались на Всесоюзном совещании "Высокопроизводительные вычислительные системы",г.Тбилиси, сентябрь 1981 г., Всесоюзном научно-техническом симпозиуме "Высокопроизводительные системы информационного поиска и управления базами данных",г.Кишинёв, январь 1982 г., на семинаре "Технология программирования" ИК АН УССР, г.Киев, ноябрь 1981 г., на III международном симпозиуме ИМЕКО "Техническая диагностика",г.Москва, октябрь 1983 г., на IX Всесоюзном совещании по проблемам управления, г.Ереван, ноябрь 1983 г., на ежегодных технических конференциях ГПИ "Проектавтоматика", г.Магнитогорск, 1979 - 1982 гг., на семинарах ИПУ (ИАТАН), г.Москва.

Публикации. По результатам выполненных исследований опубликовано 6 работ.

Структура и объём работы. Диссертация состоит из введения, четырёх глав, заключения, списка литературы и приложений. Основной текст изложен на 160 страницах и содержит 33 рисунка. Список литературы содержит НО библиографических наименований. Приложения содержат 55 страниц. Всего 23Ц страницы.

Выводы к главе 4

1. В соответствии с особенностями языковых средств и режимов функционирования системы ДИАМС/ЕС предложен набор регистрируемых в процессе трассировки элементарных программных событий. Учитывая интерпретирующие свойства языка ДИАМС, выбрана схема динамического построения составляющих базы данных трассировки. Предложен набор команд физического уровня средств анализа информации базы данных трассировки. Приведены требования, предъявляемые к описанию сложных программных событий с помощью регулярных выражений, вытекающие из особенностей трассировки элементарных программных событий, на основании чего предложена структура и рассмотрен процесс идентификации сложного программного события, описанного регулярным выражением.

2. Анализ особенностей интерпретации программ в ДИАМС/ЕС и возможностей идентификации опорных событий показал, что динамическое построение схемы элементарных событий в некоторых случаях может привести к непрерывному росту объёма схемной составляющей в процессе регистрации элементарных событий в базе данных трассировки. В связи с этим предложены меры по ограничению числа таких случаев и разработан алгоритм, обеспечивающий распознавание ситуаций невозможности идентификации опорных событий, достаточной для построения неразрастающейся схемной составляющей базы данных трассировки. Рассмотрены особенности реализации моделирующей отладочной и измерительной системы с двухэтапной трассировкой в ДИАМС/ЕС.

3. Используя статистические данные, установлено, что применение разработанных в диссертации методов и средств трассировки программ позволяет в 1.7 раза снизить затраты машинного времени на трассировку программ по сравнению с существующими средствами трассировки и в 1.9 раза уменьшить объём получаемых трасс.

- 158 -ЗАКЛЮЧЕНИЕ

Опыт проектирования программного обеспечения ЭВМ показывает необходимость поиска путей дальнейшего совершенствования средств и систем инструментальной отладки программ, в частности, средств отслеживания поведения программ при выполнении, обеспечивающих сокращение затрат ресурсов оборудования, необходимых для получения трассировочной информации. Широко используемые в настоящее время системы и методы трассировки оказываются не в состоянии достаточно эффективно решить эту задачу. Поэтому актуальной становится проблема разработки методов и алгоритмов рационального размещения операторов трассировки по текстам трассируемых программ, позволяющих снизить влияние процесса трассировки на скорость выполнения программ и уменьшить объём получаемой трассировочной информации.

В выполненной диссертационной работе исследуются и разрабатываются методы и алгоритмы рациональной трассировки программ в моделирующих отладочных и измерительных системах с двухэтапной трассировкой.

В работе получены следующие основные выводы и результаты:

1. Разработан метод двухэтапной трассировки программных событий.В рамках этого метода построены алгоритмы размещения операторов трассировки, минимизирующие количество необходимых для восстановления последовательности ЭС операторов трассировки. Предложенные алгоритмы имеют временную сложность, не превышающую полиномиальной и позволяют размещать минимально возможное число операторов трассировки последовательности ЭС для программ, написанных в соответствии с принципами структурированного кодирования. Скорость работы алгоритмов может быть повышена при использовании информации исходных текстов программ о наличии циклов.

2. Сформулированы условия, гарантирующие возможность построения алгоритмов восстановления последовательности ЭС, имеющих линейную временную сложность от количества элементов в управляющей трассе. С учётом этих условий разработаны алгоритмы, выполняющие минимизацию объёма выводимой одним оператором трассировки информации. Предложен метод расстановки операторов трассировки при заданных ограничениях на объём выводимой каждым оператором информации. Разработаны алгоритмы восстановления последовательности ЭС в прямом и обратном направлениях.

3. Разработаны методы рационального размещения операторов трассировки последовательности ЭС в условиях ограниченной возможности размещения операторов трассировки по текстам программ, при заданных требованиях пользователя к полноте трассировки ЭС, с учётом предварительно указанных мест для размещения операторов трассировки и возможности использования операторов трассировки данных для трассировки последовательности ЭС.

4. Разработан метод динамического формирования БДТ, обеспечивающий сокращение объёма внешней памяти, необходимой для хранения последовательности ЭС. Метод основан на анализе последовательности поступающих от исполнительного процессора ЭС.

5. На основании проведенных исследований и разработанных методов реализована моделирующая отладочная и измерительная система с двухэтапной трассировкой программных событий в многотерминальной системе ДИАМС/ЕС. Разработаны языковые средства анализа, обеспечивающие поиск сложных программных событий по информации, накопленной при трассировке в БДТ. Описание сложных событий основано на использовании регулярных и логических выражений.

Разработанные методы и программы внедрены для практического использования в ряде организаций городов Челябинска, Златоуста, Магнитогорска. Экономический эффект только от внедрения в одной организации составляет более 12 тыс. руб. в год.

1. Абрамова Н.А. Диагностическая модель программы. 1.I международный симпозиум ИМЕКО по технической диагностике. Тезисы докладов. - М.: Институт проблем управления, 1983, с. 9-II.

2. Антиненко В.И., Черняховский В.В. Интерактивная система отладки программ. В сб. Технология программирования. - Киев: ИК АН УССР, I960, с. 40-47.

3. Арлазаров В.Л., Емельянов Н.Е., Дюкалов А.Н. и др. Информационная система ИНЭС. Автоматика и телемеханика, 1979, №6,с. 109-121.

4. Ахо А., Ульман Дж. Теория синтаксического анализа, перевода и компиляции. М.: Мир, I и 2 тома, 1978, -612с., -487с.

5. Баранов С.Н. Язык отладки в системе программирования на базе алгоритмического языка АЛГОЛ-68 для ЕС ЭВМ. Рукопись депонирована в ВИНИТИ. № 3314 - 76. Деп. от 14 сент. 1976 г., 1976,- 45с.

6. Белякин A.M., Занько С.Ф., Медведев В.И., Яхонтов В.Н. СОНЕЯ система отладки программ, основанная на применении ограниченного естественного языка. - Программирование, 1979, №2,с. 84-89.

7. Бичевский Я.Я., Борзов Ю.В. Развитие методов символического тестирования программ ЭВМ. Автоматика и телемеханика, 1982, №8, с. 93 - 101.

8. Блер Дж. Расширяемая система неинтерактивной отладки.- В кн. Средства отладки больших систем. М.: Статистика, 1977, с. 88-106.

9. Брехов В.М., Лотков Б.А., Смирнов Н.Е. Опыт разработки и реализации языка отладки в системе САПОД. Вопросы радиоэлектроники. Серия "Электронно вычислительная техника", 1982, выпуск 7, с. 33-41.

10. Брич З.С., Иткина О.Г., Цагельский В.И. Диалоговая отладка программ на ФОРТРАНе. М.: Вопросы создания АСПР, 1979, №31, с. 33-37.

11. Брукс Ф.П. мл. Как проетируются и создаются программные комплексы. М.: Наука, 1979, -151с.

12. Букин В.В., Жуковский В.Г., Ятленко М.Т. Диалоговая система коллективного пользования для отладки программ, написанных на МНЕМОКОДе. УСиМ, 1979, №6, с. 57-59.

13. Вельбицкий И.В. Технологические линии производства программ. Программирование, 1980, №2, с. 14-26.

14. Вельбицкий И.В., Ходаковский В.Н., Шолмов Л.И. Технологический комплекс производства программ на машинах ЕС ЭВМ и БЭСМ-6. М.: Статистика, 1980, -263с.

15. Викторов Л.П. Система отладки фортрановских программ для РДР II/70. М.: Статистика, 1980, -32с.

16. Гантер Р. Методы управления проетированием программного обеспечения. М.: Мир, 1981, -388с.

17. Гилман Л., Роуз А. Курс АЛЛ: диалоговый подход. М.: Мир, 1979, -524с.

18. Гольбурт Н.А. Об отладке проблемно-ориентированных программ. УСиМ, 1979, №2, с.44-48.

19. Гончарук С.Т., Пустоворов В.И., Саламатов В.И., Флеров А.И. Система отладки программ обмена информацией для специализированных ЭВМ. УСиМ, 1981, №6, с. 70-72.

20. Грис Д. Конструирование компиляторов для цифровых вычислительных машин. -М.: Мир, 1975, -544с.

21. Грисуолд Р., Поудис Дж., Полонски И.„Язык программирования СНОБОЛ-4. М.: Мир, 1980, -268с.

22. Гришман Р. Критерии для языка отладки. В кн. Средства отладки больших систем. - М.: Статистика, 1977, с. 57-72.

23. Дал У., Дейкстра Э., Хоор К. Структурное программирование.- М.: 1975, -247с.

24. Дейкстра Э. Дисциплина программирования. М.: Мир, 1978, -275с.

25. Дисковая диалоговая многопультовая система ДИАМС. Программное обеспечение СМ ЭВМ. Описание языка ДИАМС. 4.072.112 П01,- М.: Институт электронных управляющих машин, 1979.

26. Дудкин М.В. Автоматизация отладки параллельных программ.- Вопросы кибернетики, 1982, вып. 93, с. I06-II7.

27. Дудкин М.В. Диалоговая система отладки для УВК М-4030. Труды института электронных управляющих машин. М.: 1979, №47, с. II4-II7.

28. Дэвис A.M. Интерактивная система анализа ошибок, обнаруженных во время выполнения программы. Всесоюзный центр переводов, перевод М-25069, 1977, -120с.

29. Иванов Ю.В., Колосовский Л.И., Чебыкин Н.Е., Штурц И.В. Кросс-средства разработки и отладки программ для микро ЭВМ. -Электронная промышленность, 1978, №5, с. 37-38.

30. Йодан Э. Структурное проектирование и конструирование программ. М.: Мир, 1979, -416с.

31. Карлсрад Е. Расширение интерактивной отладочной системы.- В кн. Средства отладки больших систем. М.: Статистика, 1977, с. 73-87.

32. Карначук В.И. Некоторые средства терминальной отладки программ. Новосибирск: Институт теор. и прикл. мех. СО АН СССР, препринт №19, 1979, -24с.

33. Квитнер П. Задачи, программы, вычисления, результаты.- М.: Мир, 1980, -422с.

34. Кетков Ю.Л. Программирование на БЕЙСИКе. М.: Статистика, 1978, -158с.

35. Коган Б.И. Системы программирования для отладки и решения гибридных задач. Автоматика и телемеханика, 1979, №7,с. 166-174.

36. Коган Я.А., Козинский Л.Б, Кудряшов А.И., Файнман И.С. Программные средства анализа и настройки вычислительных систем с виртуальной памятью. "Измерение, контроль, автоматизация", 1982, №4, с. 53-60.

37. Лепин-^итрюков Г.А. Программирование на языке ПЛ/1 ( для ДОС/ЕС ЭВМ ). М.: Сов. радио, 1978, -288с.

38. Липаев В.В., Колин К.К., Серебровский Л.А. Математическое обеспечение управляющих ЦВМ. М.: Сов. Радио, 1972, -528с.

39. Липаев В.В. Надёжность программного обеспечения АСУ. М.: Энергоиздат, 1961, -240с.

40. Липаев В.В. Проектирование математического обеспечения АСУ ( системотехника, архитектура, технология ). М.: Сов. радио, 1977, -400с.

41. Липаев В.В., Серебровский Л.А., Филиппович В.В. Система автоматизации программирования и отладки комплексов программ управления ЯУЗА-6. Программирование, 1977, №3, с. 87-94.

42. Липаев В.В. Эффективность использования временной избыточности для повышения надёжности комплексов программ управления.- Автоматика и телемеханика, 1981, №2, с. 175-183.

43. Майерс Г. Надёжность программного обеспечения. М.: Мир, 1980, -360с.

44. Операционная система ДОС/ЕС. Справочник. / Битель Ю.Ю., Воюш В.И., Горбунова Р.В. и др. М.: Статистика, 1977, -271с.

45. Отимидзу К., Тоёда Д., Танака К. Метод построения систем для обнаружения логических ошибок в программах. Всесоюзный центр переводов, перевод № 76/66348, 1976, -21с.

46. Отладка систем управляющих алгоритмов ЦВМ реального времени. / Под ред. проф. Липаева В.В. М.: Сов. радио, 1974, -328с.

47. Переход от ДОС/ЕС к ОС/ЕС. Справочное пособие. / Ивани-ко О.С., Иванютина Н.М., Котов М.П. и др. М.: Статистика, 1980, -231с.

48. Принципы работы системы IBM/370. / Перевод с англ. под ред. Л.Д. Райкова. М.: Мир, 1975, -576с.

49. Райхлин Б.М. Диалоговая система отладки программ. Программирование, 1982, №2, с. 84-90.

50. Рассошинский Д.А. Мониторная система отладки программ в автоматизированной системе управления научным экспериментом.- УСиМ, №6, с. 127-129.

51. Рейнгольд Э., Нивергельт Ю., Део Н. Комбинаторные алгоритмы ( теория и практика ). М.: Мир, 1980 -476с.

52. Риндфлайш Д. Отладка программ в системах 360/370 на основе дампингов памяти операционной системы. М.: Машиностроение, 1982, -144с.

53. Система М6000/М7000 АСВТ М. Архитектура М7000. Северо-донецк: НИИУВМ, 1975, -90с.

54. Скрипникова В.М., Фельдман Л.С. Диалоговая отладка программ на КОБОЛе. М.: Вопросы создания АСПР, 1979, №31, с. 45-47.

55. Состояние разработки Р-технологии и программных средствеё поддержки на машинах ЕС ЭВМ, СМ ЭВМ и БЭСМ-6 ( инструкции пользователю ). Киев: ИК АН УССР, 1980, -73с.

56. Средства отладки программ в ОС ЕС ЭВМ. / Под ред. Лебедева В.Н. М.: Статистика, 1979, -135с.

57. Топалов Н.Н. Системы и методы отладки программ. М.: ИПМ АН СССР, препринт №81, 1976, -44с.

58. Торопов Н.Р. Комплексная отладка программ на языке ЛЯПАС-М. УСиМ, 1981, №2, с. 97-101.

59. Трахтенгерц Э.А. Как работают операционные системы. М.: Наука, 1978, -192с.

60. Трахтенгерц Э.А. Программное обеспечение автоматизированных систем управления. М.: Статистика, 1974, -288с.

61. Турский В. Методология программирования. М.: Мир, 1981, -265с.

62. Хьюз Дж., Митчом Дж. Структурный подход к программированию. М.: Мир, 1980, -278с.

63. Шварц Дж.Т. Обзор ошибок. В кн. Средства отладки больших систем. - М.: Статистика, 1977, с. 8-22.

64. ЭПСИЛОН система автоматизации программирования задач символической обработки. / Отв. редактор д.ф-м.н. Ершов А.П.- Новосибирск: СО АН СССР, Наука, 1972, -130с.

65. Arisawa M., Inchi M. Debugging methods in recursive structured FORTRAN. "Software - Practice and Experience", 1980, V.10, N.1,p. 29-43.

66. Baker F.T., Mills H.D. Chief programming teams, Datamation, 1973, N.12, p. 58-61.

67. Balzer R.M. EXDAMS extendable debugging and monitoring system. - Proceedings of the 1969 Spring joint Computer Conference, Montvale, N.J.: AFIP Press, 1969, p. 567-580.

68. Beander B. VAX DEBUG an interactive, simbolic, multilingual debugger, - ACM Software engineering notes, V.8,N.4, August 1983, p. 173-179.

69. Benson J.B. Adaptive searth techniques applied to software testing. -"Perform. Eval. Rev.",1981, V.10,N.1, p. 109-116.

70. Boar B.H. Tracing instruction flow in structured COBOL programs,-Jornal of System Management, February, 1978, p. 26-30.

71. Boehm B.W., McClean R.K., Urtrig D.B. Some experience with automated aids to the design of larg-scale reliable software.- IEEE trans., 1975, V. SE-1, N.1, p. 125-133.

72. Bruegge В., Hibbard P., Generalized path expressions: a high level debugging mechanism. ACM Software engineering notes, V.8, N.4, August 1983, p. 34-44.75* Clegg F.W. Reducing programm development costs. "Data Base", 1980, V.11, N.3, p. 28-34.

73. Cohen J., Carpenter N. A language for inquiring about the run-time behaviour of programs. Software - Practice and Experience, 1977, V.7, p. 445-460.

74. Cooper D.W. Adaptive testing. "2nd Int. Conf. Software Engineering, San-Francisco, Calif., 13-15 Oct. 1976", New-York, N.G., IEEE, 1976, p. 102-105.

75. Davis A.M., An interactive analysis system for execution-time errors.-University of Illinois at Urbana-Champaign, 1975» -99p.

76. DSM-11 programmer's reference manual. AA-5456A-TC, Digital equipment corporation, Marlborough, Massachusetts, 1978.

77. Duyck R. Simbolic debugging for the MC6800. "Proc.: Microprocess. Appl. 80*s Arizs. Tech. Symp., Tempe, Ariz.", New York, N.Y., 1980, p. 102-105.

78. Fairley R.E. An experimental program testing facility.- "Proc. 1st Nat. Gonf. Software Eng., Washington, D.C., 1975", New York, N.J., 1975, p. 4-7-55.

79. Floyd R.W. Assign meaning to programs. In J.T. Schwartz, Ed., Mathematical Aspect of Computer Science, V.19, Providence, R.I.: American Mathematical Society, 1967, p. 19-32.

80. Gilb T. Software metrics technologe: some unconventional approaches to reliable software. "Software reliability. MaidenheadV 1977, p. 101-115.

81. Glass R.L. Real-time checkout: the sourse error first approach. Software - Practice and Experience, 1982, V.12,N.1, p. 77-83.

82. Goldberg J., Cooperband A., Gallenson L. PRIM system -a frame wark for emulation based debugging tools. - "AFIPS Conf. Proc. V.4-7, Nat. Oomput. Conf., Auaheim, Calif., 1978", Montvale, N.J., 1978, p. 373-377.

83. Goodenough J.B. A survey of program testing issues.- Software Reliability, Maidenhead, 1977, p. 135-154.

84. Guttag J.V. Abstract data types and development of data structures. "Com. of the ACM", 1977, V.20, N.6, p.396-404.

85. Hennell M.A. An experimental testbed for numerical software. The comput. journal, 1979. V.21, N.4, p. 333-336.

86. Johnson M.S. Translator design to support run-time debugging. Software - Practice and Experience, 1979» v.9, N,12, p. Ю35-Ю41.

87. Kishimoto Z. An experimental debugger in a limited programming environment ( extended abstract ), AOM Software engineering notes, V.8, N.4, August 1983, p. 63-66.

88. Kleene S.O. Representation of events in nerve nets. In Automata Studies ( ed. C.E. Shannon and J. McCarthy ), Princeton University Press, 1956.

89. Knuth D.E., Stevenson E.R. Optimal measurement points for program frequency counts. BIT, 1973, V.14, p. 313-322.

90. Lauesen S. Debugging techniques. Software - Practice and Experience, 1979, V.9, p. 51-63.

91. Lineback J.R. Unique tools add to 16-bit capabilities.- Electronics, I98I, V.54, N.26, p. 39.

92. Methuen C. The automatic prevention of errors in coputer applications: algorithms. "Coput. and Peapl", 1980, V.29, N•7-6t p. 16-21.

93. Micelsons M. Pretty printing in an interactive programming environment. SIGNAL Notic, 1981, V.16, N.16, p. 108-116.

94. Mikelsons M. Interactive program execution in Lispedit.- AOM Software engineering notes, V.8, N.4, August 1983, p. 71-80.

95. MUMPS language standard. ANS X11.1-1977. American National Standards Institute, September, 1977.

96. Myers G.J., Hocker D.G. The use of software simulator's in the testing and debugging of microprogram logic. -"IEEE Trans. Comput.", 1981, V.30, N.7, p.519-523.

97. Nagata W.M., Miller D.S. An interactive simulator for the КШ-1 microcomputer. "Simulation", 1981, V. 36, N.1, p. 21-33.

98. Naur P. Prof of algorithms by general snapshots.- BIT, 1966, V.6, N.4, p. 310-316.

99. Pheanis D.C. MUDBUG, a monitor ( utility ) debug system for the M6800 microprocessor. "Int. Micro- and Mini- Gomput. Conf., Heuston, Tex., 1979, Conf. Rec.", New York, N.Y., 1979, p. 165-168.

100. Powell M.L., Linton M.A., A databased model of debugging.- ACM Software engineering notes, V.8, N.4, August 1983, p. 67-70.

101. Probert R.L. Optimal insortion of software probes in well-delimited programs. -IEEE Trans. Software Eng., 1982, V.8, N.1, p. 34-42.

102. Ramamoorty C.V., Kim K.H., Chen W.T. Optimal placement of software monitors aiding systematic testing. IEEE Trans, on Software Eng., 1975, V. SE-1, N.4, p. 403-410.

103. Satterthwaite E. Debugging tools for high level languages. Software - Practice and Experience, 1972, V.2,p. 197-217.

104. Scowen R.S. A new technique for improving the quality of computer programs. "Proc. 4th Int. Conf. Software Eng., Munich, 1979", New York, N.Y., 1979, p. 73-78.

105. Stucki L.G. A prototype automatic program testing tool. In: AFIPS Conf. Proc. 1972 FICC, 1972, V. 41, pt. 2, p. 829-836.

106. White J.R. On the role of simulation in the construction of reliable complex software systems. "Proc. 9th Howall1.t. Conf. on Syst. Sci., Honolulu, How, 1976, Supplement", Honolulu, How, 1976, p. 82-84.

107. Yukuo I., Keiichi Y., Tadashi I. A computer aided advising system for Fortran program debugging ADVISOR. "Int. Process. 80", Amsterdam, E.A., 1980, p. 985-990.

108. Список опубликованных по теме диссертации работ

109. Колякин Ю.Д. Об оптимальной трассировке потока управления в программах. Тезисы докладов всесоюзного совещания "Высокопроизводительные вычислительные системы", Тбилиси, сентябрь 1981,с. 107-109.

110. Колякин Ю.Д. Отладка программного обеспечения в диалоговой многотерминальной системе. УСиМ, 1983, №2, с. 56-60.

111. Колякин Ю.Д. Об одном подходе к построению систем трассировки программ. Тезисы докладов III международного симпозиума ИМЕКО "Техническая диагностика", Москва, октябрь 1983, с. 52-55.

112. Колякин Ю.Д., Об оптимизации трассировки программ. Тезисы докладов IX всесоюзного совещания по проблемам управления, Ереван, ноябрь 1983, с. 476-477.

113. Колякин Ю.Д. Методы рациональной трассировки программных событий. Рукопись депонирована в ВИНИТИ. № 6144-83. Деп. от16 ноября 1983г, 1983, -65с.