|
10 ГЛАВА 1. МЕТОДЫ ОЦЕНКИ И ПРОЕКТИРОВАНИЯ ПРОГРАММНЫХ СИСТЕМ 1.1 Основные стандарты, регламентирующие процесс создания ПС Одной из задач, решаемых менеджерами в проектах создания программных систем (ПС), является детальное планирование этих проектов. Такая деятельность включает в себя определение процессов, выполняемых в ходе проекта, разбиение этих процессов на задачи и подзадачи, соответствующие шагам проекта, определение связей между задачами по передаваемым рабочим продуктам, установление графика выполнения шагов проекта, а также назначение ресурсов для выполнения этих шагов людей, средств и методов реализации. Созданные планы могут подвергнуться модификации, если их характеристики не удовлетворяют выбранным критериям (таким как уровень занятости ресурсов или оцениваемая общая продолжительность проекта). Формальное моделирование процессов производства программного обеспечения может включать следующую последовательность шагов: 1. построение формальной модели, наиболее полно отражающей свойства реального процесса; 2. выбор критериев улучшения, выраженных с использованием метрик оцениваемого процесса; 3. измерение построенной модели процесса в терминах выбранных метрик; 4. целенаправленное изменение модели процесса с целью минимизации/максимизации значений выбранных метрик; 5. оценку достигнутого эффекта от изменения процесса [31]. Однако среди работ по моделированию процессов производства, опубликованных в отечественной и зарубежной литературе, нет таких, которые охватывали бы весь цикл улучшения плана проекта и обеспечивали развитый анализ вариантов плана. Большинство применяемых в настоящее время методов формального моделирования процессов на уровне отдельного |
11 Глава 1 Стандарты процесса производства программного обеспечения, средства и формальные методы моделирования планов программных проектов. Одной из задач, решаемых менеджерами в проектах создания программных средств (ПС), является детальное планирование этих проектов. Такая деятельность включает в себя определение процессов, выполняемых в ходе проекта, разбиение этих процессов на задачи и подзадачи, соответствующие шагам проекта, определение связей между задачами по передаваемым рабочим продуктам, установление графика выполнения шагов проекта, а также назначение ресурсов для выполнения этих шагов людей, средств и методов реализации. Созданные планы могут подвергнуться модификации, если их характеристики не удовлетворяют выбранным критериям (таким как уровень занятости ресурсов или оцениваемая общая продолжительность проекта). Существуют специализированные программные средства (например, Microsoft Project, Open Plan, Adaptable Process Model [99]), поддерживающие осуществление такой деятельности, а также специализированные методы (например, PERT, СРМ [35, 98]), позволяющие получать статистическую оценку наиболее вероятной продолжительности запланированного проекта. Более глубокий анализ характеристик планируемого проекта могут обеспечить средства, основанные на методах формального моделирования процессов производства (таких как конечные автоматы, сети Петри, продукционные системы [71, 75, 89, 102, 103]) и обеспечивающие прогнозирование динамических характеристик проекта. Тем самым, использование таких средств потенциально позволяет при минимальных затратах получить оценки эффекта от изменения плана проекта, поскольку при наличии соответствующего формального аппарата можно осуществить "анимацию" модели проекта, количественно оценить ее динамические характеристики, а также выявить фрагменты плана, которые при выполнении проекта могут привести к неэффективному использованию ресурсов [75, 102]. 12 Формальное моделирование процессов производства программного обеспечения может включать следующую последовательность шагов: 1) построение формальной модели, наиболее полно отражающей свойства реального процесса, 2) выбор критериев улучшения, выраженных с использованием метрик оцениваемого процесса, 3) измерение построенной модели процесса в терминах выбранных метрик, 4) её целенаправленное изменение с целью минимизации/максимизации значений выбранных метрик, 5) оценку достигнутого эффекта от изменения процесса [48]. Однако среди работ по моделированию процессов производства, опубликованных в известных отечественных и зарубежных журналах, нет таких, которые охватывали бы весь цикл улучшения плана проекта и обеспечивали развитый анализ вариантов плана. Большинство применяемых в настоящее время методов формального моделирования процессов на уровне отдельного программного проекта предложены не позднее начала 90-х гг. и оставляют без внимания то, что в организации, имеющей хотя бы 2-й уровень зрелости (согласно шкале SEI СММ [92]), все программные проекты имеют общие черты [97, 65]. Современные же модели процесса производства (представленные в ISO/IEC 12207 [76] и в таких моделях, как СММ [92]) предполагают, что модель плана конкретного программного проекта должна конструироваться путем адаптации моделей процесса более высокого уровня, компоненты которых в значительной степени стандартизованы. Недостатком большинства традиционно применяемых в данной области формализмов (таких как, например, сети Петри [70, 74, 81, 82]), является то, что динамика построенных с их помощью моделей плохо отражает реальное выполнение программных проектов, основные роли в которых играют люди, а не механизмы [67, 73]. При этом формализмы, позволяющие автоматизировать исполнение и анализ модели программного проекта, слишком сложны и громоздки, чтобы с |