Модель LaPadula

Модели надежности ПО

Надежность программного обеспечения является важным и естественным требованием, предъявляемым к качеству разрабатываемых программных систем (ПС). Теория надежности программного обеспеченияразработана достаточно глубоко, поэтому при иссле¬довании надежности ПО большинство методов используют идеи теории надежности техничес¬ких средств. Это позволяет не только оценивать, но и про-гнозировать надежность программных продуктов (ПП).
Работоспособное состояние ПС – это такое состояние ПС, при котором она способна выполнять заданные функции с па¬раметрами, установленными требованиями, которые указаны в техническом задании. С переходом в неработоспособное состояние связано событие отказа. Причиной отказа ПС является невозможность его полной проверки в процессе тестирования и испытаний. При эксплуатации ПС в реальных условиях может возникнуть такая комбинация входных данных, которая вызовет от¬каз. Это означает, что работоспособность ПС зави¬сит от входных данных, и чем меньше ...

1. http://studopedia.org/1-29142.html
2. http://bsenc.ru/274/1217565-model-bella-lapadula.html
3. http://www.moluch.ru/archive/83/15117/