Исследование и разработка методов и алгоритмов трассировки потока управления в программах
Диссертация
Актуальность проблемы. Одной из основных проблем развития вычислительной техники является снижение стоимости разработки программного обеспечения ЭВМ, значительное влияние на которое оказывает эффективность процесса тестирования и отладки программ. Тестирование и отладка — один из самых трудоёмких этапов разработки программ и может занимать более 50% общего времени проектирования. Высокая… Читать ещё >
Список литературы
- Абрамова Н.А. Диагностическая модель программы. 1. I международный симпозиум ИМЕКО по технической диагностике. Тезисы докладов. — М.: Институт проблем управления, 1983, с. 9-II.
- Антиненко В.И., Черняховский В. В. Интерактивная система отладки программ. В сб. Технология программирования. — Киев: ИК АН УССР, I960, с. 40−47.
- Арлазаров В.Л., Емельянов Н. Е., Дюкалов А. Н. и др. Информационная система ИНЭС. Автоматика и телемеханика, 1979, № 6,с. 109−121.
- Ахо А., Ульман Дж. Теория синтаксического анализа, перевода и компиляции. М.: Мир, I и 2 тома, 1978, -612с., -487с.
- Баранов С.Н. Язык отладки в системе программирования на базе алгоритмического языка АЛГОЛ-68 для ЕС ЭВМ. Рукопись депонирована в ВИНИТИ. № 3314 — 76. Деп. от 14 сент. 1976 г., 1976, — 45с.
- Белякин A.M., Занько С. Ф., Медведев В. И., Яхонтов В. Н. СОНЕЯ система отладки программ, основанная на применении ограниченного естественного языка. — Программирование, 1979, № 2,с. 84−89.
- Бичевский Я.Я., Борзов Ю. В. Развитие методов символического тестирования программ ЭВМ. Автоматика и телемеханика, 1982, № 8, с. 93 — 101.
- Блер Дж. Расширяемая система неинтерактивной отладки.- В кн. Средства отладки больших систем. М.: Статистика, 1977, с. 88−106.
- Брехов В.М., Лотков Б. А., Смирнов Н. Е. Опыт разработки и реализации языка отладки в системе САПОД. Вопросы радиоэлектроники. Серия «Электронно вычислительная техника», 1982, выпуск 7, с. 33−41.
- Брич З.С., Иткина О. Г., Цагельский В. И. Диалоговая отладка программ на ФОРТРАНе. М.: Вопросы создания АСПР, 1979, № 31, с. 33−37.
- Брукс Ф.П. мл. Как проетируются и создаются программные комплексы. М.: Наука, 1979, -151с.
- Букин В.В., Жуковский В. Г., Ятленко М. Т. Диалоговая система коллективного пользования для отладки программ, написанных на МНЕМОКОДе. УСиМ, 1979, № 6, с. 57−59.
- Вельбицкий И.В. Технологические линии производства программ. Программирование, 1980, № 2, с. 14−26.
- Вельбицкий И.В., Ходаковский В. Н., Шолмов Л. И. Технологический комплекс производства программ на машинах ЕС ЭВМ и БЭСМ-6. М.: Статистика, 1980, -263с.
- Викторов Л.П. Система отладки фортрановских программ для РДР II/70. М.: Статистика, 1980, -32с.
- Гантер Р. Методы управления проетированием программного обеспечения. М.: Мир, 1981, -388с.
- Гилман Л., Роуз А. Курс АЛЛ: диалоговый подход. М.: Мир, 1979, -524с.
- Гольбурт Н.А. Об отладке проблемно-ориентированных программ. УСиМ, 1979, № 2, с.44−48.
- Гончарук С.Т., Пустоворов В. И., Саламатов В. И., Флеров А. И. Система отладки программ обмена информацией для специализированных ЭВМ. УСиМ, 1981, № 6, с. 70−72.
- Грис Д. Конструирование компиляторов для цифровых вычислительных машин. -М.: Мир, 1975, -544с.
- Грисуолд Р., Поудис Дж., Полонски И."Язык программирования СНОБОЛ-4. М.: Мир, 1980, -268с.
- Гришман Р. Критерии для языка отладки. В кн. Средства отладки больших систем. — М.: Статистика, 1977, с. 57−72.
- Дал У., Дейкстра Э., Хоор К. Структурное программирование.- М.: 1975, -247с.
- Дейкстра Э. Дисциплина программирования. М.: Мир, 1978, -275с.
- Дисковая диалоговая многопультовая система ДИАМС. Программное обеспечение СМ ЭВМ. Описание языка ДИАМС. 4.072.112 П01, — М.: Институт электронных управляющих машин, 1979.
- Дудкин М.В. Автоматизация отладки параллельных программ.- Вопросы кибернетики, 1982, вып. 93, с. I06-II7.
- Дудкин М.В. Диалоговая система отладки для УВК М-4030. Труды института электронных управляющих машин. М.: 1979, № 47, с. II4-II7.
- Дэвис A.M. Интерактивная система анализа ошибок, обнаруженных во время выполнения программы. Всесоюзный центр переводов, перевод М-25 069, 1977, -120с.
- Иванов Ю.В., Колосовский Л. И., Чебыкин Н. Е., Штурц И. В. Кросс-средства разработки и отладки программ для микро ЭВМ. -Электронная промышленность, 1978, № 5, с. 37−38.
- Йодан Э. Структурное проектирование и конструирование программ. М.: Мир, 1979, -416с.
- Карлсрад Е. Расширение интерактивной отладочной системы.- В кн. Средства отладки больших систем. М.: Статистика, 1977, с. 73−87.
- Карначук В.И. Некоторые средства терминальной отладки программ. Новосибирск: Институт теор. и прикл. мех. СО АН СССР, препринт № 19, 1979, -24с.
- Квитнер П. Задачи, программы, вычисления, результаты.- М.: Мир, 1980, -422с.
- Кетков Ю.Л. Программирование на БЕЙСИКе. М.: Статистика, 1978, -158с.
- Коган Б.И. Системы программирования для отладки и решения гибридных задач. Автоматика и телемеханика, 1979, № 7,с. 166−174.
- Коган Я.А., Козинский Л.Б, Кудряшов А. И., Файнман И. С. Программные средства анализа и настройки вычислительных систем с виртуальной памятью. «Измерение, контроль, автоматизация», 1982, № 4, с. 53−60.
- Лепин-^итрюков Г. А. Программирование на языке ПЛ/1 (для ДОС/ЕС ЭВМ). М.: Сов. радио, 1978, -288с.
- Липаев В.В., Колин К. К., Серебровский Л. А. Математическое обеспечение управляющих ЦВМ. М.: Сов. Радио, 1972, -528с.
- Липаев В.В. Надёжность программного обеспечения АСУ. М.: Энергоиздат, 1961, -240с.
- Липаев В.В. Проектирование математического обеспечения АСУ (системотехника, архитектура, технология). М.: Сов. радио, 1977, -400с.
- Липаев В.В., Серебровский Л. А., Филиппович В. В. Система автоматизации программирования и отладки комплексов программ управления ЯУЗА-6. Программирование, 1977, № 3, с. 87−94.
- Липаев В.В. Эффективность использования временной избыточности для повышения надёжности комплексов программ управления.- Автоматика и телемеханика, 1981, № 2, с. 175−183.
- Майерс Г. Надёжность программного обеспечения. М.: Мир, 1980, -360с.
- Операционная система ДОС/ЕС. Справочник. / Битель Ю. Ю., Воюш В. И., Горбунова Р. В. и др. М.: Статистика, 1977, -271с.
- Отимидзу К., Тоёда Д., Танака К. Метод построения систем для обнаружения логических ошибок в программах. Всесоюзный центр переводов, перевод № 76/66 348, 1976, -21с.
- Отладка систем управляющих алгоритмов ЦВМ реального времени. / Под ред. проф. Липаева В. В. М.: Сов. радио, 1974, -328с.
- Переход от ДОС/ЕС к ОС/ЕС. Справочное пособие. / Ивани-ко О.С., Иванютина Н. М., Котов М. П. и др. М.: Статистика, 1980, -231с.
- Принципы работы системы IBM/370. / Перевод с англ. под ред. Л. Д. Райкова. М.: Мир, 1975, -576с.
- Райхлин Б.М. Диалоговая система отладки программ. Программирование, 1982, № 2, с. 84−90.
- Рассошинский Д.А. Мониторная система отладки программ в автоматизированной системе управления научным экспериментом.- УСиМ, № 6, с. 127−129.
- Рейнгольд Э., Нивергельт Ю., Део Н. Комбинаторные алгоритмы (теория и практика). М.: Мир, 1980 -476с.
- Риндфлайш Д. Отладка программ в системах 360/370 на основе дампингов памяти операционной системы. М.: Машиностроение, 1982, -144с.
- Система М6000/М7000 АСВТ М. Архитектура М7000. Северо-донецк: НИИУВМ, 1975, -90с.
- Скрипникова В.М., Фельдман Л. С. Диалоговая отладка программ на КОБОЛе. М.: Вопросы создания АСПР, 1979, № 31, с. 45−47.
- Состояние разработки Р-технологии и программных средствеё поддержки на машинах ЕС ЭВМ, СМ ЭВМ и БЭСМ-6 (инструкции пользователю). Киев: ИК АН УССР, 1980, -73с.
- Средства отладки программ в ОС ЕС ЭВМ. / Под ред. Лебедева В. Н. М.: Статистика, 1979, -135с.
- Топалов Н.Н. Системы и методы отладки программ. М.: ИПМ АН СССР, препринт № 81, 1976, -44с.
- Торопов Н.Р. Комплексная отладка программ на языке ЛЯПАС-М. УСиМ, 1981, № 2, с. 97−101.
- Трахтенгерц Э.А. Как работают операционные системы. М.: Наука, 1978, -192с.
- Трахтенгерц Э.А. Программное обеспечение автоматизированных систем управления. М.: Статистика, 1974, -288с.
- Турский В. Методология программирования. М.: Мир, 1981, -265с.
- Хьюз Дж., Митчом Дж. Структурный подход к программированию. М.: Мир, 1980, -278с.
- Шварц Дж.Т. Обзор ошибок. В кн. Средства отладки больших систем. — М.: Статистика, 1977, с. 8−22.
- ЭПСИЛОН система автоматизации программирования задач символической обработки. / Отв. редактор д. ф-м.н. Ершов А.П.- Новосибирск: СО АН СССР, Наука, 1972, -130с.
- Arisawa M., Inchi M. Debugging methods in recursive structured FORTRAN. «Software — Practice and Experience», 1980, V.10, N.1,p. 29−43.
- Baker F.T., Mills H.D. Chief programming teams, Datamation, 1973, N.12, p. 58−61.
- 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.
- Beander B. VAX DEBUG an interactive, simbolic, multilingual debugger, — ACM Software engineering notes, V.8,N.4, August 1983, p. 173−179.
- Benson J.B. Adaptive searth techniques applied to software testing. -«Perform. Eval. Rev.», 1981, V.10,N.1, p. 109−116.
- Boar B.H. Tracing instruction flow in structured COBOL programs,-Jornal of System Management, February, 1978, p. 26−30.
- 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.
- 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.
- 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.
- 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.
- Davis A.M., An interactive analysis system for execution-time errors.-University of Illinois at Urbana-Champaign, 1975″ -99p.
- DSM-11 programmer’s reference manual. AA-5456A-TC, Digital equipment corporation, Marlborough, Massachusetts, 1978.
- 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.
- 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.
- 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.
- Gilb T. Software metrics technologe: some unconventional approaches to reliable software. «Software reliability. MaidenheadV 1977, p. 101−115.
- Glass R.L. Real-time checkout: the sourse error first approach. Software — Practice and Experience, 1982, V.12,N.1, p. 77−83.
- 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.
- Goodenough J.B. A survey of program testing issues.- Software Reliability, Maidenhead, 1977, p. 135−154.
- Guttag J.V. Abstract data types and development of data structures. „Com. of the ACM“, 1977, V.20, N.6, p.396−404.
- Hennell M.A. An experimental testbed for numerical software. The comput. journal, 1979. V.21, N.4, p. 333−336.
- Johnson M.S. Translator design to support run-time debugging. Software — Practice and Experience, 1979» v.9, N, 12, p. Ю35-Ю41.
- 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.
- Kleene S.O. Representation of events in nerve nets. In Automata Studies (ed. C.E. Shannon and J. McCarthy), Princeton University Press, 1956.
- Knuth D.E., Stevenson E.R. Optimal measurement points for program frequency counts. BIT, 1973, V.14, p. 313−322.
- Lauesen S. Debugging techniques. Software — Practice and Experience, 1979, V.9, p. 51−63.
- Lineback J.R. Unique tools add to 16-bit capabilities.- Electronics, I98I, V.54, N.26, p. 39.
- Methuen C. The automatic prevention of errors in coputer applications: algorithms. «Coput. and Peapl», 1980, V.29, N•7−6t p. 16−21.
- Micelsons M. Pretty printing in an interactive programming environment. SIGNAL Notic, 1981, V.16, N.16, p. 108−116.
- Mikelsons M. Interactive program execution in Lispedit.- AOM Software engineering notes, V.8, N.4, August 1983, p. 71−80.
- MUMPS language standard. ANS X11.1−1977. American National Standards Institute, September, 1977.
- 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.
- Nagata W.M., Miller D.S. An interactive simulator for the КШ-1 microcomputer. «Simulation», 1981, V. 36, N.1, p. 21−33.
- Naur P. Prof of algorithms by general snapshots.- BIT, 1966, V.6, N.4, p. 310−316.
- 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.
- Powell M.L., Linton M.A., A databased model of debugging.- ACM Software engineering notes, V.8, N.4, August 1983, p. 67−70.
- Probert R.L. Optimal insortion of software probes in well-delimited programs. -IEEE Trans. Software Eng., 1982, V.8, N.1, p. 34−42.
- 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.
- Satterthwaite E. Debugging tools for high level languages. Software — Practice and Experience, 1972, V.2,p. 197−217.
- 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.
- Stucki L.G. A prototype automatic program testing tool. In: AFIPS Conf. Proc. 1972 FICC, 1972, V. 41, pt. 2, p. 829−836.
- 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.
- 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.
- Колякин Ю.Д. Об оптимальной трассировке потока управления в программах. Тезисы докладов всесоюзного совещания «Высокопроизводительные вычислительные системы», Тбилиси, сентябрь 1981, с. 107−109.
- Колякин Ю.Д. Отладка программного обеспечения в диалоговой многотерминальной системе. УСиМ, 1983, № 2, с. 56−60.
- Колякин Ю.Д. Об одном подходе к построению систем трассировки программ. Тезисы докладов III международного симпозиума ИМЕКО «Техническая диагностика», Москва, октябрь 1983, с. 52−55.
- Колякин Ю.Д., Об оптимизации трассировки программ. Тезисы докладов IX всесоюзного совещания по проблемам управления, Ереван, ноябрь 1983, с. 476−477.
- Колякин Ю.Д. Методы рациональной трассировки программных событий. Рукопись депонирована в ВИНИТИ. № 6144−83. Деп. от16 ноября 1983 г, 1983, -65с.