Составители:
сопровождаясь при этом оценками его качества, позволяющими определить
достаточность принятых показателей, отвечающих нормам качества.
2. За счет придания ПО свойств самоконтроля и самозащиты
обеспечивается:
• дополнительный контроль системы, осуществляемый параллельно с
программно-аппаратным контролем аппаратуры системы;
• существенно уменьшаются вероятности неконтролируемых
аппаратных и программных отказов и сбоев системы, неопределенные
ситуации в ней переводятся в разряд контролируемых;
• повышается надежность системы за счет использования
дополнительного контроля в управлении (автоматическом и ручном).
Надежность ПО определяется вероятностью возникновения ошибок,
связанных с дефектами ПО.
При оценке качества ПО учитываются показатели, способствующие
устранению последствий неисправностей в аппаратуре и программах, а также
ошибок оператора. Оценки качества ПО получаются достаточно полными, если
определяется как мера возможных нарушений, так и эффективность средств
противодействия им.
Для оценки качества ПО используются показатели защищенности от
ошибок (уровень самоконтроля и защиты ПО от аппаратных и программных
дефектов и ошибок).
Обеспечение надежности и качества ПО является доминирующей,
ключевой задачей технологии программирования.
В процессе отладки и испытаний ПО осуществляется его верификация,
т.е. подтверждение его корректности и отработанности, которая включает:
• оценку и обеспечение нормативного времени комплексной отладки
(КО) и испытаний ПО в составе системы управления на стенде или объекте;
• оценку критерия достаточности отработки, тестирования ПО на стенде
(перед поставкой на объект);
• проверку при испытаниях на стенде контролируемых показателей ПО,
определяющих его надежность и качество;
• оценку и обеспечение требуемого времени сопровождения ПО при
эксплуатации [11].
Надежность ПО встроенных систем соизмерима с надежностью их
аппаратуры при условии, что автономная отладка и тестирование ПО при
испытаниях в составе системы были достаточно полными. Надежность ПО
может оказаться недостаточной, если:
Страницы
- « первая
- ‹ предыдущая
- …
- 81
- 82
- 83
- 84
- 85
- …
- следующая ›
- последняя »