|
97 модели к поведению реального проекта. Реляционный формат обеспечивает удобство работы с моделью при помощи стандартных систем управления базами данных. 3. Разработана графовая модель плана программного проекта, позволяющая специфицировать реляционную модель плана программного проекта, визуализировать результаты её исполнения, а также результаты измерения плана проекта. Графовая модель предназначена для визуализации определенных аспектов плана проекта и не эквивалентна полной реляционной модели, которая содержит слишком много атрибутов для их визуального анализа. Предложенная графовая модель обеспечивает удобное визуальное представление плана проекта как при его специфицировании, так и при оценивании его модельного исполнения. Определение графовой модели включает в себя формальные правила её построения по имеющейся реляционной модели. Предложенные графовая и реляционная модели используются также при формальном определении метрик и дефектов плана программного проекта, позволяющих специфицировать критерии сравнительного оценивания различных вариантов плана программного проекта. |
7 Методы исследований. Для решения указанных задач использовались элементы теории реляционных отношений, теории графов, теории измерений, методы технологии программирования, методы измерений и методы системного программирования. Научная новизна работы состоит в следующем. 1. Разработан метод математического описания программных процессов, позволяющий моделировать процесс производства программного обеспечения и его статические свойства на всех уровнях рассмотрения: высокоуровневый процесс производства, процесс производства в организации, процесс производства в отдельном проекте. 2. Разработано проблемно-ориентированное исчисление, интерпретирующее формальную статическую модель плана программного проекта и имитирующее процесс его выполнения с целью анализа динамических свойств плана. 3. Формально определен набор метрик и дефектов плана программного проекта с использованием его реляционной и графовых моделей, позволяющий специфицировать критерии сравнительного оценивания различных вариантов плана программного проекта и методы анализа характеристик плана программного проекта. Практическая ценность работы состоит в том, что полученные в диссертации научные результаты имеют конкретную прикладную направленность, связанную с повышением качества планирования процесса производства программного обеспечения. Разработанные модели и методы применены при реализации программного средства для моделирования, измерения и оценивания планов проектов по разработке программного обеспечения. В работе получены следующие основные практические результаты. 1. Разработана реляционная модель, определяющая компоненты процесса производства программного обеспечения (процессы, виды деятельности, задачи, порождаемые ими продукты и используемые ресурсы), их атрибуты и связи между ними, а также ограничения конкретных программных проектов. 104 промышленного программирования, описанной в специальной литературе, и позволяет формально специфицировать план программного проекта. 2. Разработано формально определенное проблемно-ориентированное исчисление, позволяющее исполнить статическую реляционную модель плана программного проекта и смоделировать процесс выполнения плана. Проблемно-ориентированное исчисление дает возможность, запустив условные "часы" проекта, моделировать определенные события и атрибуты процесса исполнения проекта, что позволяет приблизить поведение модели к поведению реального проекта. Реляционный формат обеспечивает удобство работы с моделью при помощи стандартных систем управления базами данных. 3. Разработаны графовые модели плана программного проекта, позволяющие специфицировать реляционную модель плана программного проекта, визуализировать результаты её исполнения, а также результаты измерения плана проекта. Каждая из графовых моделей j предназначена для визуализации определенных аспектов плана проекта и не эквивалентна полной реляционной модели, которая содержит слишком много атрибутов для их визуального анализа. Были определены такие модели плана проекта, как статический граф, динамический граф и приращение динамического графа. Совокупность предложенных графовых моделей обеспечивает удобное визуальное представление плана проекта как при его специфицировании, так и при оценивании его модельного исполнения. Определение графовых моделей является конструктивным и включает в себя формальные правила их построения по имеющейся реляционной модели. Предложенные реляционная и графовые модели используются также при формальном определении метрик и дефектов плана программного проекта, позволяющих специфицировать критерии сравнительного оценивания различных вариантов плана программного проекта, а также при определении формальных правил прослеживания плана программного проекта (см. Главу 3). 155 Заключение Основные результаты работы заключаются в следующем: 1. Разработана реляционная модель, определяющая компоненты процесса производства ПО (процессы, виды деятельности, задачи, порождаемые ими продукты и используемые ресурсы), их атрибуты и связи между ними, а также ограничения конкретных программных проектов. Эта обобщённая модель позволяет построить модель процесса производства ПО в конкретной организации, которая в дальнейшем будет использоваться для создания формальных моделей планов проектов по разработке ПО. 2. Разработано формально определенное проблемно-ориентированное исчисление, позволяющее исполнить статическую реляционную модель плана программного проекта и смоделировать процесс выполнения плана. Исследование динамических свойств планов программных проектов позволяет оценить реалистичность этих планов и выявить их дефекты, которые невозможно обнаружить при анализе статических моделей. 3. Разработаны графовые модели плана программного проекта, позволяющие специфицировать реляционную модель плана программного проекта, визуализировать результаты её исполнения, а также результаты измерения плана проекта. Графовые модели позволяют руководителю проекта не задумываться о тех сложных формальных моделях, которые используются для исследования статических и динамических свойств плана программного проекта. Он видит перед собой удобное графическое представление модели плана и работает именно с графическими элементами. 4. Формально определен набор метрик и дефектов плана программного проекта с использованием его реляционной и графовых моделей, позволяющий специфицировать критерии сравнительного оценивания |