Please use this identifier to cite or link to this item: http://essuir.sumdu.edu.ua/handle/123456789/51569
Or use following links to share this resource in social networks: Recommend this item
Title Модели, методы и информационная технология оценки качества программного обеспечения на основе профилирования и засева дефектов
Other Titles Models, methods and information technology of software quality assessment on basis of profiling and injection of faults
Authors Гордєєв, О.О.
ORCID
Keywords качество программного обеспечения
software quality
фасетно-иерархическая структура
facet-hierarchical structure
профиль дефектов
faults profile
засев дефектов
faults injection
Type PhD Thesis
Date of Issue 2007
URI http://essuir.sumdu.edu.ua/handle/123456789/51569
Publisher Национальный аэрокосмический университет им. Н.Е. Жуковского “Харьковский авиационный институт”
License
Citation Гордеев А.А. Модели, методы и информационная технология оценки качества программного обеспечения на основе профилирования и засева дефектов : диссертация ... канд. техн. наук, спец. : 05.13.06 / А.А. Гордеев; науч. руководитель В.С. Харченко. – Х. : Национальный аэрокосмический университет им. Н.Е. Жуковского “Харьковский авиационный институт”, 2007. – 207 с.
Abstract Проведенный анализ показывает, что качество современных ИУС становится всё более зависимым от качества ПО. Особенно существенна эта зависимость для ИУС аэрокосмических комплексов, АЭС и других комплексов критического применения. Основными причинами недостаточного качества ПО являются: возрастающая сложность спецификаций ПО, что обуславливает повышение сложности требований ПО, программного кода и т.д.; отставание по времени в разработке методов и средств оценки качества для новых технологий в области разработки ПО; существующие методы и ИС поддержки качества ПО в полной мере не учитывают специфику этапов ЖЦ ПО; увеличение числа стандартов в области программной инженерии обуславливают трудности, связанные с применением этих стандартов и профилированием требований, описанных в них. Следует отметить, что для ПО важным является вопрос обеспечения полноты оценки его качества при разработке, независимой верификации и экспертизы. Решение данной задачи неразрывно связано с профилированием ПО, а именно профилированием требований и дефектов. Современные методы профилирования являются слабо формализуемыми, а поддерживающие их ИС не обеспечивают в полной мере необходимый уровень качества профилирования. Поэтому задача разработки методов профилирования и оценки качества ПО ИУС является актуальной и имеет важное научно-практическое значение. Первым и вторым научными результатами являются модели описания и преобразования фасетно-иерархических структур (ФИС), которые базируются на их матрично-множественном представлении и использовании операций объединения и разбиения, что позволяет формализовать процесс профилирования требований и дефектов для оценки качества ПО. Следует отметить, что операции преобразования ФИС базируются как на известных операциях алгебры множеств, так и на операциях, которые были введены впервые. На основе данных моделей был усовершенствован метод профилирования ПО (второй научный результат) за счёт введенной формализации операций преобразования и верификации ФИС, описывающих профили ПО. Это дало возможность автоматизировать процесс профили-рования требований и дефектов. Третьим научным результатом является метод оценки качества верифика-ции программного обеспечения. Данный метод базируется на процедурах формирования и анализа невязки профилей дефектов и позволяет повысить полноту оценки ПО. Метод обеспечивает оценку качества верификации ПО на всех этапах ЖЦ. С целью анализа качества верификации ПО было введено множество ти-пов профилей дефектов ПО, а также комплекс показателей, учитывающий невязку профилей, полученную в результате анализа профилей дефектов. Для расчёта показателей оценки качества верификации был применен аппарат аддитивной свёртки, а для визуализации полученных значений – радиально-метрические диаграммы. Практическое значение полученных результатов состоит в том, что на основе проведенных исследований была разработана информационная технология (ИТ) оценки качества ПО, включающая в себя: методики; алгоритмы; инструментальные средства профилирования требований и дефектов ПО, засева дефектов в программный код, расчёта показателей оценки качества ПО и визуализации полученных значений. Это дало возможность повысить полноту оценки качества ПО по показателям: полноты оценки профиля требований на 5-10%, полноты оценки качества ПО за счёт увеличения полноты тестовых наборов на 5-8%.
Dissertation is consecrated to development of models, methods and information technology of software quality assessment on basis of software profiling (requirements, faults) and faults injection. Scientific results are: 1) models of description and transformation of facet-hierarchical structure, which are based on them matrix-set representation and use of join and decomposition operations. Models allow to formalize process of requirements and faults profiling for software quality assessment; 2) software profiling method at the expense of facet-hierarchical structures describing corresponding profiles transformation and verification operations formalization which allows to provide assessment fullness and automatize process of requirements and faults profiling of software receiving; 3) method of software verification quality assessment with use of faults injection on basis of development forming and faults profiles residual analysis procedures, which allows to raise software assessment fullness. Proposed methods and tools allow to raise software assessment fullness on basis of formal operations of facet-hierarchical structures transformation and faults injection.
Appears in Collections: Дисертації

Views

Canada Canada
1
Finland Finland
1
France France
49864
Germany Germany
24977
Greece Greece
1
Ireland Ireland
306886
Italy Italy
1
Lithuania Lithuania
1
Romania Romania
4
Russia Russia
2
Ukraine Ukraine
12743365
United Kingdom United Kingdom
6376366
United States United States
101320859
Unknown Country Unknown Country
12743364

Downloads

Belarus Belarus
3
Bulgaria Bulgaria
2796343
China China
1
Czechia Czechia
1
France France
49865
Germany Germany
2796345
India India
1
Kazakhstan Kazakhstan
1
Lithuania Lithuania
1
Netherlands Netherlands
1
Poland Poland
1
Russia Russia
21
Thailand Thailand
1
Ukraine Ukraine
36831200
United Kingdom United Kingdom
24978
United States United States
101320860
Unknown Country Unknown Country
44

Files

File Size Format Downloads
Hordeev_Modely_metod_ynformatsyonnaia_tekhnolohyia.pdf 2,23 MB Adobe PDF 143819667

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.