Приложение
для AndroidПолное описание
Коган, Б. И. Оценка качества и исследование программных продуктов: языково-ориентированный подход. Традиционные методы покрытия испытаниями потока управления в программной единице. Ч.2. Методы, определяемые в терминах компонентов графа потока управления / Б. И. Коган, Т. О. Матвеева, Н. Ю. Никифорова. - Владивосток : [б. и.], 2002. - 34 с. : ил. - (Препринт / Институт автоматики и процессов упр.(Владивосток) ; 29-2002). - Б. ц. - Текст : непосредственный.
Библиогр.: с. 33-34
| ГРНТИ | УДК | |
| 50.05.13 | 004.415.53(04) |
Рубрики:
Программы для ЭВМ -- Тестирование
Кл.слова (ненормированные): программа -- эвм -- тестирование
Доп. точки доступа:
Матвеева, Т.О.
Никифорова, Н.Ю.
Имеются экземпляры в отделах: всего 1 : ХР (1)
Свободны: ХР (1)
Дорожко В.М. Оптимизация схем слежения в потоке объектов / В.М.Дорожко, 1998. - 35 с. - Текст : непосредственный.Артемьева И.Л. Исследование задач одного класса систем логических соотношений / И.Л.Артемьева,В.В.Суров, 1999. - 36 с. - Текст : непосредственный.Коган Б.И. Оценка качества и исследование программных продуктов: языково-ориентированный подход. Ч.2 / Б.И.Коган,Е.А.Шалфеева, 2000. - 30 с. - Текст : непосредственный.Коган Б.И. Оценка качества и исследование программных продуктов: языково-ориентированный подход. Средства специфицирования моделей и метрик программ. Ч.1 / Б.И.Коган,Е.А.Шалфеева, 2000. - 46 с. - Текст : непосредственный.Коган Б.И. Оценка качества и исследование программных продуктов: языково-ориентированный подход. Модели и метрики объектно-ориентированных проектов и программ / Б.И.Коган,Е.А.Шалфеева, 2000. - 50 p. - Текст : непосредственный.Коган Б.И. Оценка качества и исследование программных продуктов: языково-ориентированный подход. Язык спецификации требований к качеству программных средств: формальное определение / Б.И.Коган,Т.О.Матвеева, 1999. - 45 с. - Текст : непосредственный.Коган Б.И. Оценка качества и исследование программных продуктов: языково-ориентированный подход. Традиционные методы покрытия испытаниями потока управления в программной единице. Ч.1. Методы, определяемые в терминах семантических конструкций языка программирования / Б. И. Коган, Т. О. Матвеева, Н. Ю. Никифорова, 2002. - 23 с. - Текст : непосредственный.Коган Б.И. Оценка качества и исследование программных продуктов: языково-ориентированный подход. Построение измерительной модели современного языка программирования / Б.И.Коган,С.Н.Остроухова, 1998. - 38 с. - Текст : непосредственный.Коган Б.И. Оценка качества и исследование программных продуктов: языково-ориентированный подход. Контекст в языках программирования: определение контекста в программе / Б.И.Коган,Н.Ю.Никифорова, 2001. - 21 с. - Текст : непосредственный.Коган Б.И. Оценка качества и исследование программных продуктов: языково-ориентированный подход. Измерительная модель языка программирования JAVA / Б. И. Коган, Г. Е. Бардин, С. Н. Остроухова, 1998. - 47 с. - Текст : непосредственный.Шалфеева Е.А. Оценка качества и исследование программных продуктов: языково-ориентированный подход. Внутренние свойства и метрики программ. Ч.1 / Е.А.Шалфеева, 1998. - 38 с. - Текст : непосредственный.Никифорова Н.Ю. Оценка качества и исследование программных продуктов: языково-ориентированный подход. Контекст в языках программирования: пример построения модели контекста в программе / Н.Ю.Никифорова, 2001. - 29 с. - Текст : непосредственный.Коган Б.И. Оценка качества и исследование программных продуктов: языково-ориентированный подход. Контекст в языках программирования: модель контекста в программе / Б.И.Коган,Н.Ю.Никифорова, 2001. - 43 с. - Текст : непосредственный.Коган Б.И. Оценка качества и исследование программных продуктов: языково-ориентированный подход. Традиционные методы покрытия испытаниями потока управления в программной единице. Ч.2. Методы, определяемые в терминах компонентов графа потока управления / Б. И. Коган, Т. О. Матвеева, Н. Ю. Никифорова, 2002. - 34 с. - Текст : непосредственный.
Система автономного проектирования фирм Мицуи/Симстэйшн / ВЦП.Киев.ред. - 15 с. - Текст : непосредственный.cBase3.Программирование прикладных программ в среде МЕЗ / ВЦП. - 67 c. - Текст : непосредственный.Грачев А.Ю. Структурирование данных в диалоговой системе программирования ДССП : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук / А. Ю. Грачев, 1991. - 16 с. - Текст : непосредственный.Берзигияров П.К. Разработка инструментальной системы построения параллельных программ по логическим спецификациям для вычислительных систем векторно-конвейерного типа : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13:05.13.11 / П. К. Берзигияров, 1991. - 20 с. - Текст : непосредственный.Марченко А.Л. Методы реализации систем продукционного программирования : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / А. Л. Марченко, 1991. - 16 с. - Текст : непосредственный.Петрушенко А.Н. Диалоговые преобразования схем программ в алгоритмических алгебрах : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / А. Н. Петрушенко, 1991. - 16 с. - Текст : непосредственный.Колесник И.П. Системные средства поддержки модульного программирования в ОСПО МВК "Эльбрус" : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / И. П. Колесник, 1991. - 24 с. - Текст : непосредственный.Описание утилит передачи данных. Гл.5 / ВЦП. - 197 c. - Текст : непосредственный.Руководство для системного программиста станции программирования MIT 4020 / ВЦП. - 83 c. - Текст : непосредственный.Вычислительная техника. Программирование. Глоссарий 9 / ВЦП. - 28 с. - Текст : непосредственный.Вычислительная техника. Программирование / ВЦП. - 6 c. - Текст : непосредственный.Вычислительная техника. Программирование. Сокращенные обозначения сигналов. Глоссарий 7 / ВЦП. - 6 c. - Текст : непосредственный.Программирование. Вычислительная техника. Набор данных спулГлоссарий 6 / ВЦП. - 10 c. - Текст : непосредственный.Вычислительная техника. Программирование. Обозначение сигналов / ВЦП. - 31 c. - Текст : непосредственный.Глоссарий 12 немецко-русский по программированию, вычислительной технике, АСУ / ВЦП. - 12 c. - Текст : непосредственный.Глоссарий 1 по программированию, вычислительной технике. По материалам народного предприятия Роботрон / ВЦП. - 13 c. - Текст : непосредственный.Глоссарий 4 по вычислительной технике, программированию / ВЦП. - 11 c. - Текст : непосредственный.Глоссарий 1 по программированию, вычислительной технике / ВЦП. - 26 c. - Текст : непосредственный.Глоссарий 2 немецко-русский по программированию, вычислительной технике, микропроцессорной технике / ВЦП. - 14 c. - Текст : непосредственный.Программирование. Вычислительная техника. Транслятор с языка пл/1. По материалам фирмы Сименс. Немецко-русский глоссарий 14 / ВЦП. - 29 c. - Текст : непосредственный.
Показать все результатыПрименение теории надежности для испытания математических средств / ЦНТИ "Информсвязь". - 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 с. - Текст : непосредственный.
Показать все результатыКауфман А.В. ОСТ: система контроля тестированности модула-2-программ / А.В.Кауфман,С.К.Черноножкин, 1997. - 46 с. - Текст : непосредственный.Коган Б.И. Оценка качества и исследование программных продуктов: языково-ориентированный подход. Традиционные методы покрытия испытаниями потока управления в программной единице. Ч.2. Методы, определяемые в терминах компонентов графа потока управления / Б. И. Коган, Т. О. Матвеева, Н. Ю. Никифорова, 2002. - 34 с. - Текст : непосредственный.Бобков В.Г. Разработка и автоматическое регрессионное тестирование программного комплекса NOISEtte / В. Г. Бобков, 2018. - 20 с.Денисов Е.Ю. Автоматизация тестирования интерактивной системы моделирования освещенности / Е. Ю. Денисов, А. Г. Волобой, И. А. Калугина, 2018. - 19 с.
Заказ фрагмента документа ₽