Полное описание
Mitsching, R.
ГРНТИ УДК 50.01.81 004.415.53(043)
Рубрики: Вычислительные системы встроенные
Программы для ЭВМ -- Тестирование
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): G2/22246)
Шифр в сводном ЭК: 2cdf50c47e9c4fadd06657c5f459f070
Фролов А.Б. Модели и методы технической диагностики / А. Б. Фролов, 1990. - 47 с. - Текст : непосредственный. Зимнович Р.В. Программно-диагностический комплекс для управления состоянием многопараметрических технических объектов на основе методов семантического анализа : специальность 05.13.01 "Системный анализ,управление и обработка информации (по отраслям)" : диссертация на соискание ученой степени канд. техн. наук / Р. В. Зимнович, 2007. - 27 с. - Текст : непосредственный. Бочкарев С.В. Диагностика и надежность автоматизированных систем / С. В. Бочкарев, А. И. Цаплин, 2006. - 262 с. - Текст : непосредственный. Сборник научных трудов. № 17 : Диагностика и прогнозирование состояния сложных систем, 2007. - 77 с. - Текст : непосредственный. Птицына Л.К. Модели и методы анализа вычислительных процессов при функциональном диагностировании динамических систем / Л. К. Птицына, В. В. Бородин, 1997. - 106 с. - Текст : непосредственный. ISSTA'09 : материалы временных коллективов / International symposium on software testing & analysis (2009 ; Chicago, Il), 2009. - 1 o=электрон. опт. диск (CD-ROM). - Текст : электронный. Латышев А.В. Диагностирование непрерывных систем и цепей / А. В. Латышев, 1990. - 46 c. - Текст : непосредственный. Hardware and software, verification and testing / SpringerLink (Online service), 2007 r=on-line. - Текст : электронный. Perry W.A. Handbook of diagnosing and solving computer problems / W. A. Perry, 1989. - XII,255 p. мкф. - Текст : непосредственный. Prace / Inst. podstaw informatyki. 655 : Wplyw liniowych sprzezen zwrotnych na skutecznosc analizy sygnaturowej uszkodzen / A.Hlawiczka,K.Mostowski, 1989. - 63 s. - Текст : непосредственный. Formal approaches to software testing / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный. Testing of communicating systems / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный. Гукин Д. Устранение неисправностей в ПК для "чайников" : монография / Д. Гукин, 2006. - 351 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Показать все результаты Eisenreich D. Designing embedded internet devices / D. Eisenreich, B. DeMuth, 2003. - XII, 582 p. - Текст : непосредственный. Rozprawy monografie / Akad.gorniczo-hutnicza im.Stanislawa Staszica. 165 : Modelowanie i analiza systemow wbudowanych z zastosowaniem RTCP - sieci / M. Szpyrka, 2007. - 157 p. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Noergaard T. Demystifying embedded systems middleware / T. Noergaard, 2011. - VII, 400 p. - Текст : непосредственный. Manolache S. Real-time applications with stochastic task execution times : analysis and optimisation / S. Manolache, P. Eles, Z. Peng, 2007 r=on-line. - Текст : электронный. Potop-Butucaru D. Compiling esterel / D. Potop-Butucaru, G. Berry, S. A. Edwards, 2007 r=on-line. - Текст : электронный. Востриков А.А. Внутриплатные интерфейсы встраиваемых систем : учеб. пособие / А. А. Востриков, Н. А. Балонин, А. М. Сергеев, 2012. - 95 с. - Текст : непосредственный. Sacha K. Projektowanie oprogramowania systemow wbudowanych / K.Sacha, 1996. - 128 s. - Текст : непосредственный. Schmitz M. System-Level design techniques for energy-efficient embedded systems / M. Schmitz, B. Al-Hashimi, P. Eles, 2005 r=on-line. - Текст : электронный. Kohler Ch. Enhancing embedded systems simulation : a chip-hardware-in-the-loop simulation framework / Ch. Kohler, 2011. - XXII, 224 p. - Текст : непосредственный. Буралков, А. А. Микропроцессорная техника в мехатронике и робототехнике : учеб. пособие. Ч. 1 : Встраиваемые микропроцессорные системы, 2014. - 190 с. - Текст : непосредственный. Monografia / Politechnika Krakowska im. Tadeusza Kosciuszki. 541 : Zagadnienia programowania aplikacji mobilnych i sistemów wbudowanych / pod red. K. Rzeckiego, 2016. - 284 с. - Текст : непосредственный. Mitsching R. Applied Timed Testing: Testautomatisierung in industriellen Testprozessen von eingebetteten Systemen : Diss. / R. Mitsching, 2012. - 108 S. - Текст : непосредственный. Qureshi S. Embedded image processing on the TMS320C6000 DSP : examples in code composer studio and MATLAB / S. Qureshi, 2005 r=on-line Показать все результаты Петров К.В. Автоматизированная система моделирования логических неисправностей для тестирования вычислительных процессов : специальность 05.13.12 "Системы автоматизации проектирования (по отраслям)" : диссертация на соискание ученой степени канд. техн. наук / К. В. Петров, 2007. - 19 с. - Текст : непосредственный. Посыпкин М.А. Применение формальных методов для тестирования компиляторов : специальность 05.19.11 "" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / М. А. Посыпкин, 2004. - 22 c. - Текст : непосредственный. Голубев А.А. Методики создания и внедрения агентов в прикладное и системное программное обеспечение для автоматизации тестирования и мониторинга встроенных вычислительных систем : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. техн. наук / А. А. Голубев, 2007. - 18 с. - Текст : непосредственный. Вигура А.Н. Модели и методы тестирования программных систем на основе алгебраического подхода / А. Н. Вигура, 2013. - 24 с. - Текст : непосредственный. Полухин П.В. Байесовские модели и алгоритмы управления процессом тестирования веб-приложений методом фаззинга / П. В. Полухин, 2016. - 18 с. - Текст : непосредственный. Воинов Н.В. Методы генерации тестовых сценариев на основе структурированных UCM-моделей проектируемой системы / Н. В. Воинов, 2011. - 22 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Федотов А.Н. Разработка метода оценки эксплуатируемости программных дефектов / А. Н. Федотов, 2017. - 24 с. - Текст : непосредственный. Морин Е.В. Совершенствование информационного обеспечения испытательных центров и лабораторий в ходе сертификации программных средств / Е. В. Морин, 2018. - 31 с. - Текст : непосредственный. Сафин Л.К. Автоматический статический анализ программных систем, записанных на языках программирования семейства C / Л. К. Сафин, 2018. - 19 с. - Текст : непосредственный. Дудина И.А. Поиск ошибок переполнения буфера в исходном коде программ с помощью символьного выполнения : специальность 05.13.11 - "Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей": автореферат диссертации на соискание ученой степени кандидата физико-математических наук / И. А. Дудина, 2019. - 26 с. - Текст : непосредственный. Базин А.С. Разработка моделей и алгоритмов тестирования программных комплексов на основе принципа декомпозиции : автореф. дис. .. канд. техн. наук: 05.13.01 / А. С. Базин, 2012. - 23 с. - Текст : непосредственный. Батаев А.В. Методы и средства генерации данных для тестирования встроенного бортлового программного обеспечения : автореф. дис. .. канд. техн. наук: 05.13.11 / А. В. Батаев, 2008. - 20 с. - Текст : непосредственный. Фофанов В.А. Внешнее тестирование интерфейсных библиотек (на примере интерфейса ASIS) : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 05.13.11 / В. А. Фофанов, 2000. - 15 с. - Текст : непосредственный. Благодаренко А.В. Разработка метода, алгоритмов и программ для автоматического поиска уязвимостей программного обеспечения в условиях отсутствия исходного кода : автореф. дис. .. канд. техн. наук: 05.13.19 / А. В. Благодаренко, 2011. - 24 с. - Текст : непосредственный. Гриппа Г.Л. Автоматизация тестирования программных приложений методом ключевых состояний : автореф. дис. .. канд. техн. наук: 05.13.11 / Г. Л. Гриппа, 2006. - 18 с. - Текст : непосредственный. Никифорова Н.Ю. Разработка и исследование методов и средств структурных испытаний программ : автореф. дис. .. канд. техн. наук: 05.13.11 / Н. Ю. Никифорова, 2003. - 18 с. - Текст : непосредственный. Моисеев М.Ю. Автоматическое обнаружение дефектов в многопоточных программах методами статического анализа : автореф. дис. .. канд. техн. наук: 05.13.11 / М. Ю. Моисеев, 2011. - 18 с. - Текст : непосредственный. Показать все результаты Заказать
Заказ фрагмента документа ₽
Приложение
для Android
