49466

Автор(ы): 

Автор(ов): 

1

Параметры публикации

Тип публикации: 

Доклад

Название: 

ВЕРИФИКАЦИЯ И ОБЕСПЕЧЕНИЕ КАЧЕСТВА ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ ДЛЯ АТОМНОЙ ЭНЕРГЕТИКИ

ISBN/ISSN: 

978-5-91450-224-6

Наименование конференции: 

  • 11-я Международная конференция «Управление развитием крупномасштабных систем» (MLSD'2018, Москва)

Наименование источника: 

  • Труды 11-й Международной конференции «Управление развитием крупномасштабных систем» (MLSD'2018, Москва)

Обозначение и номер тома: 

Т. 2

Город: 

  • Москва

Издательство: 

  • ИПУ РАН

Год издания: 

2018

Страницы: 

447-451
Аннотация
Увеличение значимости обеспечения качества программного обеспечения для систем с повышенным риском эксплуатации связано с возрастающей сложностью и функциональностью программного обеспечения в системах важных для безопасности. В статье рассматриваются: возможные последствия, связанные с нарушениями технологического процесса разработки программного обеспечения; пути достижения требуемого качества программного обеспечения на основе верификации и валидации программного обеспечения на всех этапах жизненного цикла; подходы к определению качества, методики обоснования качества программного обеспечения, модели анализа требований к системам в части программного обеспечения. Все приведенные аспекты проведения работ по анализу программного обеспечения для систем, важных для безопасности АЭС в части оценки качества программного обеспечения используются при разработке систем важных для безопасности автоматизированных систем управления технологическим процессом.

Библиографическая ссылка: 

Жарко Е.Ф. ВЕРИФИКАЦИЯ И ОБЕСПЕЧЕНИЕ КАЧЕСТВА ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ ДЛЯ АТОМНОЙ ЭНЕРГЕТИКИ / Труды 11-й Международной конференции «Управление развитием крупномасштабных систем» (MLSD'2018, Москва). М.: ИПУ РАН, 2018. Т. 2. С. 447-451.