Ббк 32. 973-018 г рецензент канд физ мат наук, Ф. А. Мурзин

Варианты ответов:

1. 
   Основные методы обработки программы при отладке:
   
   • 
     интерпретация текста программы, приводящая к результату еѐ выполнения;
     
   • 
     интерпретация структуры программы, приводящая к результату еѐ выполнения;
     
   • 
     компиляция текста программы, приводящая к коду программы, выполнение которого дает результат;
     
   • 
     сборка кода программы из готовых типовых компонентов;
     
   • 
     редактирование заранее подготовленных шаблонов;
     
   • 
     генерация кода по верифицированной спецификации цели программы.
     

⁶ Операторы управления, процедуры, макросы и т. п. рассматриваются как отдельные категории функций – укрупнение действий.

2. 
   Результативную активность программы показывает:
   
   • 
     изменение состояния отдельных элементов памяти;
     
   • 
     вычисление значения выражения;
     
   • 
     протокол обмена данными между программой и пользователем;
     
   • 
     изображение хода вычислений в виде диаграммы.
     

3. 
   Решение о продолжении незавершѐнных вычислений принимается на основе:
   
   • 
     наблюдения за обработкой прерываний;
     
   • 
     получения диагностических сообщений;
     
   • 
     анализа результатов повторного прогона программы;
     
   • 
     подготовки обработчиков прерываний.
     

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

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

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

• 
  список общих понятий показывает уровень сопоставимости сравниваемых ЯП;
  
• 
  АС позволяет оценить глубину проработки используемых понятий;
  
• 
  АМ показывает масштаб переносимости СП;
  
• 
  РП дает оценку трудоѐмкости реализации СП;
  
• 
  схема интерпретации или компиляции ЯП – даѐт показатель организованности процесса вычислений;
  
• 
  примеры программ решения типовых задач для иллюстрации концепции ЯП позволяют продемонстрировать парадигматические вариации в решении типовых задач.
  

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

2. 
   Определитель парадигм
   

Первые языки программирования обладали машинной ориентированностью и поддерживали принципиально важную, но небольшую по длительности и трудозатратам часть ЖЦП – от 2-х до 5 %, заключающуюся в кодировании готовых алгоритмов в терминах автоматов. Появление ЯВУ расширило языковое покрытие ЖЦП примерно до 10 % для хорошо поставленных задач, имеющих алгоритмы решения над типовыми структурами данных, причѐм алгоритмы приспособлены для нисходящих методик программирования.
Парадигма функционального программирования посягнула на ЖЦП для задач с исследовательским компонентом и расширила его языковое покрытие до 50 % благодаря механизмам хранения и накопления информации о свойствах информационных объектов, полезной при отладке и модификации программ, составленных из небольших универсальных компонент, допускающих как нисходящую, так и восходящую методику разработки.
Логическое программирование распространило эти механизмы на не вполне определенные постановки задач, что дало языковую поддержку предварительному сбору фактического материала, созданию демонстрационных версий, пробному прототипированию, отчасти тестированию и довело общее языковое покрытие ЖЦП почти до 60 % при восходящей методике разработки.
Появление объектно-ориентированного программирования смягчило итеративность ЖЦП для задач, связанных с развивающимися областями приложения, что довело языковое покрытие примерно до 80 %.
Определитель парадигмы языка программирования содержит следующие процедуры:

• 
  разложение языка на фрагменты по уровням/концентрам и слоям с целью выделения базовых средств языка и его реализационного ядра – семантический базис;
  
• 
  декомпозиция семантического базиса языка на основные семантические системы с минимизацией их сложности и, возможно, их описание относительно концептуальных языков;
  
• 
  определение АМ языка и интерпретатора, формально достаточного для построения расширений, эквивалентных исходному языку – нормализованное определение;
  
• 
  сравнение полученного определения с описаниями известных парадигм и концептуальных языков;
  
• 
  сбоснование выводов относительно парадигмы исследуемого языка;
  
• 
  фразеологический словарь ПП, используемый при определении ЯП;
  
• 
  определение уровня языка и его ниши в жизненном цикле программ и деятельности программистов (цели и задачи), базовых языков, использованных при его создании и реализации, как основы для рекомендаций по выбору и применению ЯП и его СП.
  

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

Т а б л и ц а 1 1