УДК: 004.05

Выявление противоречий в требованиях к программному продукту на основе исследования непрямых связей между ними

В. Е. Гвоздев¹, д-р техн. наук, проф., зав. каф., e-mail: wega55@mail.ru, О. Я. Бежаева¹, канд. техн. наук, доц., e-mail: obezhaeva@gmail.com, Р. Р. Курунова^{1, 2}, аспирант, инженер, e-mail: roksana.kurunova@gmail.com,
¹ Уфимский государственный авиационный технический университет, ² ОАО "НИИ "Солитон", г. Уфа

Конечной целью исследований, результаты которых представлены в статье, является разработка формальных процедур установления неявных противоречий в системах требований к программному продукту. Предлагаемые подходы ориентированы на решение задачи обеспечения одного из базовых свойств требований к программным продуктам — непротиворечивости. Рассмотрены подходы к анализу характера и силы транзитивных связей между требованиями. Основу решения задачи составляет системное сочетание технологии QFD-проектирования, использование аппаратов знаково-ориентированных и нечетких графов. Предложена нелинейная структурная модель "каскад домов качества", отличающаяся от известной линейной модели тем, что в ней отражены транзитивные связи между требованиями внутри дома качества, в также внешние обратные связи между домами качества. Предлагаемые подходы позволяют, во-первых, адаптировать аппарат QFD, широко применяемый в различных инженерных приложениях, в область анализа проектных решений, связанных с IT. Во-вторых, они позволяют разработать формальные процедуры выявления скрытых противоречий между требованиями, что повышает качество управления требованиями.

Ключевые слова: непротиворечивость требований к программным продуктам, транзитивные связи, противоречия между требованиями, QFD, дом качества, знаково-ориентированные графы, нечеткие графы, анализ проектных решений

Стр. 11–20

Работа выполнена при поддержке гранта РФФИ № 14-08-97036.