Зведений каталог бібліотек Харкова

• Класифікатори та каталоги
• Розробка комп' ютерної системи і програмного забезпечення

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

Підтеми:

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

Документи:

• Прикладные методы верификации программ [Текст] / под ред. А. П. Ершова. — М. : Радио и связь, 1988. — 255 с.
• Применение динамических радиальных метрических диаграмм для управления многоверсионными программными проектами [Текст] / В.С. Харченко, О.М. Тарасюк, А.В. Волковой, Ю.А. Белый // . — С. 63-68.
• Пример определения тестопригодности цифрового проекта [Текст] / В. И. Хаханов, Е. И. Литвинова, И. А. Побеженко, Tiecoura Yves // . — 292-297.
• Пріоритезація тестів у регресивному тестуванні [Текст] / О.Г. Малишевський // Системні дослідження та інформаційні технології : міжнародний науково-технічний журнал / Ін-т прикладного системного аналізу; НАНУ; МОН України. — К., 2006. — С. 16-32.
• Програмне забезпечення автоматизованої системи обліку персоналу районного відділу освіти [Текст] : пояснюв. зап. до вип. роботи бакалавра : 6.050103 - програмна інженерія : (робота викон. на рос. мові) / М-во освіти і науки, молоді та спорту України, Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т", Каф. інженерії програмного забезп. (№ 603) ; кер. Крутько В. В. — Х., 2011. — 112 с. + додатки.
• Проектування архітектури WEB-застосування на основі моделі якості [Текст] / О.Г. Харченко, І.О. Галай, І.О. Боднарочук, В.В. Яцишин // Інженерія програмного забезпечення : Науковий журнал / Мінстерство освіти і науки України національний авіаційний університет. — К., 2010. — С. 26-34.
• Работа за пультом БЭСМ-2 [Текст] : пособие для программистов / АН СССР, Вычислит. центр. — М. : Вычислит. центр, 1965. — 32 с.
• Разработка научно обоснованных принципов, моделей и методов использования языково-ориентированного подхода для создания программного обеспечения критических систем (ПЗКС) [Текст] : отчет о НИР (промежуточ.) : Д503-17/2012-Ф / М-во образования и науки, молодежи и спорта Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т" ; рук. Харченко В. : исполн. : Шостак И. [и др.]. — Х., 2012. — 120 с.
• Разработка научно обоснованных принципов, моделей и методов использования языково-ориентированного подхода для создания программного обеспечения критических систем (ПЗКС) [Текст] : отчет о НИР (промежуточ.) : Д503-17/2012-Ф / М-во образования и науки Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т" ; рук. Харченко В. : исполн. : Шостак И. [и др.]. — Х., 2013. — 111 с.
• Разработка ПО для исследования погрешностей оценки вероятности устойчивости системы стабилизации ракеты-носителя с помощью приближенных условий устойчивости [Текст] : поясн. зап. к вып. работе бакалавра : 6.050101 - компьютер. науки / М-во образования и науки, молодежи и спорта Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т", Каф. информ. технологий проектирования (№ 105) ; рук. Лежнина М. В. — Х., 2012. — 72 с.
• Разработка теоретических основ обеспечения гарантоспособности систем критического назначения в условиях ресурсных ограничений [Текст] : отчет о НИР (промежуточ.) : Д503-17/2012-Ф / Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т" ; рук. Харченко В. : исполн. : Лысенко И. [и др.]. — Х., 2013. — 158 с.
• Разработка формальных моделей и тестирование соответствия для систем с асинхронными интерфейсами и телекоммуникационных протоколов [Текст] / Н.В. Пакулин, А.В. Хорошилов // Программирование. — 2007. — С. 26-55.
• Розробка вимог до СКБД на базі стандарту ISO 9126 [Текст] / О.В. Тегельман // Інженерія програмного забезпечення : Науковий журнал / Мінстерство освіти і науки України національний авіаційний університет. — К., 2011. — С. 28-32.
• Свойства предикатного трансформера системы VRS [Текст] / Институт кибернетики им.В.М.Глушкова НАН Украины, г.Киев, Украина // Кибернетика и системный анализ. — 2010. — №4. — С. 3-16.
• Семантичні моделі, методи та інформаційна технологія підвищення надійності програмного забезпечення інформаційно-управляючих систем [Текст] : автореф. дис. ... канд. техн. наук : 05.13.06 - автоматиз. системи упр. та прогрес. інформ. технол. / М-во освіти і науки України, Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т". — Х., 2007. — 20 с.
• Семантичні моделі, методита інформаційна технологія підвищення надійності програмного забеспечення інформаційно-управляючих систем [Текст] : дис. ... канд. техн. наук : 05.13.05 - автоматизовані системи управління та прогресивні інформ. технології / Нац. аерокосм. ун-т "ХАІ" ; рук. Конорев Б.В. — Х., 2006. — 196 с.
• Система комбинационной генерации тестов вход/выход: основные методы и алгоритмы [Текст] / Е.Я. Волченков // Информационные технологии. — 2009. — С. 41-46.
• Системы агентов, управляемых логическими прграммами: сложность верификации [Текст] / Институт прикладной математики им.М.В.Келдыша РАН, г.Москва, Россия // Программирование. — 2009. — С. 37-56.
• Скрининг-технология формирования нормативных профилей для программного обеспечения компьютерных систем аэрокосмических комплексов [Текст] / В.С. Харченко, Б.М. Конорев, Г.Н. Чертков, А.В. Волковой // Открытые информационные и компьютерные интегрированные технологии : сб. науч. тр. / М-во образования и науки Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т". — Х. : Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т", 2003. — С. 160-167.
• Сложность задачи верификации координационного механизма системы программной поддержки совместной сетевой работы [Текст] / Н.Н. Глибовец, Д.К. Гломозда // Кибернетика и системный анализ. — 2008. — №4. — С. 15-19.
• Средства отладки пpогpамм в ОС ЕС ЭВМ [Текст] : cпpав. пособие / под ред. В. Н. Лебедева. — М. : Статистика, 1979. — 247 с.
• Структура программного комплекса синтеза и верификации моделей цифровых автоматов [Текст] / Л.А. Шувалова, Д.Н. Моамар, Т.Ю. Уткина // Системи обробки інформації / М-во оборони України, Харків. ун-т Повітр. Сил ім. Івана Кожедуба ; редкол.: Стрєлков О. І. (голова) та ін. — Харків : ХУПС ім. І. Кожедуба, 2008. — С. 156-159.
• Сучасні інформаційні та енергозберігаючі технології життєзабезпечення людини:6-та Міжнародна науково-практична конференція (6-10 грудня 1999р.,Харків) [Текст] : Збірник наук.праць / Редкол.:Скрипник Ю.О.(голова ред.колегії) та ін. — К. : "ФАДА,ЛТД", 1999. — 900с.
• Таксономические модели профилирования требований информационно-управляющих систем критического применения [Текст] / Национальный аэрокосмический университет им.Н.Е.Жуковского "ХАИ", г.Харьков, Украина // . — С. 104-108.
• Теоретические основы, методы и информационные технологии разработки программно-технических комплексов критического применения в условиях ресурсных ограничений. Внедрение полученных результатов [Текст] : отчет о НИР (заключ.) : Д503-17/2012-Ф / М-во образования и науки Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т" ; рук. Харченко В. : исполн. : Лысенко И. [и др.]. — Х., 2014. — 278 с.
• Теоретические основы, методы и технологии обеспечения гарантоспособности эволюционирующих компьютеризованных инфраструктур для аэрокосмических и критических объектов [Текст] : отчет о НИР (заключ.) : Д503-17/2009 / М-во образования и науки, молодежи и спорта Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т" ; рук. Харченко В. ; исполн.: Лысенко И. [и др.]. — Х., 2011. — 252 с.
• Тестирование и верификация HDL-моделей цифровых систем на кристаллах [Текст] / Харьковский национальный университет радиоэлектроники, г.Харьков, Украина // Электронное моделирование. — 2010. — С. 31-60.
• Тестирование компиляторов на программные закладки [Текст] / С.В. Миронов // . — С. 61-64.
• Технология восстановления работоспособности системы на кристалле [Текст] / Харьковский национальный университет радиоэлектроники, г.Харьков, Украина // Радіоелектронні і комп'ютерні системи. — 2010. — С. 262-269.
• Технология программирования и создания программных продуктов [Текст] : учеб. пособие / М-во образования и науки Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т". — Х. : Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т", 2005. — 20 с.
• Технология проектирования комплексов программ АСУ [Текст] / под ред. Ю. В. Асафьева, В. В. Липаева. — М. : Радио и связь, 1983. — 264 с.
• Технология тестирования и верификации системных HDL-моделей [Текст] / В. И. Хаханов, О. А. Гузь, И. А. Побеженко, Ngene Christopher Umerah // . — 205-211.
• Трансформационный подход к верификации логических программ [Текст] / Московский государственный институт электроники и математики, г.Москва, Россия // Приборы и системы. Управление, контроль, диагностика : Научно-технический и производственный журнал. — М. : Научтехлитиздат, 2010. — С. 16-21.
• Унифицированная модель оценки верификации программного обеспечения на основе засева дефектов [Текст] / А.А. Гордеев // Радіоелектронні і комп'ютерні системи. — 2006. — С. 147-151.
• Формализация интерфейсных стандартов и автоматическое построение тестов соответствия [Текст] / Институт системного программирования РАН (ИСП РАН) // Информационные технологии. — 2007. — С. 2-7.
• Формальна верифікація потоків робіт управляючих алгоритмів в системах реального часу [Текст] : пояснюв. зап. до диплом. роботи магістра : 8.080403 - комп'ютерні науки, програмне забезп. автоматизованних систем : (робота викон на рос. мові) / М-во освіти і науки України, Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т", Каф. інженерії програмного забезп. (№ 603) ; кер. Туркін І. Б. — Х., 2011. — 102 с. + додатки.
• Формальна верифікація системи управління побутової техніки [Текст] : пояснюв. зап. до диплом. проекту (роботи) магістра : 8.05010201 - комп'ют. системи та мережі : (робота викон. на рос. мові) / Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т", Ф-т радіотехн. систем літ. апаратів, Каф. комп'ют. систем і мереж (№ 503) ; кер. Тарасюк О. М. — Х., 2013. — 85 с. + додатки.
• Формальная верификация динамически модифицируемых моделей рабочих потоков Windows Workflow Foundation [Текст] / Национальный аэрокосмический университет им Н.Е.Жуковского "ХАИ",г.Харьков, Украина // Радіоелектронні і комп'ютерні системи. — 2009. — С. 139-142.
• Формальная верификация программного обеспечения для автоматизации испытаний систем космических аппаратов [Текст] / И.Б. Туркин, Б.Б. Михнич // Інженерія програмного забезпечення : Науковий журнал / Мінстерство освіти і науки України національний авіаційний університет. — К., 2010. — С. 15-23.
• Формирование методологического обеспечения гарантоспособности программно-технических комплексов и систем критического применения в условиях ресурсных ограничений [Текст] : отчет о НИР (промежуточ.) : Д503-17/2012-Ф / М-во образования и науки, молодежи и спорта Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т" ; рук. Харченко В. : исполн. : Лысенко И. [и др.]. — Х., 2012. — 111 с.
• Целочисленное семантическое отображение [Текст] / В.Л. Петрик // . — C. 73-81.
• Assessment of the static analyzers usage fitness for software vulnerabilities identification [Текст] = Оценка пригодности применения статистических анализаторов для выявления уязвимостей в программном обеспечении / O.V. Pomorova, D.O. Ivanchyshyn // Радіоелектронні і комп'ютерні системи. — 2013. — С. 328-332.
• A static analysis approach for formal verification of systemc designs [Текст] / M. Glukhikh, M. Moiseev, H. Richter // Радіоелектронні і комп'ютерні системи. — 2013. — С. 227-232.
• Concept of critical software independent verification based on invariant-oriented model-checking approach [Текст] = Концепция независимой верификации критического программного обеспечения на основе инварианто-ориентированного model-checking подхода / B.M. Konorev, V.V. Sergiienko, G.N. Zholtkevych та ін. // Радіоелектронні і комп'ютерні системи. — 2012. — С. 184-190.
• Methods for improving quality of software products [Текст] / I. Slizovskaya // Радіоелектронні і комп'ютерні системи. — 2007. — C. 177-180.
• MODEL CHECKING. Верификация параллельных и распределенных программных систем [Текст] / Ю.Г. Карпов. — СПб. : БХВ-Петербург, 2010. — 560 с. + CD-ROM.
• On combining Event-b and workflow [Текст] = Объединение Event-B и потока последовательности выполняемых действий / Школа компьютерной науки, Англия // Радіоелектронні і комп'ютерні системи. — 2009. — С. 177-181.
• The static analysis of a program code procedure based on metrics profiling [Текст] / A. Andrashov, A. Gordeyev, V. Kharchenko, V. Sklyar // Радіоелектронні і комп'ютерні системи. — 2007. — C. 184-188.
• User interface verifying library for iOS applications [Текст] : Degree Project (work) Bachelor : 6.050101 - Computer Science, Information Control Systems / Min. of Education and Science of Ukraine, Nat. Aerospace Univ. named after N. Ye. Zhukovskiy "Kharkiv Aviation Inst.", Dep. of Aircraft Control, Chair Information Control System, Dep. № 302; head Golovan K. V. — Х., 2014. — 56 p. + app., CD.

1    2    3