УДК: 004.41

Сертификация программных продуктов для управляющих систем

В. В. Липаев, д-p техн. наук, проф., гл. науч. сотр., Институт системного программирования PАН, e-mail: alexlip@mail.ru

Изложены методические основы обеспечения качества производства и сертификации программных продуктов для управляющих систем. Представлены два метода обеспечения гарантий качества таких комплексов программ: сертификация технологических процессов производства и сертификация готовых программных продуктов. Для каждого метода представлены структуры процедур и содержания документов при проектировании, а также при производстве сложных программных продуктов и их сертификации.

Ключевые слова: сертификация, программные продукты, качество программ, производство и испытания программ, документирование процессов и результатов сертификации

Стр. 2–11