Валидация на системном уровне. Высокоуровневое моделирование и управление тестированием

Чэнь М.

в наличии

Цена со скидкой 20% в интернет-магазине: 735,20 руб.

ISBN: 978-5-94836-365-3
Внешнее покрытие издания: в пер.
Тираж издания: 750
Фамилия автора в заголовке: Чэнь
Инициалы автора (личного имени (имен)): М.
Код отношений (роль соавтора в издании): 070 Автор
Основное заглавие: Валидация на системном уровне. Высокоуровневое моделирование и управление тестированием
Первые сведения об ответственности: М. Чэнь, Ксяоке Цинь, Хеон-Мо Ку и др.
Последующие сведения об ответственности: [пер. с англ. Е. Б. Махияновой ; под ред. А. Н. Ланцева]
Место издания: Москва
Издатель: Техносфера
Дата издания: 2014
Объем издания (количество страниц): 294
Высота, см.: 25
Полная форма имени (имен) и отчества: Минсон
Заглавие серии: Мир радиоэлектроники
Индекс УДК: 004.415.5
Статус записи (Тип информации): В наличии
Ширина, см: 17,5
Толщина, см: 1,5
Вес в граммах: 555
Индекс ББК: 32.973
Артикул: 2566401

Описание

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