Подробное описание документа

   Валидация на системном уровне. Высокоуровневое моделирование и управление тестированием / Чэнь М., Цинь К., Ку Хеон-Мо, Мишра П. ; пер. с англ. Махиянова Е. Б. ; ред. пер. Ланцев А. Н. - М. : Техносфера, 2014. - 294 с. : ил. - (Мир радиоэлектроники). - Библиогр. в конце глав. - ISBN 978-5-94836-365-3.

Аннотация

В этой книге описываются методы высокоуровневого моделирования и валидации комплексных систем аппаратных средств и программного обеспечения, включая архитектуры с многоядерными процессорами. Читатели узнают, как избежать затрат времени и ошибок при всесторонней системной валидации, в том числе при моделировании систем и их отказов, а также об автоматической генерации специализированных тестов и эффективных методиках валидации с использованием подобных тестов и подтверждения работоспособности систем. Методологии, описанные в этой книге, помогут разработчикам улучшить качество валидации благодаря выполнению тестов на ранних стадиях проектирования при одновременном снижении стоимости этих процессов и усилий, направленных на валидацию систем в целом.
Эта книга предназначена для студентов старших курсов, аспирантов, исследователей, разработчиков инструментов САПР, проектировщиков и менеджеров, заинтересованных в развитии эффективных инструментов и методов проектирования и валидации на системном уровне, генерации направленных тестов и функциональной валидации гетерогенных конструкций СнК.

УДК

004.415.53:519.876

Предметные рубрики

• Системы, теория
• Программное обеспечение ЭВМ прикладное - Качество

Общее кол-во в фондах

1 экз.

1. Преподавательский абонемент ауд.305л, УЛК, ауд. 305л
2. Читальный зал ауд.305л, УЛК, ауд. 305л