Технология программирования. - 55 стр.

UptoLike

Рубрика:

- 57 -

11.2. Меры по обеспечению точности ПС

Обеспечение этого примитива связано с действиями над данными веществен-

ных типов, т.е. над данными, представленными с некоторой погрешностью. Дос-

тижение требуемой точности при вычислении значения некоторой функции озна-

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

ных границ. Полная погрешность или погрешность

вычисленного значения зави-

сит от [1]:

– погрешности используемого метода вычисления, включая неточность ис-

пользуемой модели;

– погрешности представления данных (неустранимая погрешность);

– погрешности округления.

11.3. Меры по обеспечению автономности ПС

Вопрос обеспечения автономности ПС решается в следующем ключе: можно

ли использовать в разрабатываемом ПС какое-либо подходящее базовое ПО. Если

надёжность используемого базового

ПО не отвечает требованиям по надёжности

разрабатываемого ПС, от применения такого ПО отказываются, а его функции в

нужном объёме реализуют внутри разрабатываемого ПС.

11.4. Меры по обеспечению устойчивости ПС

Данный примитив качества обеспечивается в рамках защитного программи-

рования. Используют защитное программирование при программировании модуля

для повышения надёжности ПС. По Майерсу [6] защитное

программирование ос-

новано на следующей предпосылке: худшее, что может сделать ПМ, это получить

неправильные входные данные и выдать неверный, но правдоподобный результат.

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

данных. Проверяется их корректность и соответствие спецификации ПМ. Если

проверка даёт отрицательный результат, активизируется соответствующая исклю-

чительная

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

второго рода или обработчиками ситуаций, включаемыми в конец модуля. Обра-

ботчики кроме выдачи диагностических сообщений могут инициировать меры по