Информация о книге

978-5-94836-365-3, 978-1-4614-1358-5

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

К. Ц., М. Ч., П. М., Х.-М. К., Валидация на системном уровне. Высокоуровневое моделирование и управление тестированием


серия: Мир радиоэлектроники
Техносфера, 2014 г., 296 стр., 978-5-94836-365-3, 978-1-4614-1358-5


Наличие в интернет-магазинах

Магазинов: 4, Цена: от 532 руб. посмотреть все

Описание книги

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

Купить эту книгу можно в интернет-магазинах

  My-Shop - 532 руб.   Book24 - 969 руб.   Буквоед - 969 руб.   Читай-Город - 969 руб.
  Страница товара выбранного интернет-магазина откроется в новом табе

Поделиться ссылкой на книгу




Об авторе


Последние поступления в рубрике "Тематика определяется"



Математика. Подготовка к ЕГЭ. Задачи с параметрами.10-11 классы 

В предлагаемом пособии представлен обширный материал, посвященный двум заключительным и сложным темам ЕГЭ профильного уровня: задачам с параметрами и числам и их свойствам. На многочисленных примерах с подробными решениями и обоснованиями (как и требуется на экзамене) показаны различные методы и решения задач....

План счетов бухгалтерского учета с последними изменениями 

Читателю предлагается самая последняя редакция Плана счетов бухгалтерского учета финансово-хозяйственной деятельности организаций и инструкции по его применению с учетом последних приказов Минфина РФ. План счетов - это важнейший инструмент бухгалтерского учета, настольная книга для каждого практического бухгалтера....

На ферме. Книжка с наклейками 

Игры с наклейками - занятие не только интересное, но и полезное. С этой книгой малыш познакомится с различными видами транспорта, потренируется решать простые логические задачки и находить соответствия....

Если Вы задавались вопросами "где найти книгу в интернете?", "где купить книгу?" и "в каком книжном интернет-магазине нужная книга стоит дешевле?", то наш сайт именно для Вас. На сайте книжной поисковой системы Книгопоиск Вы можете узнать наличие книги К. Ц., М. Ч., П. М., Х.-М. К., Валидация на системном уровне. Высокоуровневое моделирование и управление тестированием в интернет-магазинах. Также Вы можете перейти на страницу понравившегося интернет-магазина и купить книгу на сайте магазина. Учтите, что стоимость товара и его наличие в нашей поисковой системе и на сайте интернет-магазина книг может отличаться, в виду задержки обновления информации.