Микропроцессорные системы. Архитектура и проектирование. Анкудинов И.Г. - 97 стр.

UptoLike

Составители:

Рубрика:

описание обычно дается в повествовательно-формальном изложении, цель

которого – обосновать без лишних подробностей процедуру, предлагаемую в

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

широко применяются графические средства: графы, блок-схемы, сети.

Формальное и полное описание алгоритмов осуществляется на специально

разработанных алгоритмических языках (BASIC, FORTRAN, PASCAL и др.);

оно содержит всю необходимую для реализации алгоритма информацию, но не

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

машин.

Логика доказательства правильности алгоритмов и программ

Цель данного раздела – познакомить читателя с принципами

верификации (доказательства правильности) алгоритмов и программ [13]. В

основе верификации программ (алгоритмов) – анализ действия программ

(алгоритмов) над данными. Для каждого исходного состояния данных X, для

которого выполнение завершается, результирующее состояние данных Y

является определенным. Это значение Y единственно для данного X, поэтому

множество всех упорядоченных пар (X,Y) определяет функцию, которую будем

называть программной функцией.

Мы будем использовать символьные вычисления, чтобы получить

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

Программную функцию f для простой программы P обозначим через [P] и

определим выражением

[P]={(X,Y)⎥ Y=f(X)},

где X - состояние поля данных до выполнения P,

Y - состояние поля данных после выполнения P,

{(X,Y) ⎥ Y=f(X)} - множество пар (X,Y) таких, что Y=f(X).

Тестирование и отладка программных средств

Разработка и автономная отладка программных средств МПС может

производиться на больших ЭВМ, миниЭВМ или микроЭВМ, система команд

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

Кроме того, при отладке программ может отсутствовать внешняя среда

микропроцессорной системы, ее также необходимо моделировать. Отладка

программ МПС проводится, как правило, на тех же ЭВМ, на которых велась