Полное описание
> TOFTS-MI.Тестовая и диагностическая программа периферийного оборудования : операционное руководство.Гл.6.Подсистема В/В / ВЦП. - 150 с. : ил. . - Пер. материала фирмы: TOFTS-MI.Peripheral equipment test and diagnostic program.Operation manual / NEC Cirp. - P.6-1,6-139(242-380). - Текст : непосредственный.
ГРНТИ 50.07.07 Рубрики: Программы-тесты для ЭВМ Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): 06928000480)>
Шифр в сводном ЭК: 0d49bf734a8a12790e175efef639fa97
Микони С.В. Общие диагностические базы знаний вычислительных систем / С. В. Микони, 1992. - 236 c. - Текст : непосредственный. Епифанов А.Ф. Функциональное диагностирование процессорных блоков по схемам алгоритмов : специальность 05.13.13 "" : автореферат диссертации на соискание ученой степени канд.техн.наук / А. Ф. Епифанов, 1992. - 14 с. - Текст : непосредственный. Данилин Н.С. Руководство по поиску неисправностей и ремонту компьютеров IBM PC / Н. С. Данилин, В. П. Улитенко, А. А. Крипак, 1992. - 256 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Татарников А.Д. Автоматизация конструирования генераторов тестовых программ для микропроцессоров на основе формальных спецификаций / А. Д. Татарников, 2017. - 24 с. - Текст : непосредственный. Егорличенко М.Н. Анализ сообщений диагностических тестов процессора СМ 2420 : Учеб.-метод. разработка / М.Н.Егорличенко, 1988. - 60 с. - Текст : непосредственный. Быков Ю.В. Методы и средства для генерирования взвешенных тестовых последовательностей : Автореферат диссертации на соискание ученой степени канд. техн. наук:05.13.05 / Ю. В. Быков, 1993. - 16 с. - Текст : непосредственный. Колчанов И.В. Исследование и разработка принципов построения функционально совместимых устройств автоматизации испытания микросборок памяти на цилиндрических магнитных доменах : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.05 / И. В. Колчанов, 1992. - 19 с. - Текст : непосредственный. Черноуцан В.П. Применение естественной избыточности кодов для контроля вычислительных структур : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / В. П. Черноуцан, 1990. - 15 с. - Текст : непосредственный. Титов А.Г. Методы разработки комплексов средств тестирования высокопроизводительных ЭВМ : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / А. Г. Титов, 1994. - 25 с. - Текст : непосредственный. Андрюшаев А.М. Анализ и синтез тестов в динамической диагностике цифровых схем : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.05 / А. М. Андрюшаев, 1992. - 22 с. - Текст : непосредственный. Дорофеева О.С. Функциональное диагностирование вычислительных процессов на основе стандартных схем программ : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / О. С. Дорофеева, 1992. - 16 с. - Текст : непосредственный. Саидов А.А. Исследование и разработка интерактивной системы моделирования цифровых устройств для диагностики : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / А. А. Саидов, 1991. - 16 с. - Текст : непосредственный. Раков С.В. Автоматизированные методы верификации структуры и анализа тестов цифровых микропроцессорных устройств : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.12 / С. В. Раков, 1991. - 16 с. - Текст : непосредственный. Микони С.В. Методы и алгоритмы автоматизированного диагностирования вычислительных систем : Автореферат диссертации на соискание ученой степени д-ра техн.наук:05.13.14,05.13.16 / С. В. Микони, 1991. - 38 с. - Текст : непосредственный. Эксплуатация и диагностирование вычислительной системы на базе ТЭВМ ЕС 1007 под управлением СВМ ЕС : Конспект курса / Казанское науч.-произв.об-ние вычислительной техники и информатики, 1987. - 40 с. - Текст : непосредственный. Шапилов В.Д. Исследование и разработка систем тестового технического диагностирования цифровых узлов высокопроизводительных ЭВМ : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / В. Д. Шапилов, 1991. - 22 с. - Текст : непосредственный. Давыдов С.А. Измерение электрических параметров конструктивных элементов ЭВМ / С.А.Давыдов,И.А.Исанов, 1991. - 15 c. - Текст : непосредственный. Показать все результаты Worwa K. Modelowanie i ocena wzrostu niezawodnosci oprogramowania w procesie testowania / K. Worwa, 2000. - 179 s. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Программное обеспечение. Тест XENON. Версия 3 / ВЦП. - 16 c. - Текст : непосредственный. Apt K.R. Proving termination of parallel programs / K.R.Apt,F.S. de Boer,E.-R.Olderog, 1990. - 7 p. - Текст : непосредственный. Idema A.W. Validation tests for standard Pascal and extended Pascal / A.W.Idema, 1988. - 42 мкфш. - Текст : непосредственный. Применение технологии UniTesK для функционального тестирования моделей аппаратного обеспечения / В. П. Иванников [и др.], 2005. - 26 с. - Текст : непосредственный. Stoll W. Test von OSI-Protokollen : Proc; 12. DAGM-symp. Oberkochen-Aalen, Sept. 24-26, 1990 / W.Stoll, 1989. - IX, 205 S. 205 S. - Текст : непосредственный. Гуляев В.А. Диагностирование программного обеспечения микропроцессорных систем / В.А.Гуляев,Ю.М.Коростиль, 1991. - 144 с. - Текст : непосредственный. Портативная система диагностики. ГРС-404 : Руководство / ВЦП. - 55 c. - Текст : непосредственный. TOFTS-MI.Тестовая и диагностическая программа периферийного оборудования : Операционное руководство.Гл.6.Подсистема В/В / ВЦП. - 150 с. - Текст : непосредственный. Romijn J.M.T. Exploiting symmetry in protocol testing / J.M.T.Romijn,J.G.Springintveld, 1999. - 83 p. - Текст : непосредственный. Kersten M.L. A user's guide to the software testpilot / M.L.Kersten,F.Kwakkel, 1993. - 19 p. - Текст : непосредственный. Dinesh T.B. slicing-based approach for locating type errors / T.B.Dinesh,F.Tip, 1998. - 24 p. - Текст : непосредственный. Диянкова Е.В. Одномерные численные эксперименты для тестирования программы ЕМС2D / Е.В.Диянкова,П.В.Петров, 1996. - 15 с. - Текст : непосредственный. Apt K.R. Verification of sequential and concurrent programs / K.R.Apt,E.-R.Olderog, 1991. - XIV,441 p. p. - Текст : непосредственный. Latvakoski J. Integration test automation of embedded communication software / J.Latvakoski, 1997. - Pag.var. - Текст : непосредственный. Коварцев А.Н. Автоматизация разработки и тестирования программных средств / А.Н.Коварцев, 1999. - 149 с. - Текст : непосредственный. Кауфман А.В. ОСТ: система контроля тестированности модула-2-программ / А.В.Кауфман,С.К.Черноножкин, 1997. - 46 с. - Текст : непосредственный. Чипулис В.П. Анализ и построение тестов цифровых программно-управляемых устройств / В.П.Чипулис,С.Г.Шаршунов, 1992. - 224 с. - Текст : непосредственный. Показать все результаты Заказать
Заказ фрагмента документа ₽