Информационная система "Конференции"



IV Всероссийская конференция молодых ученых по математическому моделированию и информационным технологиям

Красноярск, Академгородок, 3-5 ноября 2003 года

Тезисы докладов


Задачи поддержки принятия решений

Решение задачи автоматического измерения и оценивания плана программного проекта с использованием его формальной модели

Матвеева Т.О., Старовойтов И.В.

Институт автоматики и процессов управления ДВО РАН (Владивосток)

При выполнении проектов, связанных с разработкой программных средств (ПС), менеджеры в организациях-разработчиках сталкиваются с необходимостью детального планирования этих проектов и улучшения характеристик создаваемых планов. Такая деятельность нередко выполняется с использованием методов формального моделирования процессов производства. Это предполагает:

(а) создание формальной модели плана проекта, наиболее полно отражающей статические и динамические свойства порождаемого им процесса,

(б) выбор критериев оценивания/улучшения, выраженных набором метрик,

(в) измерение построенной модели процесса в терминах выбранных метрик,

(г) изменение плана с целью минимизации/максимизации значений метрик,

(д) оценку достигнутого эффекта от изменения плана.

Использование техники моделирования процесса позволяет при минимальных затратах получить оценки эффекта от изменения плана проекта. Кроме того, при наличии соответствующих автоматических средств, реализующих операционную семантику использованной модели процесса, можно осуществить ее "анимацию" (выполнение) и визуально оценить ее динамические характеристики путем наблюдения ее поведения.

Однако среди работ по моделированию процессов производства, опубликованных в известных отечественных и зарубежных журналах, нет таких, которые охватывали бы весь цикл улучшения плана проекта и обеспечивали развитый анализ вариантов плана. Большинство применяемых формальных моделей процессов производства на уровне отдельного проекта оставляют без внимания то, что в организации, имеющей хотя бы 2-й уровень зрелости (согласно шкале SEI СММ [1]), все выполняемые проекты имеют общие черты.

Целью выполненного исследования являлось формирование подхода, который охватывал бы весь цикл улучшения плана проекта и обеспечивал бы возможность его автоматизации. Для достижения этой цели были формально определены следующие компоненты:

(1) модель плана программного проекта, значения параметров которой наследуются от общей модели процесса производства и содержимое которой согласуется с современными стандартами технологии программирования;

(2) исчисление, обеспечивающее имитацию процесса выполнения проекта;

(3) набор "пользовательских" моделей плана проекта, обеспечивающих визуальное представление плана проекта как при его специфицировании, так и при визуальном оценивании его модельного выполнения менеджером проекта;

(4) набор "пользовательских" моделей плана программного проекта, обеспечивающих удобное для менеджера визуальное представление плана проекта при его специфицировании и оценивании его модельного выполнения.

Полученные результаты были использованы при разработке программной среды, поддерживающей решение задачи планирования программных проектов на предприятии, где модель процесса производства основана на современных формализованных знаниях в области технологии программирования.

Литература

1.Paulk M.C., Curtis B. et al. Capability Maturity Model for software, Version 1.1. CMU/SEI-93-TR-24. Software Engineering Institute, 1993. 462 p.

Дополнительные материалы: HTML
Примечание. Тезисы докладов публикуются в авторской редакции



Ваши комментарии
Обратная связь
[ICT SBRAS]
[Головная страница]
[Конференции]

© 1996-2000, Институт вычислительных технологий СО РАН, Новосибирск
© 1996-2000, Сибирское отделение Российской академии наук, Новосибирск