Geum.ru

Верификация и аттестация программного обеспечения

Реферат - Компьютеры, программирование

Другие рефераты по предмету Компьютеры, программирование

?ако, как правило, невозможно определить это поведение в виде простых ограничений, контролируемых системой.

Конечным пользователям очень сложно проверить защищенность системы. Поэтому в Европе выработаны системы критериев оценки защищенности, которые контролируются специально обученными экспертами. Поставщики готового ПО могут предоставить на рассмотрение свои конечные продукты для оценки и сертификации по различным критериям защищенности.

Верификация и аттестация должны стать обязательными шагами в разработке ПО, пусть даже самого простого. Каждая компания, производящая ПО, должна создать штат сотрудников, которые будут заниматься только верификацией и аттестацией: это инженеры-тестеры, инженеры-испекторы и др. Организации должны учитывать экономическую обстановку на рынке ПО, желания пользователей (уже было отмечено, что требовательность пользователей к ПО растет).

Если соблюдать все эти требования, то, скорее всего, наступит день, когда нас будут окружать системы, работающие без сбоев.

 

 

 

 

 

 

 

 

 

 

Литература.

  1. Соммервилл И. Инженерия программного обеспечения, 6-е издание.: Пер. с англ. М.: Издат. Дом. Вильямс, 2002. 624 с.: ил.
  2. А.Г. Гейн, В.Г. Житомирский. Основы информатики и вычислительной техники: проб. Учеб. Для 10-11 кл. сред. шк. 3-е изд. М.: Просвещение, 1993. 254 с.: ил.
  3. Ю. Г. Карпов. Теория автоматов. Спб.: Питер, 2002 224 с.: ил.
  4. Электронный Архив для инженеров программного обеспечения.
  5. Software Engineering Questions and Answers.
  6. Ресурсы сервера Института Инженерии Программного Обеспечения Карнеги Меллона (Carnegie Mellon Software Engineering Institute).
  7. SybaseDevel.Ru русский портал для разработчиков.