Полное описание
>
004.41/В 488
Винниченко, И. Автоматизация процессов тестирования / И. Винниченко. - М. и др. : Питер : Питер Принт, 2005. - 202 с. - 3000 экз. - ISBN 5-469-00798-7 : Б. ц. - Текст : непосредственный.
| ГРНТИ | УДК | |
| 50.41 | 004.415.53 |
Рубрики:
Программы для ЭВМ -- Тестирование
>
Имеются экземпляры в отделах: всего 3 : ХР (2), ФО25 (1)
Свободны: ХР (2), ФО25 (1)
Заказаны экз-ры для отделов: ФО26
Программное обеспечение NCOS, NCOS 1 : Руководство прикладного программиста / ВЦП. - 195 с. - Текст : непосредственный.Программное обеспечение NCOS. NCOS 1.Поддержка сопровождения программного обеспечения / ВЦП. - 256 с. - Текст : непосредственный.Программное обеспечение NCOS / ВЦП. - 166 с. - Текст : непосредственный.Основы операционной системы NCOS1 : Руководство по обучению / ВЦП. - 142 с. - Текст : непосредственный.Математическое обеспечение NCOS. NCOS1 : Инструментальные средства для разработки программ / ВЦП. - 63 с. - Текст : непосредственный.Программное обеспечение NCOS. NCOS1. : Организации файлов и форматы данных / ВЦП. - 268 с. - Текст : непосредственный.Производственная логистика при изготовлении тел вращения / ВЦП. - 15 с. - Текст : непосредственный.Настольная система моделирования без управления TX 8D : Инструкция по эксплуатации и описание работы / ВЦП. - 32 с. - Текст : непосредственный.Операционная система NCOS1. Дисковые сортировка / слияние / ВЦП. - 108 с. - Текст : непосредственный.Использование на месте. Технология работы резанием. Трехмерное моделирование является эффективной помощью при программировании систем ЧПУ для точения и фрезерования / ВЦП. - 10 с. - Текст : непосредственный.Программное обеспечение операционной системы NCOS / ВЦП. - 196 с. - Текст : непосредственный.Среда формирования профессиональной прикладной системы VS (PACE). Версия 2.20. Примечания к версии потребительского программного обеспечения / ВЦП. - 110 с. - Текст : непосредственный.Программа Reflex 1.x. : Учебное руководство и примеры использования в приложениях / ВЦП. - 264 с. - Текст : непосредственный.Руководство по пакету программ Loco Script PC / ВЦП. - 138 с. - Текст : непосредственный.Уровень развития управления ЧПУ для шлифовальных станков / ВЦП. - 16 с. - Текст : непосредственный.Введение в VAX/VMS / ВЦП. - 130 с. - Текст : непосредственный.Пакет для создания среды, предназначенной для профессиональных приложений (РАСЕ). Версия 2.20. Замечания по версии математического обеспечения, предназначенной для заказчика / ВЦП. - 112 с. - Текст : непосредственный.Программное обеспечение NCOS,NCOSI : Инструкция по эксплуатации / ВЦП. - 331 331 с. - Текст : непосредственный.Инструкции пользователю программного пакета для платы для сбора данных PCLS-718-C, написанного на языке СИ / ВЦП. - 97 с. - Текст : непосредственный.Руководство по обслуживанию линии связи организатора Пбмодель IQ-890 / ВЦП. - 135 с. - Текст : непосредственный.
Показать все результатыПрименение теории надежности для испытания математических средств / ЦНТИ "Информсвязь". - 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 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽