Автоматизация разработки и тестирования программных средств на основе технологии графосимволического программирования тема диссертации и автореферата по ВАК РФ 05.13.12, доктор технических наук Коварцев, Александр Николаевич

• Коварцев, Александр Николаевич
• доктор технических наук
• 1999

Оглавление диссертации доктор технических наук Коварцев, Александр Николаевич

СПИСОК УСЛОВНЫХ ОБОЗНАЧЕНИЙ.

ВВЕДЕНИЕ.

1. Современное состояние средств автоматизации программирования и тестирования программных продуктов.

Введение диссертации (часть автореферата) на тему «Автоматизация разработки и тестирования программных средств на основе технологии графосимволического программирования»

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

Постоянный процесс накопления знаний в предметной области проектирования и расширение круга решаемых задач обуславливает эволюционный метод развития САПР, что, в свою очередь, требует постоянного совершенствования их программного и информационного обеспечения [29-30, 117].

В связи с этим, по-прежнему, остается актуальной задача повышения производительности труда разработчиков ПО САПР. А в связи со сложностью разрабатываемых программных продуктов (1111) на более приоритетное место постепенно перемещается проблема обеспечения надежности, которая связана с проблемой отладки и тестирования ПС [104107].

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

Значительный вклад в развитие теоретических основ информатизации проектирования внесли такие ученые как: Б.М. Аронов, A.M. Ахмедзянов, Д.И. Батищев, В.А. Комаров, В.Г. Маслов, И.П. Норенков, В.Н. Нуждин, A.B. Соллогуб, Р.Г. Стронгин, А.П. Тунаков, В.В. Федоров и др. Проблеме создания средств автоматизации проектирования информационных систем посвящены работы В.Н. Вагина, И.В. Вельбицкого, В.А. Горбатова, В.М. Глушкова, A.B. Замулина, А.П. Ершова, В.П. Иванникова, В.В. Липаева, Э.Х. Тыугу, В.А. Успенского и многих других ученых.

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

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

Основные задачи диссертационной работы, определяемые поставленной целью, состоят в следующем:

1. Исследование современного состояния в области теории и технологий автоматизации разработки и тестирования программных средств.

2. Формирование теоретических основ автоматизации проектирования ПС: •построение системы типов данных, а также разработка модели информационного межмодульного интерфейса технологии графосимволического программирования (ГСП), обеспечивающей автоматизацию процессов передачи данных между модулями ПС;

•определение методов и алгоритмов управления вычислениями в технологии ГСП;

•разработка методов и алгоритмов конструирования объектов (акторов, агрегатов, предикатов) и классификации их данных в технологии ГСП;

•разработка алгоритмов структурной оптимизации агрегатов технологии ГСП.

3. Разработка теоретических основ функционального и структурного тестирования объектов технологии ГСП с целью повышения надежности программных средств.

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

10

Научная новизна работы заключается в следующем:

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

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

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

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

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

11

•Впервые предложен метод автоматизированной проверки корректности организации ветвлений на графе агрегата и реализуемости схем маршрутов агрегата.

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

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

2.Теоретические основы методов автоматизации тестирования вычислительных модулей и тестирования структур агрегатов.

3.Алгоритмы: тестирования вычислительных модулей, основанный на эффекте ограничения разрядной сетки ЭВМ, универсальный алгоритм построения схем маршрутов, метод адаптивного случайного поиска "грубых" ошибок, алгоритмы структурного тестирования агрегатов, основанные на применении "решающей" функции.

4.Систему графосимволического программирования GRAPH.

12

Заключение диссертации по теме «Системы автоматизации проектирования (по отраслям)», Коварцев, Александр Николаевич

Основные результаты, полученные в работе:

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

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

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

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

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

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

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

225

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

5.Практическое применение технологии ГСП при создании ПО САПР ГТД показало, что при её использовании повышается производительность труда, сокращаются сроки разработки, тестирования и обслуживания ПО САПР. Эффективность при использовании технологии ГСП увеличивается по мере роста сложности разрабатываемого ПС и, как показали эксперименты, может составить 35 и более процентов по сравнению с традиционным стилем программирования. Улучшается качество разрабатываемых программ по таким критериям как функциональная пригодность (за счет принятой схемы структуризации ПС, корректности используемого способа организации межмодульного информационного интерфейса и визуального стиля программирования), по критерию надежности ПС (за счет применения активных методов их функционального и структурного тестирования). Технология графосимволического программирования имеет хорошие характеристики в группе критериев, определяющих ее применимость, по таким показателями, как обучаемость, простота использования и комфортность эксплуатации.

226

ЗАКЛЮЧЕНИЕ

Список литературы диссертационного исследования доктор технических наук Коварцев, Александр Николаевич, 1999 год

1. Агафонов В.Н. Спецификация программ: понятийные средства и их организация. Новосибирск: Наука, 1987. - 240 с.

2. Агафонов В.Н. Типы и абстракция данных в языках программирования // Данные в языках программирования. М.: Мир, 1982,- с. 265-327.

3. Айвазян С.А., Евнюков И.С., Мешалкин Л.Д. Прикладная статистика. Основы моделирования и первичная обработка данных.- М.: Финансы и статистика, 1983. 471 с.

4. Архангельский Б.В., Кучма И.Б. Система ГРАФ-ФОРТРАН, осуществляющая построение и анализ управляющего графа программ // УСиМ. 1989.№1, с.41-45.

5. Архангельский Б.В., Черняховский В.В Поиск устойчивых ошибок в программах. М.:Радио и связь, 1989. - 240 с.

6. Ахо А., Хопкрофт Дж., Ульман Дж. Построение и анализ вычислительных алгоритмов. М.: Мир, 1979. - 536 с.

7. Бар Р. Язык Ада в проектировании систем. М.: Мир, 1988,-320 с.

8. Батищев Д.И. Методы оптимального проектирования. М.: Радио и связь, 1984.-326 с.

9. Батищев Д.И., Высоцкий Г.О., Кузьмичев A.C. Рациональный синтез структуры "персональных" пакетов программ. // Сб. научн. трудов. "Математическое и алгоритмическое обеспечение оптимизации сложных систем". Воронеж: ВПИ, 1987, с. 20-24.

10. Батищев Д.И., Кузьмичев A.C. Интерактивный синтез пакетов программ оптимизации на персональных ЭВМ. // Сб. "Новые направления в системах поддержки решений". М.: ВНИИ системных исследований АН СССР, 1987, с. 54-60

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

12. Бетелин В.Б. Системы автоматизации труда программиста. М.: Наука, 1990. - 176с.

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

14. Братко И. Программирование на языке ПРОЛОГ для искусственного интеллекта. М.: Мир, 1990.- 560 с.

15. Будячевский И.А., Коварцев А.Н., Кораблин М.А., Шамашов М.А. Двухэтапная схема интерпретации специализированных ЭВМ // УСиМ. 1978. №3, с.39-42

16. Бусленко Н.П. Моделирование сложных систем. М.: Наука, 1968. -356 с.

17. Вагин В.Н. Дедукция и обобщение в системах принятия решений.- М.: Наука, 1988.-384 с.

18. Вальковский В.А., Котов В.Е., Марчик А.Г., Миренков H.H. Элементы параллельного программирования. М.: Радио и связь, 1983.- 240 с.

19. Ван Тассел Д. Стиль, разработка, эффективность, отладка и испытание программ,- М.: Мир, 1985. 332 с.

20. Вельбицкий И.В. Технология программирования. К.: Техника, 1984.-279с.

21. Вельбицкий И.В., Ершов C.B. Графовая алгебра процессов и высокоуровневая отладка программ // УСиМ. 1991. №6, с.36-43.

22. Вельбицкий И.В., Ковалев A.JI., Лизенко С.Л. Графический интерфейс представления алгоритмов и программ // УСиМ. 1988. №4, с.42-47

23. Вентцель Е.С. Исследование операций. М.: Сов. радио, 1972.- 550 с.

24. Вирт Н. Программирование на языке Модула-2. М.: Мир, 1987.- 222 с.

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

26. Виттих В.А., Коварцев А.Н., Кораблин М.А. Имитация автоматизированных систем с использованием концепции состояний // М.: Известия АН СССР. Техническая кибернетика. 1981. №4, с 86-93.

27. Влияние ограниченности разрядной сетки ЭВМ на вычислительные процессы. Интерполирование и аппроксимация функций на ЭВМ: Метод, указания // Коварцев А.Н., Солдатова О.П. Самара, Самарский гос. аэрокосмич. ун-т. 1994. 9 с.

28. Вязгин В.А., Федоров В.В. Формирование облика сложного технического объекта в САПР. // Программные прдукты и системы. 1990. №4, с. 26-37.

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

30. Гермейер Ю.Б. Введение в теорию исследования операций. М.: Наука, 1971.-383 с.

31. Гермейер Ю.Б. Игры с непротивоположенными интересами. М.: Наука, 1976. 328 с.

32. Гласс Р. Руководство по надежному программированию. М.:Финансы и статистика, 1982. - 256 с.

33. Глушков В.М. Основы безбумажной информатики. М.: Наука, 1987. -552 с.

34. Горбатов В.А. Основы дискретной математики. М.: Высшая школа, 1986.-307 с.

35. Горбатов В.А., и др. САПР систем логического управления. М.: Энергоатомиздат, 1988.- 231 с.

36. Горбунов-Посадов М.М. Конфигурации программ. М.: Малип, 1994. - 272 с.

37. Григорьев B.JI. i486. Архитектура и программирование. М.: ГРАНАЛ, 1993.-338 с.

38. Громов Г.Р. Национальные информационные ресурсы: проблемы229промышленной эксплуатации. М.: Наука, 1985. - 240 с.

39. Дал У.И. Языки для моделирования систем с дискретными событиями // В сб. "Языки программирования". М.: Мир, 1972, с. 344-401.

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

41. Дейкстра Э.В. Взаимодействие последовательных процессов // В кн. "Языки программирования". М.: Мир, 1972, с.9-86.

42. Долганюк Д.Д., Карповский Е.Я. Классификация задач и методов тестирования программ реального времени // УСиМ. 1985.№2, с. 57-62.

43. Доорс Дж., Рейблейн А.Р., Вадера С. Пролог язык программирования будущего. - М.: Финансы и статистика, 1990. - 144 с.

44. Драммонд М. Методы оценки и измерений дискретных вычислительных систем. М.: Мир, 1977. - 381 с.

45. Евстигнеев В.А. Применение теории графов в программировании. М.: Наука, 1985.-352 с.

46. Егоров Н.Б. Оболочка автоматизированных рабочих мест "ШАРМ" -простой и удобный объектно-ориентированный интерфейс работы с компьютером на русском языке. // Компьютерная хроника. 1993. №9, с. 11-12.

47. Единая система программной документации: ГОСТ 19.005-85. Р-схемы алгоритмов и программ. Обозначение графические и правила выполнения. М: Изд. стандартов, 1988. - 144 с.

48. Ермаков С.М. Метод Монте-Карло и смежные вопросы. М.: Наука, 1975.-472 с.

49. Ершов А.П., Ильин В.П. Пакеты программ как методология решения прикладных задач // Пакеты прикладных программ: Проблемы и перспективы. М.: Наука, 1982. с.4-18

50. Ефимова М.Н. Алгоритмические языки. М.: ? , 1965

51. Жуков О.М., Коварцев А.Н., Кузьмичев B.C. и др. Оценка конфигурации выходного устройства по критериям транспортной эффективности двигателя в системе JIA // ИВУЗ, сер. Авиационная техника. 1985, №1, с. 87-90

52. Закс Ш. Теория статистических выводов. М.: Мир, 1975. - 775 с.

53. Замулин A.B. Системы программирования баз данных и знаний. -Новосибирск: Наука, 1990. 352 с.

54. Зелковиц М., Шоу А., Гэннон Дж. Принципы разработки программного обеспечения. М.: Мир, 1982. - 368 с.

55. Иванов В.В. Методы вычислений на ЭВМ: Справочное пособие . Киев: Наук. Думка, 1986. - 584 с.

56. Иыуду К.А., Архипов М.М. Тестирование программы на основе минимального покрытия ее графа // УСиМ. 1985.№4, с.69-71.

57. Катков B.JL, Шимаров В.А. Статический анализ программы с помощью ее управляющего графа // УСиМ. 1986. №2, С.89-92.

58. Кинг А. Windows 95 изнутри.- СПб Литер, 1995. -512 с.

59. Кнут Д. Искусство программирования для ЭВМ. т.1: Основные алгоритмы. М.: Мир, 1976. - 736 с.

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

61. Ковалев А.Л., Дробушевич Л.Ф., Ленчик Е.П. Оценка топологической сложности графических программ и генерация маршрутов для их тестирования // УСиМ. 1990.№3, с. 11-16.

62. Коварцев А.Н. Численный метод определения многомерных областей для выбора оптимальных параметров авиационных ГТД с помощью ЭВМ // Сб.: Проектирование и доводка газотурбинных двигателей. Куйбышев, 1983, с. 3-10.

63. Коварцев А.Н. Автоматизация разработки и тестирования программных средств. Самар. гос. аэрокосм, ун-т., Самара, 1999. - 150 с.

64. Коварцев А.Н. Оценка критерия технического риска при выборе параметров рабочего процесса авиационного ГТД // Изв. вузов. Авиационная техника. №3. 1989, с. 56-59.

65. Коварцев А.Н. Оценка надежности проектных решений на стадии оптимизации параметров рабочего процесса. // В кн.: Современные проблемы авиационных ГТД. Тез. док. III Всесоюзной научн. техн. конф. -М., 1986, с. 78

66. Коварцев А.Н. Оценка надежности выбора проектных параметров сложных технических систем в системах принятия решений. // Тезисы докладов XIV Всесоюзного симпозиума "Логическое управление с использованием ЭВМ. Москва-Феодосия, 1991. с. 295-296

67. Коварцев А.Н. Численные методы: учебн. пособие, Самара, Самарский муниципальный комплекс непрерывного образования, 1997. 120 с.

68. Коварцев А.Н., Баландин A.B., Солдатова О.П. Концептуальные основы технологии графического программирования в системе GRAPH // XI Российский коллоквиум "Современный групповой анализ задачи мат. моделирования". Тезисы докладов. Самара, 1993, с.97

69. Коварцев А.Н., Баландин A.B., Солдатова О.П. Теоретические основы графо-символического программирования. // Сб. Научных трудов "Информационные системы и технологии", Самара, СГАУ, 1996, с. 148156.

70. Коварцев А.Н., Баландин A.B., Солдатова О.П. Технология графического программирования // Тезисы докладов науч-технич. конф. "Новые информационные технологии в ВИГ', Самара, СГАУ, 1993. с 89

71. Коварцев А.Н., Боргест Н.М. Применение средств автоматизации программирования при разработке диалоговой подсистемы "Выбор параметров ГТД". // Межвузовский сборник научн. трудов. "Применение ЭВМ в научных исследованиях. М., 1986, с.73-83.

72. Коварцев А.Н., Кораблин М.А., Шамашов М.А. Имитационное моделирование системы автоматизации эксперимента с использованиемэмуляторов полной конфигурации // УСиМ. 1979. №4, с. 124-128

73. Коварцев А.Н., Кудрин К.А. Интерфейс редактирования данных, основанный на многооконной технологии // Тез. докл. Науч.-тех. конф. "Методы и средства измерения механических параметров в системах контроля и управления" Пенза, 1994, с 40-41.

74. Коварцев А.Н., Кудрин К.А. Технология графо-символического программирования в системе GRAF. // Тр. Международной конференции "Математика. Компьютер. Образование" . М.: РИИС ФИАН, 1996, с.82

75. Коварцев А.Н., Кудрин К.А., Прохоров С.А. Система автоматизации программирования GRAF. // Тезисы Докладов науч-техн. конф. "Научно-исследовательские разработки и высокие технологии двойного применения". Самара. 1995, с.97-98

76. Коварцев А.Н., Кузьмичев B.C. Автоматизированный метод построения областей компромиссов в задачах выбора параметров рабочего процесса ГТД.- Куйбышев, 1980. Рук.деп. в ВИНИТИ 18 марта 1981. №1210-81

77. Коварцев А.Н., Кузьмичев B.C., Иванов A.M. Пакет прикладных программ приближения функций с помощью оптимальных сплайнов // УСиМ. 1986. №2, с. 109-111.

78. Коварцев А.Н., Кузьмичев B.C., Маслов В.Г. и др. Концепция построения и реализации гибкой САПР газотурбинных двигателей.- Куйбышев, 1988. Рук.деп. в ЦНИИТЭИ 27.09.88г №231ТМ88. 148с.

79. Коварцев А.Н., Кузьмичев B.C., Маслов В.Г. Моделирование процессов принятия решений при выборе параметров авиационных ГТД. // В кн.: Современные проблемы авиационных ГТД. Тез. док. III Всесоюзной научн. техн. конф. М., 1986, с. 54

80. Коварцев А.Н., Ломакин В.Б. Защита математической модели ГТД от программных прерываний с использованием ОС ЕС и адаптивного случайного поиска. Куйбышев, 1984. с. 58-65. - Рук.деп. в ВИНИТИ 18 марта 1983. №3378-83.

81. Коварцев А.Н., Ломакин В.Б., Архипов A.M., Маслов В.Г Реализация технологии модульного программирования инструментальной системы ТЕМП.- Куйбышев, 1989. Рук.деп. в ВИНИТИ №1961-В89 6с.

82. Коварцев А.Н., Ломакин В.Б., Христенко П.В. Основные принципы построения перспективных САПР ГТД. // Тезисы док. республ.науч.-техн. конф. "Информационное и математ. обеспеч. САПР"/ Днепропетровск, 1987.-с. 66-67.

83. Коварцев А.Н., Маслов В.Г. Математическая модель области рассеяния исходных проектных данных для выбора параметров авиационных ГТД в условиях неопределенности // В сб.: Проектирование и доводка ГТД. -Куйбышев. 1985, с.35-41.

84. Коварцев А.Н., Маслов В.Г. Оценивание технического риска на начальном этапе проектирования ГТД .-Куйбышев, 1988. Рук.деп. в ВИМИ 6 декабря 1988. № ДД1335. 67с.

85. Коварцев А.Н., Попов С.Г., Архипов A.M. Опыт использования СУБД КАРС при создании информационного обеспечения САПР. // Научно-практич. Международная конференция "Проблемы информатики". Тезисы доклада . Самара, 1991. с. 25-26.

86. Коварцев А.Н., Прохоров С.А., Баландин A.B., и др. Применение ГП-технологии в статистических измерениях и моделировании случайных сигналов.// Тезисы докладов. МНТК "Идентификация, измерение и имитация случайных сигналов.- Новосибирск, 1994. с. 131234

87. Коварцев А.Н., Прохоров С.А., Зеленко Л.С. Оценивание вероятностных характеристик НВР в системе GRAF. // Тезисы докладов науч-технич. конф. «Новые информационные технологии в ВШ», СГАУ, 1993. с 75-76

88. Коган Б.И. Экспериментальные исследования программ. М.: Наука, 1988. - 184 с.

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

90. Кораблин М.А. Конструирование динамических взаимодействий в объектно-ориентированных системах. // М.: АН СССР, Программирование. 1990. №6, с.97-102.

91. Кораблин М.А. Программирование, ориентированное на объекты: Учебное пособие / Самар. госуд. аэрокосм, ун-т.; Самара, 1994. 94 с.

92. Корячко В.П., Курейчик В.М., Норенков И.П. Теоретические основы САПР. М.: Энергоиздат, 1987. - 400 с.

93. Котов В.Е. Алгебра регулярных сетей Петри // Кибернетика. 1980. №5, с. 10-18.

94. Кудрин К.А., Коварцев А.Н., Прохоров С.А. Методы автоматизации отладки в технологии графо-символического программирования // Сборник научных трудов «Информационные системы и технологии», -Самара, 1996. с. 75-79.

95. Кузнецов О.П., Андерсон-Вельский Г.М. Дискретная математика для инженера. М.: Энергоатомиздат, 1988. - 480 с.

96. Кук Д., Бейз Г. Компьютерная математика. М.: Наука, 1990. 384 с.

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

98. Ларичев О.И. Наука и искусство принятия решений. М.: Наука, 1979. -200 с.

99. Лингер Р., Миллс X., Уитт В. Теория и практика структурного программирования. М.: Мир, 1982. - 406 с.

100. Липаев В.В. Надежность программных средств. М.: СИНТЕГ, 1998. -232 с.

101. Липаев B.B. Отладка сложных программ .Методы, средства, технология. -М.: Энергратомиздат, 1993. -384 с.

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

103. Липаев В.В. Документирование и управление конфигурацией программных средств. М.: СИНТЕГ, 1998. - 212 с.

104. Липаев В.В. Тестирование программ. М.:Радио и связь, 1986. -296 с.

105. Липаев В.В. Управление разработкой программных средств. -М.:Финансы и статистика, 1993. -160с.:ил.

106. Лотов A.B. Введение в зкономико-математическое моделирование.- М.: Наука, 1984.-394 с.

107. Майерс Г. Искусство тестирования программ :Пер. с англ. М. ¡Финансы и статистика, 1982. - 176 с.

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

109. Мац Э.Б., Тунаков А.П. Требования к современным математическим моделям газотурбинных двигателей // Изв. вузов Авиационная техника. -1981. №3, с. 63-65; 1982. №1, с. 99-102

110. Мак-Кракен Д., Дорн У. Численные методы и программирование на ФОРТРАНе.- М.: Мир, 1977. 585 с.

111. Малпас Дж. Реляционный язык Пролог и его применение. М.: Наука, 1990.-464 с.

112. Марков A.A. Теория алгорифмов. М.-Л.: Изд-во АН СССР. -375 с.

113. Марчук Г.И. Методы вычислительной математики. М.: Наука, 1980. -534 с.

114. Маслов В.Г., Кузьмичев B.C., Коварцев А.Н., Григорьев В.А. Теория и методы начальных этапов проектирования авиационных ГТД: Учебн. пособие. // Самара, Самар. гос. аэрокосм.ун-т, 1996. 147 с.

115. Мейер Б., Бодуэн К. Методы программирования: В 2-х томах. Т.1.- М.: Мир, 1982.-356 с.

116. Мейер Б., Бодуэн К. Методы программирования: В 2-х томах. Т.2.- М.: Мир, 1982. 368 с.

117. Минский М. Вычисления и автоматы.- М.: Мир. 1971

118. Моисеев H.H. Неформальные процедуры и автоматизация проектирования. М.: Знание, 1979. - 61 с.

119. Мс Carthy Recursive functhions of symbolic exprethions and their computation by machine, part. 1. "Communicathions of the Associations for Computing Machinery", 1960, V.3, N.4.

120. Нормативные и дискрептивные модели принятия решений. По материалам советско-американского семинара.- М.: Наука, 1984.- 350 с.

121. Орлов А.И. Устойчивость в социально-экономических моделях. М.: Наука, 1979. - 296 с.

122. Осин М.И. Методы автоматизированного проектирования летательных аппаратов.- М.: Машиностроение, 1984. 168 с.

123. Подиновский В.В., Ногин В.Д. Парето-оптимальные решения многокритериальных задач.- М.: Наука, 1982. 256 с.

124. Пойа Д. Математика и правдоподобные рассуждения. М.: Наука, 1975. -462 с.

125. Половко A.M. Основы теории надежности. М.: Наука, 1964. - 452 с.

126. Попырин JI.C. Математическое моделирование и оптимизация теплоинергетическихустановок. -М.: Энергия, 1978.-416с.

127. Поспелов Д.А. Ситуационное управление: теория и практика. М.: Наука, 1986. - 284 с.

128. Райфа Г. Анализ решений.- М.: Наука, 1977. 406 с.

129. Роджерс X. Теория рекурсивных функций и эффективная вычислимость. -М.: Наука, 1972.-289 с.

130. Сван Т. Программирование для Windows в Borland С++. М.: БИНОМ, 1995. -480 с.

131. Cea Ж. Оптимизация. Теория и алгоритмы.-М.: Мир, 1973.- 244 с.

132. Соболь И.М., Статников Р.Б. Выбор оптимальных параметров в задачах сомногими критериями. М.:Наука, 1981. - 112 с.

133. Советов Б.Я., Яковлев С.А. Моделирование систем. М.: Высшая школа, 1985.-271 с.

134. Современное состояние теории исследования операций. М.: Наука, 1979.- 464 с.

135. Статистические модели и многокритериальные задачи принятия решений. М.: Статистика, 1979.- 182 с.

136. Стерне Т., Стерне JI. Изучи сам Visual FoxPro 3.0. сегодня.- Минск: Попури, 1997. 420 с.

137. Столяров Г.К. Языки и функциональные возможности системы АСПИД-3 // Алгоритмы и организация решений экономических задач. М.: Статистика. 1979. Вып. 3, с. 131-158.

138. Тейер Т., Липов М., Нельсон Э. Надежность программного обеспечения . -М.: Мир, 1981.-326 с.

139. Торопов Д.И. О построении тестирующих маршрутов программы // УСиМ. 1987.№5, с.74-76.

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

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

142. Тыугу Э.Х. Решение задач на вычислительных моделях // Журн.вычислит. матем. и матем. физики. 1970. №3, с.716-730.

143. Успенский В.А., Семенов А.Л. Теория алгоритмов: основные открытия и приложения. М.: Наука, 1987. - 288 с.

144. Харари Ф., Палмер Э. Перечисление графов. М.: Мир, 1977. - 324 с.

145. Хемминг Р.В. Численные методы.- М.: Наука, 1972.- 400 с.

146. Цейтлин Г.Е., Ющенко Е.Л. Многоуровневое структурное проектирование программ (ретроспектива, состояние, перспектива) // Кибернетика. 1988. №4, с. 34-41

147. Цифровая имитация автоматизированных систем // Болтянский A.A., Виттих В.А., Кораблин М.А., Куклин Т.Н., Сидоров A.A., Шамашов М.А.-М.: Наука, 1983.-287 с.

148. Численное решение дифференциальных уравнений: Методические указания // Коварцев А.Н., Солдатова О.П., Самара, Самарский государственный аэрокосмический университет, 1994. 11 с.

149. Шаракшанэ А.С., Шахин В.П., Халецкий А.К. Испытания программ сложных автоматизированных систем. М.: Высшая школа, 1982. - 192 с.

150. Шимаров В.А. Об одном методе тестирования программы на основе минимального прокрытая ее графа // УСиМ. 1988.№5, с.51-52.

151. Шлеер С., Меллор С. Объектно-ориентированный анализ: моделирование мира в состояниях.- Киев: Диалектика, 1993. 240 с.

152. Штрик A. CASE: автоматизированное проектирование программного обеспечения // Монитор. 1992. №4, с. 4-6.

153. Штрик А.А. Технологии и инструментальные средства создания программного обеспечения: состояние и перспективы // Программные продукты и системы. №2. 1991, с. 49-54

154. Глушков В.М. и др. АНАЛИТИК (алгоритмический язык для описания вычислительных процессов с использованием аналитических преобразований) // "Кибернетика". 1971. №3, с8-16.

155. Brachman R. J. What IS-A Is and Isn't: An Analysis of Taxonomic Links in Semantic Networks. Computer 16:10, 1983, pp. 30-36.

156. Cardelli L, Wegner P. On undestanding types, data abstraction and polymorphism // Computing Surveys. 1985. - Vol. 17, N 4. - P. 471-522.

157. Dijkstra E.W. Hierarchical ordering of sequential processes. Informatica, 1971, v.l, №2, p.l 15-138.

158. Dijkstra E.W. The Humble Programmer (ACM Turing Awars Lecture). CommACM, Oct.1972. P.859-866.

159. Glushkov V.M., Ignatiev M.B., Miasnikov V.A., Torgashev V.A. Recursive machines and computing technology: Proc. IFIP Congress 74, North-Holland Publ., Co., Amsterdam, 1974.

160. Hansen P.B. Operating system principles. Prentice-Hall, 1973.

161. Hoare C.A.R. Quicksort; CompJ, 5, p. 10-15, 1962239

162. Kleene S.C., Post E.L. The upper semi-lattice of degrees of recursive unsolvabilite // Anals of mathematics. Ser. 2. 1954.-V.59, №3. -P 379-407.

163. Liskov B., Atkinson R., Bloom T. e.a. CLU Reference Manual // Lecture Notes in Comp. Sci.- 1981.- Vol. 114

164. Martin J. , Murch R. Application development without programmers .- In Savant Inst, seminar documentation by J. Martin. Carnfoth: Savant Res. Studies, 1981

165. McCabe T.J. A complexity measure // IEEE Transactions on Software Engineering, - V9, 1976. - N4, - pp. 308-320

166. Parnas P. L. On Crireria to Be Used in Decomposing System into Modules // Comm. ACM. 1972. - Voi. 15, № 12. - P. 1053-1058.

167. Wegner P. Notes on object-oriented programming. Dansk Datamatic Center, May 1987

168. Williams T. CASE-tool adds dinamic simulation of requirements analysis. // Computer Desing, 1991. N1, p 40-44

169. Yourdon E. The Texas instruments vision of CASE. American programmer, Aprial 1990, v. 3,pp. 1-7

170. Gruenberger F. Program testing and validation // DATAMATION,1968,14, pp 39-471. Рис. П. 1.1242

171. Агрегат «Нет успеха», обеспечивающий изменение размеров области поиска, если пробные точки не улучшают значение1. Р1=0,1. N£NN0/1.5;1. (№ек>1.5-МО-Ми&р) && (П=1. && (1|2. Швк>1 ЯхИП-Мизр3. Шек>Ы04. Истина

172. Актор сжатия области поиска1. Рис. П. 1.3

173. Агрегат "Нет успеха" сжимает область поиска, при этом в зависимости от ситуации изменяются параметры (Мшр, N0, 81Ьаг, 8кек, №ек).244