Проектирование и оценка качества программ на основе структурно-графических представлений тема диссертации и автореферата по ВАК РФ 05.13.11, кандидат технических наук Демин, Антон Юрьевич

• Демин, Антон Юрьевич
• кандидат технических наук
• 1998

Оглавление диссертации кандидат технических наук Демин, Антон Юрьевич

ВВЕДЕНИЕ.

ГЛАВА 1. СОВРЕМЕННОЕ СОСТОЯНИЕ И ПРОБЛЕМЫ

ПРОЕКТИРОВАНИЯ ПО НА ОСНОВЕ СТРУКТУРНЫХ ПРЕДСТАВЛЕНИЙ.

1.1. Проблемы и особенности автоматизации проектирования ПО.

1.1.1. Необходимость представления алгоритмов в виде программ.

1.1.2. Система языков программирования.

1.1.3. Подходы при автоматизации проектирования ПО.

1.2. Формальные способы представления алгоритмов.

1.2.1. Исследование алгоритмов с помощью вычислимых функций и конечных автоматов.

1.2.2. Динамические модели программ.

1.2.3. Модели представления структуры ПО.

1.3. Распараллеливание алгоритмов.

1.3.1. Методы статического распараллеливания.

1.3.2. Теоретико-графовый подход к . распараллеливанию последовательных алгоритмов.

1.3.3. Распараллеливание программ методом последовательного углубления.

1.3.4. Методы распараллеливания циклических структур.

1.3.5. Распараллеливание операций линейного участка.

1.3.6. Методы распараллеливания внутри линейных участков.

1.3.7. Оптимальное распараллеливание алгоритмов.

1.3.8. Анализ методик распараллеливания алгоритмов.

1.4. Задачи исследования.

Введение диссертации (часть автореферата) на тему «Проектирование и оценка качества программ на основе структурно-графических представлений»

В настоящее время разработка любого программного обеспечения (ПО) не рассматривается без привлечения методов анализа структуры ПО и его структурного проектирования [5]. Успешное развитие вычислительной техники и операционных систем (ОС), особенно в направлении улучшения графических возможностей, позволило вести проектирование ПО на основе структурно-графического представления. Такое представление ПО улучшает такие свойства программ, как: понимаемость, эффективность, сопровождаемость и т. д. [2]. Так же на основе структурно-графического представления можно решать ряд задач, связанных с анализом свойств, распараллеливанием, оптимизацией ПО, а также подготовкой его к тестированию и т. д.

Многие ученые (В.Е. Котов, В.В. Липаев, A.A. Саркисян, Россия; L. Lamport, Ramamorthy, США и др.), ведущие исследования в этой области, отмечают недостаточную развитость традиционных подходов к созданию ПО [5,18].

В ряде работ они подчеркивают плохую проработанность теоретических основ и совокупности методов для проектирования ПО на основе представления его в виде графа, схемы, структуры и пр.

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

Основываясь на анализе современного состояния проблемы разработки высоконадежного и эффективного ПО на основе его структурно-графического представления, можно сделать вывод о том, что актуальность данной темы определяется: отсутствием высокоэффективных методов анализа ПО и представления его в структурно-графической форме; 5 недостаточной проработанностью методов анализа представления ПО и определения его свойств; отсутствием высокоэффективных методов синтеза ПО на основе его структурно-графического представления. Особенно это относится к ПО, созданного с помощью современной концепции объектно-ориентированного программирования (ООП); отсутствием набора инструментальных средств (ИС) поддержки разработки ПО на основе структурно-графического представления; отсутствием технологии проектирования ПО, основанного на таких методах и средствах.

Исследования и разработки по теме проводились в рамках ряда важнейших госбюджетных и хоздоговорных работ.

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

1. Развитие теоретических основ представления ПО в структурно-графическом виде.

2. Разработка методов анализа структурно-графического представления и оценки качества программ.

3. Разработка методов проектирования ПО на основе структурно-графического представления.

4. Создание инструментальных средств, предназначенных для реализации предложенных методов.

Для проверки работоспособности предложенных методов в работе рассматривается решение ряда задач проектирования реальных программ.

Апробация работы. Исследования и разработки проводились в Кибернетическом центре Томского политехнического университета в соответствии с утвержденными планами НИР в составе Государственной научно-технической 6 программе по информатизации высших учебных заведений России по теме «Разработка среды программирования Паскаль-программ на основе системы ТРАНСВИР» (в соответствии с договором № 8-03/95-(5 пит/95)) и в составе программы Университеты России по теме «Методы анализа и адаптации программ для выполнения на МВС в реальном масштабе времени».

Основные результаты работы докладывались и обсуждались на Международной научно-технической конференции «Научные основы высоких технологий» (г. Новосибирск, 1997 г.), на Международной научно-технической конференции «VIII Бенардосовские чтения» (г. Иваново, 1997 г.), на второй региональной научно-технической конференции студентов и молодых специалистов «Радиотехнические и информационные системы и устройства» (г. Томск, 1997 г.), на Международной научно-методической конференции «Новые информационные технологии в университетском образовании» (г. Новосибирск, 1998 г.), на второй Российско-Корейской, международной конференции по науки и технологии KORUS 98 «Technology of program designing on the basis of structural-graphic representation» (г. Томск, 1998 г.). Инструментальные средства — система анализа и представления ПО в структурно-графическом виде «Томограф Паскаль-программ» официально зарегистрирована в Российском агентстве по правовой охране программ для ЭВМ, баз данных и топологии интегральных микросхем (РосАПО). «Томограф Паскаль-программ» получил сертификат соответствия № РОСС RU.ME20 .Н00087 в системе сертификации ГОСТ Р Госстандарта РФ.

Томограф Паскаль-программ» внедрен в НПЦ «Полюс», где использовался при разработке программ расчета и визуализации обмотки трансформаторов и программы тренажера для имитации работы системы преобразования и управления двигательной установкой ориентации, что подтверждено соответствующим актом внедрения. Система визуального проектирования программ (СВиПП) внедрена в КЦ ТПУ с 1997 в системе подготовки школьников стар7 ших классов по курсу «Информатика и вычислительная техника», что подтверждено соответствующим актом внедрения.

Разработанная методика оценки качества программ апробирована в независимой испытательной лаборатории программных средств и баз данных томского фонда «Прогресс», о чем дано соответствующее заключение.

По результатам исследований опубликовано 9 работ, в том числе 4 статьи.

Личный вклад:

1. Основные идеи по представлению программ в структурно-графической форме принадлежат В.К. Погребному и лично автору.

2. Методы получения структурно-графического представления ПО из текста программ разработаны лично автором.

3. Разработка системы основных свойств программ, представленных в структурно-графическом виде, проведена В.К. Погребным и лично автором.

4. Методы оценки основных свойств программ и теоретическое обоснование возможности их использования получены лично автором.

5. Теоретические основы проектирования ПО для распределенных систем реального времени (СРВ) на основе структурно-графического представления разработаны В.К. Погребным и Д.В. Погребным.

6. Методы создания модели ПО для распределенных СРВ, представленных в виде графа потока данных (ГПД) разработаны лично автором.

7. Теоретическое обоснование и способы проектирования объектно-ориентированных программ на основе структурно-графического представления принадлежат лично автору.

8. Программные средства инструментальной системы анализа программ «Томограф Паскаль-программ» разработаны автором, за исключением создания части базовых классов графических примитивов, разработка которых принадлежит Д.В. Погребному.

9. Программные средства проектирования программ на основе их структурно-графического представления (система СВиПП) разработаны автором. 8

Краткое изложение основного содержания работы.

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

Поскольку самым распространенным методом представления программ являются их текстовые представления с помощью различных языков программирования, то рассматривается существующая система языков программирования и система средств их поддержки. На основании анализа делается вывод, что наиболее развитыми являются алгоритмические языки, поддерживающие структурный подход к созданию ПО.

Далее рассматриваются различные модели представления программ, методы их анализа и способы получения основных характеристик программ. Делается вывод, что графическая форма представления алгоритмов более эффективна с точки зрения анализа многих свойств ПО, его понимаемости, а также является наиболее эффективной при синтезе ПО.

Поскольку в последнее время успешное применение многопроцессорных вычислительных систем (МВС) и, в том числе, распределенных вычислительных систем невозможно без создания соответствующего ПО рассматриваются существующие методы распараллеливания программ на основе их структурно-графического представления.

При анализе существующих подходов к проектированию ПО обосновывается выбор подхода, состоящего в использовании совокупности представлений программ в структурно-графической форме.

Формулируются цель и основные задачи, решаемые в диссертационной работе.

Во второй главе описывается совокупность представления программ в структурно-графической форме. 9

Подробно излагаются принципы структурного построения программ на языках высокого уровня. Для примера рассматривается классический язык структурного программирования Паскаль. Выделяется ряд признаков характерных для структурных программ. Предлагается основанный на принципах ООП метод анализа структуры программы и способ хранения информации о структуре в памяти ЭВМ.

Предложен способ представления программ в виде взаимосвязанных деревьев: ограниченного дерева Паскаль-модулей, дерева подпрограмм (процедур и функций), дерева структурных операторов, а также дерева данных (классов и абстрактных типов данных). Предложен метод построения взаимосвязанных деревьев.

Подробно описан метод декомпозиции программы на отдельные фрагменты на основе представления в виде деревьев.

Предложен способ получения структурно-логической схемы в виде блок-схемы для некоторого уровня детализации рассмотрения программы, выбранного с помощью метода декомпозиции программы на фрагменты. Описан способ получения блок-схемы для определенного уровня детализации рассмотрения программы.

Предложен способ получения информационно-логической схемы в виде графа потока данных для некоторого уровня детализации рассмотрения программы. Разработан алгоритм получения графа потока данных для определенного уровня детализации рассмотрения программы.

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

Рассмотрены такие критерии, как информативность, изменяемость, переносимость. Утверждается, что представление ПО в структурно-графической форме улучшает качество по этим критериям.

10

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

Рассмотрены методы оценки структурной сложности ПО. Описан способ оценки качества ПО по критерию связанности. Доказаны свойства эквивалентности и аддитивности предложенной оценки.

Разработан оригинальный алгоритм перестроения графа потока данных в ярусно-параллельную форму. Предложены различные оценки полученного представления, что дает возможность оценить распараллеливание ПО.

Предложен алгоритм перестроения графа потока данных в ярусно-параллельную форму при заданном количестве процессоров.

В четвертой главе рассматриваются методы, позволяющие на основе структурно-графического представления проектировать ПО. Вся излагаемая теория базируется на основе современных САБЕ-технологий, которые позволяют не только анализировать свойства модельного представления ПО, но также предусматривают, что модель может выступать как одно из средств проектирования ПО.

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

Рассмотрен метод проектирования многомодульных, объектно-ориентированных программ, основанный на представление ПО в виде расширенного дерева классов. Этот метод включает в себя метод проектирования по блок-схеме, который используется для создания тел методов. Разработан алгоритм генерации текста многомодульных, объектно-ориентированных программ на основе рассмотренного метода.

Кратко изложен метод проектирования ПО для распределенных СРВ. Данный метод опирается на представление ПО с помощью ГПД. Необходимо заме

11 тить, что проектирование и моделирование программ для распределенных СРВ является отдельной научной проблемой и подробное решение этой проблемы не рассматривается в данной работе.

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

Описаны ИС анализа Паскаль-программ и представления их в структурно-графической форме - «Томограф Паскаль-программ». Приведена его структурная схема.

Подробно описаны ИС для проектирования многомодульных, объектно-ориентированных программ - система СВиПП.

Изложены принципы построения ИС для создания модели на основе ГПД. В работе решаются такие основные задачи проектирования ПО, как задачи декомпозиции; определения структуры ПО в целом и на всех иерархических уровнях; оценка качества ПО путем анализа основных структурных свойств; распараллеливания (преобразования алгоритмов к ярусно-параллельной форме); проектирования программ, строящихся на объектно-ориентированных принципах.

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

12 методология проектирования ПО на основе его структурно-графического представления; совокупность инструментальных средств, реализующих предложенные способы, методы и методики.

Практическая ценность и реализация результатов работы. Практически значимыми являются созданные модели, методики, методы, алгоритмы и инструментальные программные средства. Инструментальное ПО предназначено для работы на ПЭВМ типа IBM PC AT в ОС Windows NT, разработано с помощью интегрированной среды программирования Delphi 3.0. Суммарный объем разработанных программных комплексов составляет более 16000 операторов.

Разработанные ИС внедрены в учебный процесс на кафедре Автоматизации проектирования Томского политехнического университета при выполнении цикла лабораторных работ и курсового проекта по курсу «Автоматизированные системы проектирования систем реального времени», а также при работе со школьниками при проведении подготовительных занятий по курсу «Информатика и вычислительная техника», что подтверждено соответствующим актом о внедрении.

ИС - «Томограф Паскаль-программ» использовался при разработке программ расчета и визуализации обмотки трансформаторов и программы-тренажера для имитации работы системы преобразования и управления двигательной установкой ориентации в НПЦ «Полюс», что подтверждено соответствующим актом внедрения.

Основные положения, выносимые на защиту:

1. Структурно-графические представления в сравнении с текстовыми являются более удобными и понимаемыми при практическом анализе и синтезе программ как вручную, так и автоматическими методами.

2. Предложенная совокупность структурно-графических представлений программ и ряд методов, способов и алгоритмов для получения и анализа таких

13 моделей позволяют повысить уровень формализации при решении задач автоматизированного проектирования и анализа программ.

3. Разработанная система критериев оценки качества программ по структурно-графическому представлению, совокупность методов и правил внесения изменений позволяют не только оценить качество ПО, но и создать условия для улучшения качества.

4. Разработанные методы проектирования ПО на основе структурно-графического представления, повышают надежность разработанного ПО и сокращают сроки проектирования.

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

14

1. СОВРЕМЕННОЕ СОСТОЯНИЕ И ПРОБЛЕМЫ ПРОЕКТИРОВАНИЯ

ПО НА ОСНОВЕ СТРУКТУРНЫХ ПРЕДСТАВЛЕНИЙ

Заключение диссертации по теме «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей», Демин, Антон Юрьевич

4.4. Основные выводы по главе

1. Предложен метод проектирования ПО с помощью блок-схем, позволяющий получать текст исполняемой части небольшой программы.

2. Для проектирования многомодульных, объектно-ориентированных программ предложен метод, основанный на представлении ПО в виде расширенного дерева классов. Этот метод включает в себя метод проектирования по блок-схеме, который используется для создания тел методов.

142

3. Разработан алгоритм генерации текста ПО, позволяющий реализовать предложенный метод проектирования многомодульных, объектно-ориентированных программ.

4. На основе ГПД можно вести проектирование программных комплексов для распределенных СРВ.

5. Для анализа Паскаль-программ и представления их в структурно-графической форме создано ИС - «Томограф Паскаль-программ».

6. Для проектирования многомодульных, объектно-ориентированных программ создано ИС - система СВиПП.

7. Изложены принципы ИС, которые позволяют строить и задавать параметры моделям на основе ГПД.

143

ЗАКЛЮЧЕНИЕ

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

1. Разработан способ представления ПО в структурно-графическом виде, а именно, в виде: ограниченного дерева модулей, дерева процедур и функций, дерева данных, дерева классов, дерева структурных операторов, блок-схемы и графа потока данных.

2. Создан ряд алгоритмов получения, описанных структурно-графических представлений путем анализа исходного текста программы.

3. Разработана иерархическая система критериев оценки качества ПО с помощью полученных структурно-графических представлений.

4. Предложен ряд правил улучшения качества программ путем улучшения качества по некоторым критериям.

5. Предложена методология проектирования программ по их структурно-графическому представлению. Особый упор сделан на проектирование объектно-ориентированных программ.

6. Создан ряд ИС: «Томограф Паскаль-программ», система СВиПП, ИС для создания модели ПО на распределенной СРВ. Разработанное ПО функционирует на IBM PC/AT совместимых ЭВМ в операционных средах Windows 95, Windows NT. Общий объем разработанных программных комплексов составляет более 16000 операторов.

144

Полученные результаты могут служить основой для проведения НИР в направлении создания САБЕ-технологии разработки ПО, включающей предложенную технологию проектирования ПО в качестве основной части.

145

Список литературы диссертационного исследования кандидат технических наук Демин, Антон Юрьевич, 1998 год

1. Кориков A.M., Сафьянова Е.Н. «Основы системного анализа и теория систем» учебное пособие Томск, 1989. / Под ред. д.т.н. Ф.П.Тарасенко. Издательство Томского университета.

2. Саркисян А. А. Повышение качества программ на основе автоматизированных методов. М.: Радио и связь.-160 с.

3. Вязгин В.А., Федоров В.В. Математические методы автоматизированного проектирования. -М.: Высш. шк., 1989. -183с.

4. Кнут, Дональд Э. Искусство программирования для ЭВМ: В 7-ми т.: Пер. с англ./ Д. Кнут. — М.: «Мир», 1976. Т.1: Основные алгоритмы/ Пер. Г. П. Бабенко и Ю. М. Баяковского: Под ред. К. И. Бабенко и В. С. Штаркмана.-1976. 735с.

5. Технология проектирования комплексов программ АСУ. /В.В. Липаев, Л.А. Серебровский, П.Г. Гаганов и др.; Под ред. Ю.В. Астафьева, В.В. Липаева- М.: Радио и связь, 1983. 264 с.

6. Йодан Э. Структурное программирование и конструирование программ: Пер. с англ./ Под ред. П.Н. Королева -М.: Мир, 1979. -416 с.

7. Жоголев Е.А. Технологические основы модульного программирования. -Программирование, 1980, № 2, с. 44-49.

8. Хьюз Дж., Мичтон Дж. Структурный подход к программированию: Пер. с англ. /М.: Мир, 1960. -278 с.

9. Stay J.E. Hypo and integrated program design. -IBM System J., 1976, № 2, p. 143154.

10. Fudji M.S. Independent verification of highly reliable programs COMPSAC 77. -Proc/IEEE Comput., Soc., I Int. Comput. Software and Appl. Conf., Chicago, 1977, New York, № 9, 1977, p. 38-44.

11. Ramamorthy ett al. On the automated generation of program test data. -IEEE Trans. 1976, v. SE -2, № 4, p. 78-92.146

12. Ершов А.П. Технология разработки систем программирования. -В кн.: Системное и теоретическое программирование /ВЦ СО АН СССР, Новосибирск, 1972, с. 136-184.

13. Мамиконов А.Г., Цвиркун А.Д., Кульба В.В. Автоматизация проектирования АСУ. -М.: Энергия, 1981. -328 с.

14. Мессих И.Г., Собкин С.С., Штрик А.А. Методы автоматического анализа характеристик комплексов программ и распределение ресурсов производительности вычислительных систем. -Управляющие системы и машины. 1980, № 1, с. 28-32.

15. Мультипроцессорные системы и вычисления: Пер. с англ. /Под ред. Ф.Г. Энслау -М.: Мир, 1976. -384 с.

16. Штрик А.А. Производительность однородных многопроцессорных комплексов с общей памятью. Управление системы и машины. 1978, № 3, с.55-61.

17. Биэкман М. Проектирование систем реального времени: Пер. с англ. /М.: Мир, 1977. 345 с.

18. Липаев В.В. Проектирование программных средств: Учеб. пособие для вузов по специальности «Автоматические системы обработки информации и управление»-М.: Высш. шк., 1990. -303 с.

19. Грицык В.В. Распараллеливание алгоритмов обработки информации в системах реального времени. Киев: Наук, думка, 1981. -215 с.

20. Грис Д. Наука программирования: Пер. с англ. /Под. Ред. А.П. Ершова. -М.: мир, 1984.-416 с.

21. Дейкстра Э. Дисциплина программирования: Пер. с англ. /Под. ред. Э.З. Любимского. -М.: Мир, 1976. -288 с.

22. Головкин Б. А. Расчет характеристик и планирование параллельных вычислительных процессов. -М.: Радио и связь, 1983. -272 с.

23. Трахтенгерц Э.А. Введение в теорию анализа и распараллеливания программ ЭВМ в процессе трансляции. -М.: Наука, 1981. -256 с.147

24. Янг Ч. Алгоритмические языки реального времени. Конструирование и разработка: Пер. с англ. /Под ред. В.В. Мартынюка: -М.: Мир, 1985. -400 с.

25. Холстед М.Х. Начала науки о программировании: Пер. с англ. -М.: Финансы и статистика, 1981.-128 с.

26. Гонца М.Г. Что такое технология программирования. -Кишинев, издательство Штиинда, 1989. -67 с.

27. Вирт Н. Систематическое программирование. Введение. -М.: Мир, 1977. -183 с.

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

29. Вельбицкий И.В. Р-технология программирования. -Киев: Наукова думка,1976. -279с.

30. Сборочное программирование /Лаврищева Е.М., Грищенко В.М.: Отв. Ред. Андон Ф.И.: АН Украины. Институт кибернетики им. В.Н. Глушкова. -Киев: Наукова думка, 1991. -216 с.

31. Редько В.Н. Композиционная технология программирования. -Киев: Издательство общества «Знание», 1981.

32. Ершов А.П. Опыт интегрального подхода к актуальной проблематике программного обеспечения //Кибернетика -1984. -№ 3 с. 11-21.

33. Льюс Ф., Розенкранц Д., Стирнз Р. Теоретические основы проектирования компиляторов. Пер. с англ. В. А. Исаева и др.; Под ред. В. Н. Агафонова. -М.: Мир, 1979. -644 с.

34. Гласс Р. Руководство по надежному программированию: Пер. с англ. /Под ред. В.М. Рабиновича. -М.: мир, 1982. -256 с.

35. Характеристики качества программного обеспечения /Б. Боэм, Дж. Браун, X. Каспар и др.; Пер. с англ. Е.К. Масловского. -М.: Мир, 1981. -208 с.

36. Зиглер К. Методы проектирования программных систем: Пер. с англ. /Под ред. Я.А. Хетагурова-М.: Мир, 1985. -328 с.148

37. Cottrel J., Workman D. GRASP: An Interactive Environment for Software Development and Maintenance //DataBase. -1980. -Vol.11, № 3, p.84-87.

38. Davcev D. Some New Observations About Software. Sci. Indications For Estimating Software Quality //Information Processing and Management, 1984, -Vol.20, № 1-2. -p.245-247.

39. Безбородов Ю.М. Индивидуальная отладка программы. -М.: Наука, 1982. -192 с.

40. Ван Гассел Д. Стиль, разработка, эффективность, отладка и испытание программ: Пер. с англ. /Под ред. Э.А. Трахтенгерца. -М.: Мир, 1981.-319 с.

41. Майерс Г. Искусство тестирования программ: Пер. с англ. /Под ред. Б.А. Позина. -М.: Мир, 1982. -176 с.

42. Arthur I. Software Quality Measurement of Datamation. -1984. -Vol.30, № 21. -p.l 15-120.

43. Саркисян А.А. Машинонезависимая оптимизация исходных программ. -М: Радио и связь, 1985. -208 с.

44. Тыугу Э.Х. Концептуальное программирование. -М.: Наука, 1984. -344 с.

45. Казро М.И. Калья А.П., Тыугу Э.Х. Инструментальная система программирования ЕС ЭВМ (ПРИЗ). -М.: Финансы и статистика, 1981. -157 с.

46. Лавров С.С. Синтез программ//Кибернетика. -1982. № 6 -с. 11-16.

47. Камынин С. С., Любимский Э.З. Алгоритмический машинно-ориентированный язык -АЛМО //Алгоритмы и алгоритмические языки. -1967. -Вып. 1. —с. 5-58.

48. Хорн Э., Винклер Ф. Проектирование модульных программных структур /Вычислительная техника соц. стран. -1987. -Вып. 21. -с.64-72.

49. Фишер П. Братиславская программная система BPS //Вычислительная техника соц. Стран. -1984. -Вып. 15 -с.62-69.

50. Бутаков Е.А. Методы создания качественного программного обеспечения ЭВМ. -М.: Энергостоииздат, 1994. -232 е., ил.

51. Барский А.Б. Параллельные процессы в вычислительных системах. Планирование и организация. -М.: Мир, 1985.149

52. Евреинов Э.В., Косарев Ю.Г. Однородные универсальные вычислительные системы высокой производительности. -Новосибирск: Наука, 1966. -308 с.

53. Колмогоров А.Н., Успенский В.А. К определению алгоритма. -УМН, 1958, 13, № 4, с. 3-28.

54. Марков А.А. Теория алгоритмов. -Труды математического института АН СССР-им. В. А. Стеклова, 42, М.: Изд-во АН СССР, 1954.

55. Kleene S.C. General recursive functions of natural numbers. -Math. Ann., 1936, 112, p. 727-742.

56. Church A. An unsolvable problem of elementary number theory. Amer. J.Math., 1936, 58, p.345-363.

57. Post E.L. Finite combinatory processes formulation 1. -J. Symbolic Logic, 1936, 1. P.103-105.

58. Русский перевод: Пост Э. Конечные комбинаторные процессы формулировка 1. - В кн.: Успенский В.А. Машина Поста. М.: Наука, 1979, с.89-95.

59. Turing A.M. On computable numbers with an application to the Entscheidungsproblem. -Proc. London Math. Soc. (2), 1937, 42., p.230-265. Correction/ -Proc. London Math. Soc.(2), 1947, 43, p.544-546.

60. Программирование и алгоритмические языки. / Н. А. Криницкий, Г. А. Миронов, Г. Д. Фролов; Под ред. А. А. Дородницина. -2-е изд. Перераб. и доп. -М.: Наука, 1979, 509 с.

61. Котов В.Е. Теория параллельного программирования : Прикл. Аспекты. -Кибернетика, 1974, № 1, с 1 16.

62. Котов В.Е. Теория параллельного программирования : Прикл. Аспекты. -Кибернетика, 1974, № 2, с 1 18.

63. Головкин Б. А. Параллельная обработка информации: Программир., вычисл. методы, вычисл. системы. Техн. Кибернетика, 1979, №2, с. 116-151.

64. Головкин Б. А. Методы и средства параллельной обработки информации. В кн.: Теория вероятностей. Математическая статистика. Теоретическая кибернетика. М. : Наука, 1979, с. 85- 193 - (Итоги науки и техники. Т. 17).150

65. Поспелов Д. А. Введение в теорию вычислительных систем. М. : Сов. Радио, 1972,-280 с.

66. Халимов А. И. К вопросу о распараллеливании программ. -Пробл. Кибернетики, 1974, №28, с. 157-176.

67. Халимов А. И. Метод последовательного углубления и некоторые его приложения. В кн.: Теория и практика системного программирования. Киев : Инт кибернетики АН УССР, 1976, с. 180-192.

68. Халимов А. И. Распараллеливание арифметических выражений методом последовательного углубления. Программирование, 1979, № 2, с. 48 -54.

69. Белкина М. В., Трахтенгерц Э. А. О выделении модулей в системе программ. Автоматика и телемеханик, 1977, №7, с. 192-196.

70. Беляков М. И., Натансон Л. Г. Распараллеливание циклов и другие оптимизирующие преобразования транслируемых программ. Программирование, 1975, №4, с. 45-50.

71. Бусленко Н. П. Автоматизация имитационного моделирования сложных систем. М. : Наука, 1976. - 175 с.

72. Косарев Ю.Г. Распараллеливание по циклам. Вычисл. системы, 1967, № 24, с. 3-20.

73. Миренков Н. Н, Структурное параллельное программирование. Программирование, 1975, № 3, с. 3-14.

74. Миренков Н. Н, Симонов С. А., Выявление параллелизма в циклах методом имитации их выполнения. Кибернетика, 1981, № 3, с. 28-33.

75. Нариньяни А. С. Теория параллельного программирования. Формальные модели. Кибернетика, 1974, № 4, с. 1-15.151

76. Нариньяни А. С. Теория параллельного программирования. Формальные модели. Кибернетика, 1974, № 5, с. 1-14.

77. Трахтенгерц Э.А. Введение в теорию анализа и распараллеливания программ ЭВМ в процессе трансляции. М. : Наука, 1981,- 254с.

78. Форд JI. Р., Фалкерсон Д. Р. Потоки в сетях. М. : Мир, 1966,- 272 с.

79. Нуриев Н. М. Информационно логические связи в схемах программ над массивами. - Кибернетика, 1979, № 1, с. 78-86.

80. Алгоритмы, математическое обеспечение и архитектура многопроцессорных вычислительных систем / Под. Ред. В. Е. Котова, И. Маклашко,- М. : Наука, 1982,-212 с.

81. Вальковсий В. А., Котов В. Е. Автоматическое построение параллельных программ. Распараллеливание выражений и циклов. Новосибирск, 1979.- 40 с. (Препринт / АН СССР, Вычислю центр Сиб. отд-ния ; № 146).

82. Martin D. F., Estrin G. Models of computations and systems-evalution of vertex probabilities in graph models of computations.- Joum. ACM? 1967, 14, № 2, p. 281299.

83. Squir I. S. A translation algorithm for a multiple Processor Computer.- Proc. 18 th ACM Nat. Conf. Colorado : Denver, 1963, P. 174-191.

84. Di Manso M., Frisiani A. L., Olimpo G. Loop optimisation for parallel proce-sing.- Computer Journ., 1981, 22, № 3, p. 184-189.

85. Hellerman H. Parallel processing of Algebraic Expressions.- IEEE Trans, on Electronic Computers, EC-15, № 1, January, 1966, p. 82-91.

86. Stone. One-pass compilation of arithmetic expressions for a parallel processor.-Communic. ACM, 1967, 10, № 4, p. 215-223.

87. Ramamoorthy С. V., Gonzalez M. J. A survey of techniques for recognizing parallel programs. Proc. FICC AFIPS, USA, 1969, 35, p. 1-15.

88. Распараллеливание алгоритмов обработки информации. Том 1 / Под ред. А. Н. Свенсона, Киев : Наук. Думка, 1985.- 280 с.152

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

90. Грицык В. В. Деркач Б. Т. Алгоритмы распараллеливания обработки информации Львов, 1979,- 50 е.- (Препринт / АН УССР. Физ. мех. ин-т.; № 24).

91. Грицык В. В. Деркач Б. Т. Математическая модель задачи управления вершин графов. В кн.: Эффективность распараллеливания алгоритмов обработки информации. Львов, 1979, с. 56-57 - (Препринт / АН УССР. Физ. мех. ин-т.; № 15).

92. Грицык В. В. Деркач Б. Т. Оптимальные ЯПФ при распараллеливании линейных алгоритмов. В кн.: Эффективность распараллеливания алгоритмов обработки информации. Львов, 1979, с. 32-35 - (Препринт / АН УССР. Физ. мех. ин-т.; №15).

93. Пашкевич с. Д. Основы мультипрограммирования для специализированных вычислительных систем. М. : Сов. радио, 1972,-183 с.

94. Мерилл Т. Вычислительные цепи и упрощение машинных программ. Экс-пресс-информ. Сер. Вычисл. техника, 1963, № 1, с. 14-30.

95. Котов В. Е. Введение в теорию схем программ .- Новосибирск : Наука, 1978,-257 с.

96. Андерсон Б.Д. Основания теории систем, конечные и неконечные условия.-В кн.: Математические методы в теории систем. М. : Мир, 1979, с. 49-133.

97. Биркгоф Г., Барти Т. Современная прикладная алгебра. М. : Мир, 1976. -400 с.

98. Бусленко Н. П., Калашников В.В., Коваленко И. Н. Лекции по теории сложных систем. М. : Сов. радио, 1973.- 439 с.

99. Нечипоренко В. И. Структурный анализ систем (эффективность и надежность).- М. : Сов. радио, 1977,- 214 с.

100. Клини С. Введение в математику. -М. : Изд-во иностр. лит., 1957. 526 с.153

101. Колесник А. М. Преобразования и распараллеливание операторов цикла Алгол 60,- Минск, 1980.- 36 е.- (Препринт / АН БССР. Ин-т математики; № 4 (84)).

102. Петер Р. Рекурсивные функции / под ред. А. Н. Колмогорова. М. : Изд-во иностр. лит., 1954. - 264 с.104. "Гришина Е.В. Разрешимость функциональной эквивалентности на подклассе схем потоков данных. -Новосибирск: ВЦ СО АН СССР, 1982. —43 с.

103. Орлов В. А. Теория графов и комбинаторика. Учебное пособие. Томск. Изд. ТПУ им. С.М. Кирова, 1988. -96 с.

104. Сваами М., Тхуласирамин К. Графы, сети и алгоритмы: Пер. с англ. /Под ред. В.А. Горбатова. -М.: Мир, 1984. -455 с.

105. Характеристики качества программного обеспечения /Б.Боэм, Дж.Браун, Х.Каспар и др. Пер. с англ. Е.К. Масловского. -М: Мир, 1981. -208 с.

106. Технология проектирования комплексов программ АСУ /В.В. Липаев, Л. А. Серебровский, П.Г. Гаганов и др. /Под ред. Ю.В. Асафьева, В.В. Липаева. -М.: Радио и связь, 1983. -264 с.

107. Вирт Н. Алгоритмы + структуры данных = программы: Пер. с англ. -М.: Мир, 1985. -406 с. ил.

108. Барский А.Б. Параллельные процессы в вычислительных системах. Планирование и организация. -М.: Радио и связь, 190ю -256 с.

109. Воеводин В.В. Математические модели и методы в параллельных процессах. -М.: Наука. Гл. ред. физ.-мат. Лит., 1986. -296 с.

110. Погребной В. К. Автоматизированное проектирование систем реального времени. Учебное пособие. Томск, изд. ТПИ, 1989. -96 с.

111. Научно-производственный центр1. ПОЛЮС"

112. М 634050, г.Томск, пл.Кирова 2, НПЦ "Полюс" Тел./факс [phone] / 44-51-91, телетайп ТОМСК 128173 "Курс" E-mail: [e-mail]1. СХ. №на№от1. УТВЕРЖДАЮ»

113. Зам. Генерального директора1. НПЦ «Полюс»

114. Ю. А. Шиняков «/Н ¿>? 1998 г.о внедрении НИОКР

115. Рекомендуем использовать «Томограф Паскаль-программ» при разработке программного обеспечения на языке Паскаль, для просмотра и анализа структуры программы.

116. Начальник лаборатории №381 Начальник КБ № 64