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

書目詳細資料
其他作者:	Чэнь М. Минсон, Цинь К. Ксяоке, Ку Х.-М. Хеон-Мо, Мишра П. Прабхат
總結:	В этой книге описываются методы высокоуровневого моделирования и валидации комплексных систем аппаратных средств и программного обеспечения, включая архитектуры с многоядерными процессорами. Читатели узнают, как избежать затрат времени и ошибок при всесторонней системной валидации, в том числе при моделировании систем и их отказов, а также об автоматической генерации специализированных тестов и эффективных методиках валидации с использованием подобных тестов и подтверждения работоспособности систем. Методологии, описанные в этой книге, помогут разработчикам улучшить качество валидации благодаря выполнению тестов на ранних стадиях проектирования при одновременном снижении стоимости этих процессов и усилий, направленных на валидацию систем в целом. Эта книга предназначена для студентов старших курсов, аспирантов, исследователей, разработчиков инструментов САПР, проектировщиков и менеджеров, заинтересованных в развитии эффективных инструментов и методов проектирования и валидации на системном уровне, генерации направленных тестов и функциональной валидации гетерогенных конструкций СнК.
語言:	俄语
出版:	Москва, Техносфера, 2014
叢編:	Мир радиоэлектроники
主題:	Программное обеспечение > Тестирование сложные системы моделирование дизайн спецификация направленные тесты автоматическая генерация функциональные тесты уплотнение кластерицация принятие решений свойства декомпозиция многоядерная архитектура валидация
格式:	圖書
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=246097