Глава 16. Надёжность программного обеспечения

Исследования в области программной надёжности находятся на начальном этапе своего развития.

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

Программная надёжность изделия проявляется при совместной работе аппаратуры и программы. Она характеризует способность изделия выполнять заданные функции при условии, что программа будет находиться в том или другом состоянии.

Надёжность программного обеспечения характеризует качественное состояние программы. Её иногда называют Правильностью программы, Корректностью программы, Надёжностью программы.

Программная надёжность объекта - это то, что интересует его потребителя. Для её обеспечения необходимо, чтобы программа была “правильной”, “корректной”, “надёжной”, т. е. чтобы она не содержала ошибок. Может оказаться, что некоторые из ошибок совсем не проявятся при работе объекта или, наоборот, при работе объекта обнаружатся дополнительные несовершенства (“ошибки”) программы. Однако очевидно, что необходимым условием надёжной работы объекта является “корректность” программ, т. е. отсутствие в них ошибок.

Программная надёжность становится особо актуальной, когда программы являются самостоятельным изделием. В этом случае они изготовляются, проверяются и подвергаются приёмосдаточным испытаниям так же, как обычные объекты.

Положения о двух сторонах надёжности программного обеспечения полезно иметь в виду при исследовании надёжности программно-управляемых объектов.

< Предыдущая		Следующая >