В этой книге описываются методы высокоуровневого моделирования и валидации комплексных систем аппаратных средств и программного обеспечения, включая архитектуры с многоядерными процессорами.
Читатели узнают, как избежать затрат времени и ошибок при всесторонней системной валидации, в том числе при моделировании систем и их отказов, а также об автоматической генерации специализированных тестов и эффективных методиках валидации с использованием подобных тестов и подтверждения работоспособности систем. Методологии, описанные в этой книге, помогут разработчикам улучшить качество валидации благодаря выполнению тестов на ранних стадиях проектирования при одновременном снижении стоимости этих процессов и усилий, направленных на валидацию систем в целом.
Эта книга предназначена для студентов старших курсов, аспирантов, исследователей, разработчиков инструментов САПР, проектировщиков и менеджеров, заинтересованных в развитии эффективных инструментов и методов проектирования и валидации на системном уровне, генерации направленных тестов и функциональной валидации гетерогенных конструкций СнК.
Читатели узнают, как избежать затрат времени и ошибок при всесторонней системной валидации, в том числе при моделировании систем и их отказов, а также об автоматической генерации специализированных тестов и эффективных методиках валидации с использованием подобных тестов и подтверждения работоспособности систем. Методологии, описанные в этой книге, помогут разработчикам улучшить качество валидации благодаря выполнению тестов на ранних стадиях проектирования при одновременном снижении стоимости этих процессов и усилий, направленных на валидацию систем в целом.
Эта книга предназначена для студентов старших курсов, аспирантов, исследователей, разработчиков инструментов САПР, проектировщиков и менеджеров, заинтересованных в развитии эффективных инструментов и методов проектирования и валидации на системном уровне, генерации направленных тестов и функциональной валидации гетерогенных конструкций СнК.
| Вес: | 560 |
| Ширина упаковки: | 245 |
| Высота упаковки: | 15 |
| Глубина упаковки: | 175 |
| crossborder: | false |
| Серия: | Мир радиоэлектроники |
| Издательство: | Техносфера |
| Редактор: | Ланцев А. Н. |
| Переводчик: | Махиянова Евгения Б. |
| Тираж: | 750 |
| Мелованная бумага: | false |
| Цветные иллюстрации: | false |
| Размер упаковки (Длина х Ширина х Высота), см: | 24,5 х 17,5 х 1,5 |
| Название: | Валидация на системном уровне. Высокоуровневое моделирование и управление тестированием |
| Тип издания: | Отдельное издание |
| Признак 18+: | false |
| Основной жанр книги: | Научная литература |
| Тип книги: | Печатная книга |
| Тип обложки: | Твердый переплет |
| Тип носителя: | Печатная книга |
| Эпоха публикации: | Современные издания |
| ebsmstock: | false |
Frame $60% в наличии