Приложение
для AndroidПолное описание
Левин, Н. А. Тестирование программного обеспечения микропроцессорных систем : учеб. пособие / Н. А. Левин, И. А. Соколов, Б. З. Шмейлин. - М. : [б. и.], 2007. - 47 с. : ил. - Библиогр.: с. 46-47. - 100 экз. - ISBN 978-5-7339-0656-0 : Б. ц. - Текст : непосредственный.
В надзаг.: Моск. гос. ин-т радиотехники, электроники и автоматики (Техн. ун-т)
| ГРНТИ | УДК | |
| 50.01.81 | 004.415.53 |
Рубрики:
Программы для ЭВМ -- Тестирование
Доп. точки доступа:
Соколов, И.А.
Шмейлин, Б. З.
Имеются экземпляры в отделах: всего 1 : ХР (1)
Свободны: ХР (1)
Жуковская О.Е. Исследование и разработка методов диагностирования и отказоустойчивости ассоциативных ЭВМ : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / О. Е. Жуковская, 1991. - 21 с. - Текст : непосредственный.Олецкий А.В. Параметризация непрерывных диагностических сигналов на основе интегрального преобразования Карунена-Лоэва : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.16 / А. В. Олецкий, 1991. - 17 с. - Текст : непосредственный.Фаиз М.С. Методы и средства тестового диагностирования машин потока данных : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / М. С. Фаиз, 1993. - 14 с. - Текст : непосредственный.Птицына Л.К. Проектирование систем функционального диагностирования для информационно-управляющих комплексов : Автореферат диссертации на соискание ученой степени д-ра техн.наук:05.13.01:05.13.13 / Л. К. Птицына, 1995. - 30 с. - Текст : непосредственный.Мельников М.М. Методы и средства имитационных испытаний элементов вычислительной техники и автоматики на воздействие импульсов проникающего излучения : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.16.05 / М. М. Мельников, 1995. - 18 с. - Текст : непосредственный.Система контроля за топологией интегральной схемы DRACULA.Базовый справочник пользователя. Т.1. В 6-ти кн / ВЦП.Минская ред. - 396 c. - Текст : непосредственный.Верещагина Е.А. Исследование и разработка методов синтеза тестов для коммуникационного оборудования микропроцессорных систем : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / Е. А. Верещагина, 1996. - 16 с. - Текст : непосредственный.Кошевенко А.В. Исследование и разработка метода функционального тестирования RISC-микропроцессоров : Автореферат диссертации на соискание ученой степени канд. техн. наук:05.13.13 / А. В. Кошевенко, 1997. - 18 с. - Текст : непосредственный.Буслов А.В. Методы и алгоритмы автоматизированного проектирования диагностических процессов в специализированных магистрально-модульных системах с активной защитой от отказов : Автореферат диссертации на соискание ученой степени канд. техн. наук :05.13.12 / А. В. Буслов, 2001. - 16 с. - Текст : непосредственный.Петрова К.Ю. Синтез оптимальных тестовых сигналов для контроля и диагностики управляемых динамических систем : Автореферат диссертации на соискание ученой степени канд. техн. наук :05.13.01 / К. Ю. Петрова, 2002. - 18 с. - Текст : непосредственный.Рустинов В.А. Методы поиска неисправностей управляемым зондом и их применение в системе автоматизированного диагностирования цифровых устройств : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.13 / В. А. Рустинов, 1990. - 20 с. - Текст : непосредственный.Бобышев В.В. Алгоритмы и программные средства диагностирования систем автоматического управления на основе теории чувствительности : автореф. дис. .. канд. техн. наук : 05.13.18 / В. В. Бобышев, 2002. - 20 с. - Текст : непосредственный.Дианов В.Н. Методы и средства обнаружения и регистрации источников сбоев в системах и устройствах с кодо-импульсной модуляцией сигналов : автореф. дис. .. д-ра техн. наук : 05.13.05 / В. Н. Дианов, 2002. - 37 с. - Текст : непосредственный.Збиняков А.Н. Методика, специализированные устройства и способ диагностирования аппаратных средств вычислительной техники : автореф. дис. .. канд. техн. наук : 05.13.05 / А. Н. Збиняков, 2002. - 20 с. - Текст : непосредственный.Филенков В.В. Совершенствование методов контроля и количественной оценки безопасности изделий связи и автоматики : автореф. дис. .. канд. техн. наук : 05.11.13 / В. В. Филенков, 2004. - 20 c. - Текст : непосредственный.Diagnoseverfahren in der Automatisierungstechnik : GMA-Aussprachetag,Baden-Baden,17.Sept.1990 / VDI/VDE-Ges.Mess- und Automatisierungstechnik, 1990. - 137 S. - Текст : непосредственный.Щербаков, Н. С. Функциональное и тестовое диагностирование цифровых устройств и ЭВМ : Учеб.пособие по курсу "Основы технической диагностики АСУ". Ч. 2, 1994. - 123 с.,16 л.ил. с.,16 л.ил. - Текст : непосредственный.Computers and Security. - Журнал выходит с 1981г.Птицына Л.К. Модели и методы анализа вычислительных процессов при функциональном диагностировании динамических систем : Учеб. пособие / Л.К.Птицына,В.В.Бородин, 1997. - 106 с. - Текст : непосредственный.Тихонов В.А. Технические средства диагностики : Учеб. пособие по курсу "Основы теории информ. и техн. диагностики" / В.А.Тихонов;Под ред. В.В.Круглова, 1992. - 45 с., 6 л. ил. с., 6 л. ил. - Текст : непосредственный.
Показать все результатыПрименение теории надежности для испытания математических средств / ЦНТИ "Информсвязь". - 22 c. - Текст : непосредственный.Шмейлин Б.З. Диагностика и надежность ЭВМ. Контроль программного обеспечения : Учеб. пособие / Б.З.Шмейлин, 1998. - 52 с. - Текст : непосредственный.Стивенс Р. Тестирование и отладка программ на Visual Basic / Р.Стивенс, 2001. - 378 с. - Текст : непосредственный.Шимаров В.А. Иерархический подход к оценке сложности тестирования программ / В.А.Шимаров, 1989. - 45 с. - Текст : непосредственный.Grecco A.J. AdaFlow : automation of software analysis using Petri nets: Diss. Mfiche.(3) / A.J.Grecco, 1988. - 266 мкфш. - Текст : непосредственный. Калбертсон Р. Быстрое тестирование : Пер. с англ. / Р. Калбертсон, К. Браун, Г. Кобб, 2002. - 383 с. - Текст : непосредственный.Refactoring test code / A. van Deursen, L. M. F .Moonen, A. van den Bergh, G. Kok, 2001. - 6 p. - Текст : непосредственный.Дастин Э. Автоматизированное тестирование программного обеспечения. Внедрение, управление и эксплуатация / Э. Дастин, Д. Рэшка, Д. Пол, 2003. - 567 с. - Текст : непосредственный.Тамре Л. Введение в тестирование программного обеспечения / Л.Тамре, 2003. - 359 с. - Текст : непосредственный.Коган Б.И. Оценка качества и исследование программных продуктов: языково-ориентированный подход. Традиционные методы покрытия испытаниями потока управления в программной единице. Ч.2. Методы, определяемые в терминах компонентов графа потока управления / Б. И. Коган, Т. О. Матвеева, Н. Ю. Никифорова, 2002. - 34 с. - Текст : непосредственный.Басок Б.М. Тестирование программных средств : Учеб. пособие / Б. М. Басок, А. П. Кунин, В. Е. Красовский, 2004. - 78 с. - Текст : непосредственный.Бейзер Б. Тестирование черного ящика.Технологии функционального тестирования программного обеспечения и систем / Б.Бейзер;Пер. с англ. А.Раздобарин, 2004. - 317 с. - Текст : непосредственный.Автоматизация процессов тестирования / И. Винниченко, 2005. - 202 с. - Текст : непосредственный.Тестирование программных средств : Учеб. пособие / Б. М. Басок, А. П. Кунин, В. Е. Красовский, 2005. - 83 с. - Текст : непосредственный.Методы тестирования программного обеспечения : учеб. пособие / Степанченко И. В., 2006. - 73 с. - Текст : непосредственный.Основы тестирования программного обеспечения : учеб. пособие / В. П. Котляров, Т. В. Коликова, 2006. - 285 с. - Текст : непосредственный.Тестирование и отладка программ для профессионалов будущих и настоящих / М. А. Плаксин, 2007. - 167 с. - Текст : непосредственный.Тестирование Дот Ком, или Пособие по жестокому обращению с багами в интернет-стартапах / Р. Савин, 2007. - 311 с. - Текст : непосредственный.Тестирование программного обеспечения микропроцессорных систем : учеб. пособие / Н. А. Левин, И. А. Соколов, Б. З. Шмейлин, 2007. - 47 с. - Текст : непосредственный.Официальный учебный курс Microsoft: поддержка пользователей и диагностика настольных приложений в операционной системе Microsoft XP (70-272) : практ. занятия : пер. с англ. / О. Фаулер, 2007. - 175 с. - Текст : непосредственный.
Показать все результатыБеляева С.И. Теоретические основы структурного диагностирования и обеспечения контролепригодности сложных технических и программных объектов : Автореферат диссертации на соискание ученой степени д-ра техн.наук:05.13.01 / С. И. Беляева, 1991. - 33 с. - Текст : непосредственный.Молин А.В. Разработка полигона для испытания программ статистического анализа : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.11.16:05.13.16 / А. В. Молин, 1991. - 17 с. - Текст : непосредственный.Черноножкин С.К. Методы и инструменты метрической поддержки разработки качественных программ : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 05.13.11 / С. К. Черноножкин, 1998. - 18 с. - Текст : непосредственный.Кудрин К.А. Разработка методов автоматизированного тестирования программного обеспечения систем автоматизации эксперимента : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.16 / К. А. Кудрин, 1998. - 19 с. - Текст : непосредственный.Маликова Л.В. Разработка математического и программного обеспечения для исследования исполняемых модулей с использованием теории алгоритмических алгебр и унификации алгебраических термов : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.11 / Л. В. Маликова, 1998. - 16 с. - Текст : непосредственный.Пинаев Д.В. Методы и средства интегральной оценки тестированности программного проекта. Позволяющие управлять процессом разработки тестов : Автореферат диссертации на соискание ученой степени канд. техн. наук:05.13.11 / Д. В. Пинаев, 1998. - 18 с. - Текст : непосредственный.Покозий Е.А. Методы спецификации и верификации параллельных моделей с непрерывным временем : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук:05.13.11 / Е. А. Покозий, 1999. - 16 с. - Текст : непосредственный.Фофанов В.А. Внешнее тестирование интерфейсных библиотек (на примере интерфейса ASIS) : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 05.13.11 / В. А. Фофанов, 2000. - 15 с. - Текст : непосредственный.Куликова Н.Л. Разработка и исследование логических методов тестирования программных комплексов в информационных системах : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.25.05 / Н. Л. Куликова, 2000. - 20 с. - Текст : непосредственный.Никифорова Н.Ю. Разработка и исследование методов и средств структурных испытаний программ : автореф. дис. .. канд. техн. наук : 05.13.11 / Н. Ю. Никифорова, 2003. - 18 с. - Текст : непосредственный.Петренко А.К. Тестирование на основе формальных спецификаций в процессах разработки программных комплексов : автореф. дис. .. д-ра физ.-мат. наук : 05.13.11 / А. К. Петренко, 2003. - 59 с. - Текст : непосредственный.Епифанов Н.А. Методы реализации регрессивного тестирования по расширенным тестовым набором : автореф. дис. .. канд. техн. наук : 05.13.11 / Н. А. Епифанов, 2003. - 19 с. - Текст : непосредственный.Посыпкин М.А. Применение формальных методов для тестирования компиляторов : автореф. дис. .. канд. физ.-мат. наук : 05.19.11 / М. А. Посыпкин, 2004. - 22 c. - Текст : непосредственный.Lilja D.J. A data parallel implementation of the TRFD program from the Perfect benchmarks / D.J.Lilja,J.Schmitt, 1994. - 9 p. - Текст : непосредственный.Tip F. A survey of program slicing techniques / F.Tip, 1994. - 58 p. - Текст : непосредственный.Инструменты статического и динамического тестирования программ(АВТОГРАФ) : Сб.ст. / Под ред.В.А.Шимарова, 1994. - 104,3 c. c. - Текст : непосредственный.Kersten M.L. A user's guide to the software testpilot / M.L.Kersten,F.Kwakkel, 1993. - 19 p. - Текст : непосредственный.Latvakoski J. Integration test automation of embedded communication software / J.Latvakoski, 1997. - Pag.var. - Текст : непосредственный.A two-level approach to automated conformance testing of VHDL designs / J.R.Moonen,J.M.T.Romijn,O.Sies и др., 1997. - 15 p. - Текст : непосредственный.Кауфман А.В. ОСТ: система контроля тестированности модула-2-программ / А.В.Кауфман,С.К.Черноножкин, 1997. - 46 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽