48955

Автор(ы): 

Автор(ов): 

1

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

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

Доклад

Название: 

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

ISBN/ISSN: 

978-5-91450-219-2

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

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

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

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

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

Т.2

Город: 

  • Москва

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

  • ИПУ РАН

Год издания: 

2018

Страницы: 

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

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

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