Тема 1.Семантическая теория программ
- Вопрос4.Краткое описание (не более 12 предложений) операционной семантики
Краткое описание (не более 12 предложений) операционной семантики
Операционная семантика – трактовка семантики языков программирования, в рамках которой используется концепция «абстрактной машины», характеризуемой своим состоянием и несколькими элементарными командами, которые она способна выполнять. Абстрактная машина определяется путем указания, каким образом компоненты состояния изменяются под воздействием каждой из команд. При этом не предполагается, что абстрактная машина должна быть моделью реальной машины. Просто имеется в виду некоторый упрощенный ее вариант с тем, чтобы язык мог быть определен однозначно и не было никаких неоднозначностей в интерпретации примитивных команд и кодов операций. Семантическое описания языка программирования определяет правила перевода его выражений на язык кодов операций. В отличие от денотационной семантики, в операционной семантике нет гарантий того, что смысл всей программы будет определен смыслом ее частей. Примером такой семантики является способ описания возможностей языка ПЛ/1 и использованием определений Виена
Тема 2.Схемы программ, методы формальной спецификации и верификации.
Вопрос5. Что такое верификация
Проблема верификации затрагивает ряд вопросов. Возможно, наиболее важным из них является вопрос о правильности вычисленных решений. Другой вопрос: все ли правильные решения задачи действительно вычисляются исходя из программы?
Верификация — это процесс доказательства того, что программа удовлетворяет или не удовлетворяет требованиям такого рода.
Верификация программы предполагает анализ ее текста. При тестировании происходит наблюдение за процессом вычисления. В процессе верификации анализируется текст программы, и делается вывод по поводу описываемого программой набора вычислений.
Базовой задачей верификации является анализ текста программы, не содержащей ветвлений
Тема 3. Модели вычислительных процессов
Вопрс1.Определение вычислительного процесса
Процесс (или по-другому, задача) - абстракция, описывающая выполняющуюся программу. Для операционной системы процесс представляет собой единицу работы, заявку на потребление системных ресурсов. Подсистема управления процессами планирует выполнение процессов, то есть распределяет процессорное время между несколькими одновременно существующими в системе процессами, а также занимается созданием и уничтожением процессов, обеспечивает процессы необходимыми системными ресурсами, поддерживает взаимодействие между процессами
Процесс – последовательность предусмотренных событий, определяемая объектом или явлением и выполняющаяся в определенных условиях; течение событий, происходящих в соответствии с намеченной целью или результатом.
Процесс – некоторая последовательность действий, составляющая задачу. Процесс определяется упорядоченным набором машинных команд, реализующих действия, которые должны предприниматься процессом (абсолютным модулем); содержимым рабочей области памяти (набором данных, которые этот процесс может считывать, записывать, использовать); дескриптором процесса (описывающим текущее состояние любого выделенного ему ресурса).