ГОСТ Р МЭК 60880—2010
Т а 6 я и ц a B.2f — Арифметические выражения
ПунктРекомендация
Позволяет избежать/позволяет добиться
B.2fПо возможности, вместо сложных арифметических
выражений необходимо использовать простые
Побочных эффектов / простоты тести
рования
B.2faРешения не должны зависеть от громоздких ариф
метических расчете»
1
нахождения реверсивных формул рас
чета функций
B.2fb Следует использовать по возможности упрощенные,
ранее верифицированные арифметические выраже
ния
/упрощения демонстрации соответ
ствия между реализуемой функцией и
ее кодом
B.2fcЕсли используются громоздкие арифметические / облегчения анализа программы
выражения, то ихследует кодировать таким образом,
чтобы по коду можно былолегко показать их соответ
ствие определенному арифметическому выражению
В.З Самоконтроль
Т а б л и ц а
В.За — Проверки достоверности
Пункт
Рекомендация
Позволяет избежать/позволяет добиться
В.За
Необходимо проводить проверки достоверности
(страхующее программирование)
Возможных оставшихся дефектов/
В.Заа
Правильность илидостоверность промежуточных ре
зультатов следует периодически проверять
Возможных оставшихся дефектов/
В.ЗаЬ
Следует проверять области изменения:
- входных переменных;
- выходных переменных:
- промежуточных параметров, включая проверку гра
ницы массива
Возможных оставшихся дефектов/
В.Зас
Отрицательные результаты проверки достоверности
должны фиксироваться
/ диагностики возможных оставшихся
дефектов
Т а б л и ц а
В.ЗЬ — Безопасная выходная информация
Пункт
Рекомендация
Позволяет избежать/позволяет добиться
В.ЗЬ
Если обнаружена неисправность, то система долж
на выдавать четко определенную выходную инфор
мацию
Распространения дефектов / безотказ
ной работы
В.ЗЬа
Если можно, то следует использовать методы пол
ного и корректного устранения ошибок
Поломки системы из-за мелких
отказов /
В.ЗЬЬ
Если используются методы устранения ошибок, то не
обходимо фиксировать появление любой ошибки
Накопления ошибох / раннего устране
ния ошибок
В.ЗЬс
Необходимо регистрировать появление постоянных
ошибок, влияющих на функционирование системы
Накопления ошибох / раннего устране
ния ошибок
53