| Поле | Инд. | ПП | Название | Значение |
|---|---|---|---|---|
| Тип записи | a | |||
| Библиографический уровень | m | |||
| 001 | Контрольный номер | 2574fe2a7728464a9f7f66dfd3f55f37 | ||
| 005 | Дата корректировки | 20240628140837.7 | ||
| 020 | a | ISBN | 978-5-94836-365-3 | |
| 040 | a | Служба первич. каталог. | 10013504 | |
| b | Код языка каталог. | rus | ||
| e | Правила каталог. | PSBO | ||
| 041 | 0_ | a | Код языка текста | rus |
| 080 | a | Индекс УДК | 004.415.2 | |
| 090 | r | Идентификатор организации | 10013504 | |
| a | Полочн. индекс | 004.4 | ||
| x | Авторский знак | В 155 | ||
| 245 | 10 | a | Заглавие | Валидация на системном уровне. Высокоуровневое моделирование и управление тестированием |
| c | Ответственность | перевод с английского Е.Б. Махияновой ; под ред. А.Н. Ланцева | ||
| 260 | a | Место издания | Москва | |
| b | Издательство | Техносфера | ||
| c | Дата издания | 2014 | ||
| 300 | a | Объем | 294 с., 5 л. цв. ил. | |
| b | Иллюстрации/ тип воспроизводства | ил. | ||
| 440 | _0 | a | Серия | Мир радиоэлектроники |
| v | N тома | XVII. 22 | ||
| 504 | a | Библиография | Библиогр. в конце гл. | |
| 520 | 0_ | a | Аннотация | В книге описываются методы высокоуровневого моделирования и валидации комплексных систем аппаратных средств и программного обеспечения, включая архитектуры с многоядерными процессорами. Вы узнаете, как избежать затрат времени и ошибок при всесторонней системной валидации, в том числе при моделировании систем и их отказов, а также об автоматической генерации специализированных тестов и эффективных методиках валидации с использованием подобных тестов и подтверждения работоспособности систем. Методологии, описанные в этой книге, помогут разработчикам улучшить качество валидации благодаря выполнению тестов на ранних стадиях проектирования при одновременном снижении стоимости этих процессов и усилий, направленных на валидацию систем в целом. Книга предназначена для студентов старших курсов, аспирантов, исследователей, разработчиков инструментов САПР, проектировщиков и менеджеров, заинтересованных в развитии эффективных инструментов и методов проектирования и валидации на системном уровне, генерации направленных тестов и функциональной валидации гетерогенных конструкций СнК. |
| 650 | 04 | a | Основная рубрика | Вычислительные машины |
| x | Основная подрубрика | валидация | ||
| 653 | 0_ | a | Ключевые слова | ВЫЧИСЛИТЕЛЬНЫЕ МАШИНЫ ЭЛЕКТРОННЫЕ ЦИФРОВЫЕ; ВЕРИФИКАЦИЯ; ТЕСТИРОВАНИЕ ПРОГРАММ; МНОГОПРОЦЕССОРНЫЕ СИСТЕМЫ; ВАЛИДАЦИЯ СИСТЕМ |
| 700 | 12 | a | Другие авторы | Чэнь Минсон |
| 700 | 12 | a | Другие авторы | Цинь Ксяоке |
| 700 | 12 | a | Другие авторы | Ку Хеон-Мо |
| 700 | 12 | a | Другие авторы | Мишра Прабхат |
| 900 | a | Имя макрообъекта | обложка.Валидация на системном уровне. Высокоуровневое моделирование и управление тестированием . Чэнь Минсон ,2014 | |
| 901 | t | Тип документа | m | |
| 952 | a | Тип литературы для КСУ ВШ | КНР | |
| c | Вид литературы | монография |