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

Підтеми:

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

Документи:

Автоматизация верификации временных мультипараллельных аппаратно-программных средств [Текст] / Харьковский национальный университет им. В.Н.Каразина, г.Харьков, Украина // Радіоелектронні і комп'ютерні системи. — 2010. — С. 99-103.
Автоматизация регистрации и управления дефектами программного обеспечения [Текст] : поясн. зап. к вып. работе бакалавра : 6.050101 - компьютер. науки / М-во образования и науки, молодежи и спорта Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т", Каф. информ. технологий проектирования (№ 105) ; рук. Щеткина Л. А. — Х., 2012. — 75 с.
Автоматизированное построение полных и непротиворечивых баз знаний в интегрированных экспертных системах [Текст] / Национальный исследовательский ядерный университет "МИФИ", г.Москва, Россия // Приборы и системы. Управление, контроль, диагностика : Научно-технический и производственный журнал. — М. : Научтехлитиздат, 2010. — С. 21-24.
Автоматический метод динамического построения абстракций состояний формальной модели [Текст] / Институт кибернетики им.В.М.Глушкова НАН Украины, г.Киев, Украина // Кибернетика и системный анализ. — 2010. — №4. — С. 70-90.
Автоматичний асесмент і аналіз метрик візуальної якості зображень [Текст] : пояснюв. зап. до диплом. проекту магістра : 050903 - телекомунікацій, 8.05090301- інформаційні мережі зв'язку : (робота викон. на рос. мові) / Нац. аерокосм. ун-т ім. Жуковського "Харк. авіац. ін-т", Ф-т радіотех. систем літ. апаратів, Каф. прийому, передачі та оброб. сигналів (№504) ; кер. Пономаренко М. М,. — Х., 2014. — 85 c. + додатки.
Анализ моделей представления требований к программному обеспечению при их профилировании [Текст] / Национальный аэрокосмический университет им.Н.Е.Жуковского "ХАИ", г.Харьков, Украина // Радіоелектронні і комп'ютерні системи. — 2009. — С. 186-191.
Аналіз семантичних дефектів програмного забезпечення [Текст] / Ю.С. Манжос // Інженерія програмного забезпечення : Науковий журнал / Мінстерство освіти і науки України національний авіаційний університет. — К., 2010. — С. 5-14.
Багатоінваріантний метод підвищення надійності програмних засобів [Текст] / Национальный аэрокосмический университет им. Н.Е. Жуковского "ХАИ" // . — С. 193-196.
Верификация экспертной информации при построении систем оперативного управления и диагностики технологических процессов [Текст] / Санкт-Петербургский государственный технологический институт // Мехатроника, автоматизация, управление. — 2007. — С. 55.
Верификация моделей надежности программного обеспечения [Текст] / Д.А. Маевский, Е.Ю. Маевская, О.П. Жеков // Радіоелектронні і комп'ютерні системи. — 2014. — С. 55-59.
Верификация моделей цифровых устройств, представленных на языках описания аппаратуры [Текст] : дис. ... канд. техн. наук : 05.13.12 "Системы автоматизации проектных работ" / МОН Украины, Харьк. нац. ун-т радиоэлектроники. — Харьков, 2007. — 176 с.
Верификация программного обеспечения [Текст] : учеб. пособие / М-во образования и науки Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т". — Х. : Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т", 2006. — 132 с.
Верификация программных систем геопространственного обеспечения ВМФ [Текст] / Ю.Н. Жуков // . — С. 78-82.
Верификация программ: состояние, проблемы, результаты. I [Текст] / С.Л. Крывый, А.Н. Максимец // . — С. 3-14.
Верификация программ: состояние, проблемы, результаты. II [Текст] / С.Л. Крывый, А.Н. Максимец // . — С. 11-20.
Верификация UCM-спецификаций распределенных систем с использованием раскрашенных сетей Петри [Текст] / Н.В. Визовитин, В.А. Непомнящий, А.А. Стененко // Кибернетика и системный анализ. — 2015. — С. 62-74.
Верифікація моделей цифрових пристроїв, які подано мовами опису апаратури [Текст] : автореф. дис. ... канд. техн. наук : 05.13.12 "Системи автоматизації проектувальних робіт" / Харків. нац. ун-т радіоелектроніки. — Харків, 2007. — 20 с.
Гарантоздатність комп'ютерних систем: проблеми і результати [Текст] / Національний аерокосмічний університет ім. М.Є.Жуковського "ХАІ", м.Київ, Україна // Авіаційно-космічна техніка і технологія : наук.- техн. журн. / М-во освіти і науки України, Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т". — Х. : Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т", 2003. — С. 352-376.
Диалоговые системы проектирования и отладки программ ОС ЕС ЭВМ [Текст] : справочник / Б.М. Менделевич, Г.С. Финин. — К. : Тэхника, 1990. — 166 с.
Дослідження існуючих підходів підвищення якості програмного забезпечення критичного застосування [Текст] / Миколаївський державний гуманітарний університет ім. П. Могили // . — С. 202-208.
Экспертиза программного обеспечения информационно-управляющих систем с использованием дескрипторного семантического пространства [Текст] / Национальный аэрокосмический университет им. Н. Е. Жуковского "ХАИ" // Радіоелектронні і комп'ютерні системи. — 2007. — С. 29-35.
Инвариантно-ориентированная информационная технология независимой верификации программного обеспечения информационно-управляющих систем критического применения [Текст] : дис. ... канд. техн. наук : 05.13.06 - информ. технологии : защищена 02.03.12 / М-во образования и науки, молодежи и спорта Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т". — Х., 2011. — 166 с.
Индивидуальная отладка программ [Текст] / под ред. А. П. Ершова. — М. : Наука, 1982. — 190 с.
Интеграция методов верификации программных систем [Текст] / Институт системного программирования РАН, г.Москва, Россия // Программирование. — 2009. — С. 41-55.
Информационная технология верификации программного обеспечения информационно-управляющих систем на основе дескрипторной модели [Текст] : дис. ... канд. техн. наук : 05.13.06 - информ.технологии / МОН Украины, Нац. аэрокосм. ун-т им. Н.Е. Жуковского "ХАИ" ; рук. Вартанян В.М. — Х., 2009. — 198 с.
Использование информации о стоимости тестов и серьезности ошибок в процессе приоритезации тестов [Текст] / О.Г. Малышевский // Системні дослідження та інформаційні технології : міжнародний науково-технічний журнал. — К., 2008. — 1. — С. 63-78.
Исследование свойств документов MSC с помощью преобразования их в сети Петри [Текст] / Киевский национальный университет имени Тараса Шевченка, г.Киев, Украина // Кибернетика и системный анализ. — 2009. — №6. — С. 165-171.
Інваріантно-орієнтована інформаційна технологія незалежної верифікації програмного забезпечення інформаційно-керуючих систем критичного застосування [Текст] : автореф. дис. ... канд. техн. наук : 05.13.06 - інформ. технол. / М-во освіти і науки, молоді та спорту України, Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т". — Х., 2012. — 21 с.
Інструментальний засіб порівняльного оцінювання і багатокритеріального вибору архітектури програмних систем [Текст] / О.Г. Харченко, І.О. Боднарчук, І.Е. Райчев, І.О. Галай // . — С. 10-24.
Інтервальна модель та методи формальної верифікації програмного забезпечення систем критичного використання [Текст] : пояснюв. зап. до диплом. роботи магістра : 8.080403 - комп'ютерні науки, програмне забезп. автоматизованних систем : (робота викон на рос. мові) / М-во освіти і науки України, Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т", Каф. інженерії програмного забезп. (№ 603) ; кер. Манжос Ю. С. — Х., 2011. — 73 с. + додатки.
Інформаційна технологія верифікації програмного забезпечення інформаційно-управляючих систем на основі дескрипторної моделі [Текст] : автореф. дис. ... канд. техн. наук : 05.13.06 - інформ. технол. / М-во освіти і науки України; Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т". — Х., 2009. — 18 с.
Калибровка чувствительности дескрипторного семантического контроля программного обеспечения инфоринформационно-управляющих систем [Текст] / В.Л. Петрик, Ю.С. Манжос // Открытые информационные и компьютерные интегрированные технологии : сб. науч. тр. — Х. : Нац. аэрокосмический ун-т "ХАИ", 2009. — С. 209-215.
Компьютерные технологии для ГИС-приложений [Текст] : учеб. пособие по лаб. практикуму / М-во образования и науки, молодежи и спорта Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т". — Х. : Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т", 2013. — 40 с.
Контроль качества знаний на основе вероятностных критериев оценки [Текст] / Б.Я. Лихтциндер // Информационные технологии : научно-технич. и научно-произв.журнал. — М., 2006. — 2. — С.73-78.
Концепция и основные особенности модели качества растущего пакета программ rRT-Office [Текст] / Харьковский национальный университет им.В.Н.Каразина, г.Харьков, Украина // . — С. 113-116.
Кубитные модели и методы анализа и диагностирования цифровых устройств [Текст] : дис. ... канд. техн. наук : 05.13.05 "Компьютерные системы и компоненты" / М-во образования и науки Украины, Харьк. нац. ун-т радиоэлектроники. — Харьков, 2014. — 187 с.
Кубітні моделі та методи аналізу і діагностування цифрових пристроїв [Текст] : автореф. дис. ... канд. техн. наук : 05.13.05 "Комп'ютерні системи та компоненти" / М-во освіти і науки України, Харків. нац. ун-т радіоелектроніки. — Харків, 2015. — 20 с.
Локализация ошибок методом построения сокращенных трасс [Текст] / Институт системного программирования РАН, г.Москва, Россия // Программирование. — 2009. — С. 35-50.
Малогабаритный тестер и программное обеспечение информационного экспресс -контроля современных микросхем [Текст] / Д.И. Дейнека, В.В. Лучинин // Приборы и техника эксперимента : научный журнал / РАН. — С. 155-157.
Математичне забезпечення розв'язання задач передбачення на основі модифікованого методу Делфі [Текст] : автореф. дис. ... канд. техн. наук : 01.05.04 - систем. аналіз і теорія оптим. рішень / М-во освіти і науки України, Нац. техн. ун-т України "Київ. політехн. ін-т". — К., 2015. — 19 с.
Метод багатокритеріальної оптимізації програмної архітектури на основі аналізу компромісів [Текст] / О.Г. Харченко, І.О. Боднарчук, І.О. Галай // Інженерія програмного забезпечення : Науковий журнал / Мінстерство освіти і науки України національний авіаційний університет. — К., 2012. — С. 5-11.
Метод генерации тестовых сценариев в среде инсерционного моделирования [Текст] / А.В. Колчин, В.П. Котляров, П.Д. Дробинцев // Управляющие системы и машины : междунар. научный журнал / НАН Украины. Междунар.науч.-учеб.центр информ.технологий и систем. Ин-т киберн.им.В.М.Глушкова. — С. 43-48, 63.
Метод и инструментальные средства комплексной метрико-вероятностной оценки надежности программного обеспечения [Текст] / В.С. Харченко, О.М. Тарасюк, А.В. Горбенко, В.В. Скляр // Электронное моделирование. — 2005. — С. 85-98.
Методи і засоби забезпечення та контролю якості програмних систем [Текст] : автореф. дис. ... канд. техн. наук : 01.05.03 "Математичне та програмне забезпечення обчислювальних машин і систем" / Нац. авіац. ун-т. — Київ, 2011. — 20 с.
Методика нормализации статистических данных тестирования программного обеспечения [Текст] / О.М. Тарасюк // Радіоелектронні і комп'ютерні системи. — 2007. — C. 189-192.
Методика разработки и средства формализации функциональных спецификаций систем и устройств [Текст] / А.Б. Годлевский, Н.М. Мищенко, М.К. Мороховец та ін. // Кибернетика и системный анализ. — 2016. — С. 25-42.
Методи оцінювання візуальної якості та подібності цифрових зображень для засобів телекомунікації [Текст] : автореф. дис. ... д-ра техн. наук : 05.12.13 - радіотехн. пристрої та засоби телекомунікацій / М-во освіти і науки, молоді та спорту України, Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т". — Х., 2012. — 32 с.
Методи та інструментальні засоби верифікації моделей об'єктно-орієнтованих програм [Текст] : автореф. дис. ... канд. техн. наук : 05.13.06 - інформ. технології / М-во освіти і науки України, Чернігів. нац. технолог. ун-т. — Чернігів, 2015. — 20 с.
Методи та інструментальні засоби метрико-ймовірнісної оцінки якості програмного забезпечення інформаційно-управляючих систем критичного застосування [Текст] : автореф. дис. ... канд. техн. наук : 05.13.06 - автоматизовані системи управління та прогресивні інформаційні технології / М-во освіти і науки України, Нац. аерокосм. ун-т ім. М.Є.Жуковського "ХАІ". — Х., 2004. — 20 с.
Методи та інформаційна технологія оцінювання функціональної безпеки інформаційно-керуючих систем із використанням формальних нотацій [Текст] : автореф. дис. ... канд. техн. наук : 05.13.06 - інформ. технол. / М-во освіти і науки, молоді та спорту України, Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т". — Х., 2013. — 20 с.

1 2 3