Гарантії якості програмного забезпечення. Верифікація і оцінка (V&V)

Підтеми:

Формальна технічна перевірка
Тестування програмного забезпечення.

Документи:

Методи та моделі формування єдиного інформаційного простору для підтримки процесів розроблення авіаційної техніки [Текст] : автореф. дис. ... канд. техн. наук : 05.13.06 - інформ. технології / М-во освіти і науки України, Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т". — Х., 2015. — 20 с.
Методи та модель верифікації знань для інтелектуалізації WEB-контенту [Текст] : автореф. дис. ... канд. техн. наук : 05.13.23 "Системи та засоби штучного інтелекту" / Харків. нац. ун-т радіоелектроніки. — Харків, 2011. — 19 с.
Методи та модель верифікації знань для інтелектуалізації Web-контенту [Текст] : дис. ... канд. техн. наук : 05.13.23 "Системи та засоби штучного інтелекту" / МОН України, Харків. нац. ун-т радіоелектроніки. — Харків, 2011. — 161 с.
Методичні вказівки до практичних занять з дисципліни "Технології управління якістю та тестування програмного забезпечення" для студентів денної форм навчання за напрямом підготовки 6.050101 "Комп'ютерні науки" [Текст] / упоряд. Є. П. Павленко; М-во освіти і науки України, ХНУРЕ. — Харків : ХНУРЕ, 2016. — 36 с.
Метод редукции тестового набора для регресионного интеграционного тестирования [Текст] / Д.Ю. Кичигин // Программирование. — 2009. — С. 57-69.
Метод фрагментации временных параллельных моделей задач с использованием формальных полиномов [Текст] / Харьковский национальный университет им.В.Н.Каразина, г.Харьков, Украина // . — С. 99-103.
Методы и инструментальные средства метрико-вероятностной оценки качества программного обеспечения информационно-управляющих систем критического применения [Текст] : дис. ... канд. техн. наук : 05.13.06 - автоматизированные системы управления и прогрессивные информ. технологии / Нац. аэрокосм. ун-т "ХАИ" ; рук. Харченко В.С. — Х., 2004. — 201 с.
Методы и информационная технология оценки функциональной безопасности информационно-управляющих систем с использованием формальных нотаций [Текст] : дис. ... канд. техн. наук : 05.13.06 - информ. технологии : защищена 22.03.13 / М-во образования и науки, молодежи и спорта Украины, Тавр. нац. ун-т им. В. И. Вернадского ; науч. рук. Харченко В. С. — Х., 2013. — 190 с.
Методы и модели формирования единого информационного пространства для поддержки процессов разработки авиационной техники [Текст] : дис. ... канд. техн. наук : 05.13.06 - информ. технологии : защищ. 17.04.15 / М-во образования и науки Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т" ; науч. рук. Дружинин Е. А. — Х., 2015. — 182 с.
Методы оценивания визуального качества и подобия цифровых изображений для средств телекоммуникаций [Текст] : дис. ... д-ра техн. наук : 05.12.13 - радиотехн. устройтсва и средства телекоммуникаций / М-во образования и науки, молодежи и спорта Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т" ; науч. консультант Лукин В. В. — Х., 2012. — 365 с.
Методы оценки стоимости и затрат на создание программного продукта, основанные на нечеткой логике [Текст] / Национальный аэрокосмический университет им. Н.Е. Жуковского "ХАИ" // Радіоелектронні і комп'ютерні системи. — 2008. — C. 115-118.
Метрическая оценка измерений программного обеспечения информационно-управляющих систем [Текст] / В.В. Скляр, Ю.А. Белый // Радіоелектронні і комп'ютерні системи. — 2006. — С. 147-152.
Модели и информационная технология обеспечения готовности информационно-управляющих систем космических аппаратов с оперативной верификацией и обновлением программных средств [Текст] : дис. ... канд. техн. наук : 05.13.06 - информ. технол. : защищена 06.06.13 / Гос. предприятие Науч. - исследоват. технол. ин-т приборостроения Гос. косм. агентства Украины ; науч. рук. Замирец Н. В. — Х., 2013. — 195 с.
Модели и метод информационной технологии обеспечения готовностей веб-систем с учетом уязвимостей доступности сервисов [Текст] : дис. ... канд. техн. наук : 05.13.06 - информ. технологии : защищена 13.06.14 / М-во образования и науки Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т" ; науч. рук. Харченко В. С. — Х., 2014. — 239 с.
Модели и методы совместной верификации проектируемых цифровых систем на кристаллах [Текст] : дис. ... канд. техн. наук : 05.13.12 "Системы автоматизации проектных работ" / Харьк. нац. ун-т радиоэлектроники. — Харьков, 2006. — 151 с.
Модели, методы и информационная технология оценки качества программного обеспечения на основе профилирования и засева дефектов [Текст] : дис. ...канд. техн. наук : 05.13.06 - автоматизированные системы управления и прогрессивные информационные технологии / Нац. аэрокосм. ун-т "ХАИ" ; рук. Харченко В.С. — Х., 2006. — 207 с.
Модели, методы и информационная технология оценки качества человеко-машинных интерфейсов информационно-управляющих систем [Текст] : дис. ... канд. техн. наук : 05.13.06 - информ. технологии : защищена 07.02.14 / М-во образования и науки Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т" ; науч. рук. Харченко В. С. — Х., 2013. — 190 с.
Моделирование системы управления обновлениями WEB-сервисов различных воздействий [Текст] / А.В. Боярчук // Радіоелектронні і комп'ютерні системи. — 2006. — С. 20-24.
Моделирование, спецификация и верификация "автоматных" программ [Текст] / Е.В. Кузьмин, В.А. Соколов // . — С. 38-60.
Моделі і методи аналізу та верифікації протоколів управління у програмно-конфігурованих мережах, що базуються на алгебрі комутаційних розподілених ресурсів та графах досяжності [Текст] : автореф. дис. ... канд. техн. наук : 05.12.02 - телекомунікац. системи та мережі / М-во освіти і науки України, Харк. нац. ун-т радіоелектроніки. — Харків, 2016. — 23 с.
Моделі і методи синтезу поведінкових тестів для інформаційних систем на основі еволюційно-генетичних технологій [Текст] : автореф. дис. ... канд. техн. наук : 05.13.06 - інформ. технології / М-во освіти і науки України, Одес. нац. політехн. ун-т. — Одеса, 2016. — 21 с.
Моделі і метод інформаційної технології забезпечення готовності веб-систем з урахуванням уразливостей доступності сервісів [Текст] : автореф. дис. ... канд. техн. наук : 05.13.06 - інформ. технології / М-во освіти і науки України, Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т". — Х., 2014. — 20 с.
Моделі, методи та інформаційна технологія оцінки якості людино-машинних інтерфейсів інформаційно-керуючих систем [Текст] : автореф. дис. ... канд. техн. наук : 05.13.06 - інформ. технол. / М-во освіти і науки України, Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т". — Х., 2013. — 20 с.
Моделі та інформаційна технологія забезпечення готовності інформаційно-управляючих систем космічних апаратів з оперативною верифікацією і оновленням програмних засобів [Текст] : автореф. дис. ... канд. техн. наук : 05.13.06 - інформ. технол. / М-во освіти і науки, Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т". — Х., 2013. — 20 с.
Моделі та методи інформаційної технології створення адаптивних бездротових локальних комп'ютерних мереж [Текст] : автореф. дис. ... канд. техн. наук : 05.13.06 - інформ. технології / М-во освіти і науки України, Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т". — Х., 2015. — 20 с.
Моделі та методи інформаційної технології створення адаптивних бездротових локальних комп'ютерних мереж [Текст] : дис. ... канд. техн. наук : 05.13.06 - інформ. технології : захищ. 05.06.15 / М-во освіти і науки України, Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т" ; наук. кер. Харченко В. С. — Х., 2015. — 171 с.
Модель дефектов программного обеспечения [Текст] / Национальный аэрокосмический университет им.Н.Е.Жуковского "ХАИ", Украина // Радіоелектронні і комп'ютерні системи. — 2008. — С. 46-51.
Мониторинг и обработка исключений динамически реконфигурируемых WEB-служб [Текст] / А.И. Михайличенко, А.В. Горбенко, В.С. Харченко // Радіоелектронні і комп'ютерні системи. — 2006. — С. 25-29.
Мультипроцесорні моделі розв'язання систем булевих рівнянь великої розмірності [Текст] : автореф. дис. ... канд. техн. наук : 05.13.05 "Комп'ютерні системи та компоненти" / МОН України, Харків. нац. ун-т радіоелектроніки. — Харків, 2009. — 20 с.
Надежность программной продукции [Текст] / Е.Я. Карповский, С.А. Чижов. — К. : Тэхника, 1990. — 158 с.
На пути к верификации C# - программ: трехуровневый подход [Текст] / Институт систем информатики им. А.П.Ершова СО РАН, г.Новосибирск // . — С. 4-20.
Об одном подходе и оценке характеристик программного продукта [Текст] / С.Г. Чуб, А.И. Цопа, Н.М. Болдырева // Автоматизированные системы управления : темат. сб. науч. тр. — Х. : ХАИ, 1987. — С. 41-45.
Обоснование выбора системы единиц физических величин для независимой верификации при сертификации программного обеспечения [Текст] / Б.М. Конорев, В.Л. Петрик // Открытые информационные и компьютерные интегрированные технологии. Вып. 33 - Х. : Нац. аэрокосмический ун-т "ХАИ" , 2006. — С. 116-120.
Обчислювальні методи верифікації темпоральних обмежень цілісності в процесі управління змінами в онтологіях [Текст] : автореф. дис. ... канд. техн. наук : 01.05.02 "Математичне моделювання та обчислювальні методи" / Харків. нац. ун-т ім. В. Н. Каразіна. — Харків, 2011. — 20 с.
Оптимизация теста как измерительного инструмента [Текст] / Л.В. Летова // Дистанционное и виртуальное обучение : дайджест российской и зарубежной прессы. — М. : Современная гуманитарная академия, 2014. — С. 66-74.
Оптимизиpующие пpеобpазования пpогpамм [Текст] / В.Н. Касьянов. — М. : Наука, 1988. — 336 с.
Организация базы знаний о переходах системы с атрибутами перечислимых типов [Текст] / С.В. Потиенко // Управляющие системы и машины : междунар. научный журнал / НАН Украины. Междунар.науч.-учеб.центр информ.технологий и систем. Ин-т киберн.им.В.М.Глушкова. — С. 49-52.
Отладка программ в системе телеобработки КАМА [Текст] / А.М. Лукацкий. — М. : Радио и связь, 1987. — 245 с.
Отладка пpогpамм в системах 360/370 на основе дампов памяти операционной системы [Текст] : пер с англ. / под ред. А. Е. Костина. — М. : Машиностроение, 1982. — 144 с.
Отладка систем управляющих алгоритмов ЦВМ реального времени [Текст] / под ред. Липаева В. В. — М. : Советское радио, 1974. — 328 с.
Оценка эффективности диверсификации программного обеспечения в аппаратно-программных комплексах критического назначения [Текст] / Национальный аэрокосмический университет им. Н.Е. Жуковского "ХАИ" // . — С. 209-213.
Оценка качества программ ЭВМ [Текст] / А.Ф. Кулаков. — К. : Техніка, 1984. — 167 с.
Оценка качества программного обеспечения верхнего уровня информационно-управляющих систем аэс [Текст] / В.В. Скляр, Ю.А. Белый, С.А. Малохатько // Радіоелектронні і комп'ютерні системи. — 2007. — C. 153-158.
Оценка полноты семантического контроля программного обеспечения информационно-управляющих систем [Текст] / Национальный аэрокосмический университет им. Н. Е. Жуковского "ХАИ" // Авиационно-космическая техника и технология : Научно-технический журнал. — Х. : Нац. аэрокосмический ун-т "ХАИ", 2007. — С. 86-93.
Оцінка візуальної якості цифрових зображень у телекомунікаційних мережах [Текст] : пояснюв. зап. до вип. роботи бакалавра : 924 - телекомунікаціі, інформ. мережі зв`язку : (робота викон. на рос. мові) / М-во освіти і науки України, Нац. аерокосм. ун-т ім. Жуковського "Харк. авіац. ін-т", Каф. прийому, передачі та оброб. сигналів (№504) ; кер. Пономаренко М.М. — Х., 2011. — 57 с.
Первые шаги к решению проблемы верификации программ [Текст] / Д. Вудкок // . — С. 36-43.
Повышение качества программ на основе автоматизированных методов [Текст] / А.А. Саркисян. — М. : Радио и связь, 1991. — 156 с.
Подсистема тестирования программных драйверов в измерительных информационных системах VXI [Текст] / С.Н. Зайченко, С.Н. Филимонов, В.В. Хартов // Приборы и системы. Управление, контроль, диагностика : Научно-технический и производственный журнал. — М. : Научтехлитиздат, 2004. — С. 44-48.
Подходы к верифекации и тестированию 64-битных приложений [Текст] / Тульский государственный университет // Информационные технологии. — 2008. — С. 41-45.
Построение модели качества программных средств космического назначения [Текст] / Е. Исмаил, В. Топоров // СТА Современные технологии автоматизации. — М., 2016. — С. 38-43.

1 2 3