63. Структура программы на ассемблере. Формы Бэкуса-Наура.

Структура программы на Ассемблере.

1. Синтаксис Ассемблера.

Предложение ассемблера существует четырёх типов:

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

2. Микрокоманды, оформляемые определенным образом предложения текста программы, замещаемые во время компиляции.

3. Директивы. Являются указаниями компилятору не выполнение тех или иных действий. Нет аналогов в машинном представлении.

4. Строки комментариев.

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

1. Прямоугольник - имена, процедуры и операнды.

2. Кружок - знаки препинания (разделители).

Синтаксическая диаграмма позволяет представить программу в виде нескольких иерархических уровней.

При этом каждый блок этой структуры может быть представлен в виде подобной синтаксической диаграммы. Блоки синтаксической диаграммы соединяются с помощью направленных дуг. Если существует путь в предложениях соответствующих данным дугам, то такие предложения считаются корректными. Форма Бэкуса Наура совпадает с диаграммой команды с тем отличием что вместо команды появляется Мнемоника макроопределения, а имя метки соответствует адресу первого байта макрокоманды который может состоять из нескольких команд Assembler-a.

Формы Бэкуса-Ноура или синтаксические диаграммы, которые применяются для описания структуры предложений.

В состав данных форм входят следующие элементы:

1. элемент синтаксической разметки, изображаемый в виде окружности, в которой изображён знак пунктуации;

2. мнемоника - команды, операнды, директивы и др.; изображаются в виде прямоугольника;

3. дуги, показывающие порядок следования элементов первого и второго типов в предложении. Синтаксическая диаграмма является ориентированным графом, сетью, у которой один вход и один выход. Возможны циклы. Синтаксическая диаграмма является корректной, если существует путь из начальной точки в конечную. В противном случае предложение компилятора будет отвергнуто. Использование формы Бэкуса-Ноура предполагает механизмы, композиции (объединение фрагментов структур в неделимые блоки, структуры более высокого уровня) и d-композиции.

64. Таксономия гарантоспособности.

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

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

Надежность характеризуется вероятностью безотказной работы (ВБР). ВБР является функцией от времени Р(t)<=1.Вероятность отказа Q(t)=1-p(t).

Готовность: K_r=T р./ Т р. + Т в. (Т р.- время работы, Т р. + Т в.- время восстановления после отказа).

О шибка – действующая неисправность.

Особенностью определения надежности является то, что величина внесенных неисправностей - величина не наблюдаемая.