Приложение
для AndroidПолное описание
Гуляев, В. А. Диагностирование программного обеспечения микропроцессорных систем / В.А.Гуляев,Ю.М.Коростиль. - Киев : Тэхника, 1991. - 144 с. - 6500 экз. - ISBN 5-335-00670-6 : 1.00 р. - Текст : непосредственный.
Библиогр.:с.136-139(87 назв.).
| ГРНТИ | УДК | |
| 50.41 | 004.415.53 |
Рубрики:
Программы-тесты для ЭВМ
Кл.слова (ненормированные): программа -- тест -- эвм
Доп. точки доступа:
Коростиль, Ю.М.
Имеются экземпляры в отделах: всего 1 : ХР (1)
Свободны: ХР (1)
Программное обеспечение 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 с. - Текст : непосредственный.
Показать все результатыTOFTS-MI.Тестовая и диагностическая программа периферийного оборудования : Операционное руководство.Гл.6.Подсистема В/В / ВЦП. - 150 с. - Текст : непосредственный.Автоматическое испытательное оборудование : Справочное руководство. Ч.2. Инструкция по программированию / ВЦП. - 74 c. - Текст : непосредственный.Портативная система диагностики. ГРС-404 : Руководство / ВЦП. - 55 c. - Текст : непосредственный.Программное обеспечение. Тест XENON. Версия 3 / ВЦП. - 16 c. - Текст : непосредственный.Lilja D.J. A data parallel implementation of the TRFD program from the Perfect benchmarks / D.J.Lilja,J.Schmitt, 1994. - 9 p. - Текст : непосредственный.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. - Текст : непосредственный.Кауфман А.В. ОСТ: система контроля тестированности модула-2-программ / А.В.Кауфман,С.К.Черноножкин, 1997. - 46 с. - Текст : непосредственный.Диянкова Е.В. Одномерные численные эксперименты для тестирования программы ЕМС2D / Е.В.Диянкова,П.В.Петров, 1996. - 15 с. - Текст : непосредственный.Dinesh T.B. slicing-based approach for locating type errors / T.B.Dinesh,F.Tip, 1998. - 24 p. - Текст : непосредственный.Чипулис В.П. Анализ и построение тестов цифровых программно-управляемых устройств / В.П.Чипулис,С.Г.Шаршунов, 1992. - 224 с. - Текст : непосредственный.Коварцев А.Н. Автоматизация разработки и тестирования программных средств / А.Н.Коварцев, 1999. - 149 с. - Текст : непосредственный.Romijn J.M.T. Exploiting symmetry in protocol testing / J.M.T.Romijn,J.G.Springintveld, 1999. - 83 p. - Текст : непосредственный.Apt K.R. Verification of sequential and concurrent programs / K.R.Apt,E.-R.Olderog, 1991. - XIV,441 p. p. - Текст : непосредственный.Idema A.W. Validation tests for standard Pascal and extended Pascal / A.W.Idema, 1988. - 42 мкфш. - Текст : непосредственный.Worwa K. Modelowanie i ocena wzrostu niezawodnosci oprogramowania w procesie testowania / K.Worwa, 2000. - 179 s. - Текст : непосредственный.Stoll W. Test von OSI-Protokollen : Proc; 12. DAGM-symp. Oberkochen-Aalen, Sept. 24-26, 1990 / W.Stoll, 1989. - IX, 205 S. 205 S. - Текст : непосредственный.Apt K.R. Proving termination of parallel programs / K.R.Apt,F.S. de Boer,E.-R.Olderog, 1990. - 7 p. - Текст : непосредственный.Гуляев В.А. Диагностирование программного обеспечения микропроцессорных систем / В.А.Гуляев,Ю.М.Коростиль, 1991. - 144 с. - Текст : непосредственный.Применение технологии UniTesK для функционального тестирования моделей аппаратного обеспечения / В. П. Иванников [и др.], 2005. - 26 с. - Текст : непосредственный.
Показать все результатыБеляева С.И. Теоретические основы структурного диагностирования и обеспечения контролепригодности сложных технических и программных объектов : Автореферат диссертации на соискание ученой степени д-ра техн.наук: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 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽