|
36 обеспечение возможностей согласования количественных и качественных целей. Следует отметить, что для процесса разработки ПО набор подцелей программирования отличается от других наборов тем, что подцели этого набора должны рассматриваться поочередно. Эти подцели представляют собой основные этапы жизненного цикла ПО, который рассматривается нами на основе каскадной модели ЖЦ. Каскадная модель программной разработки основана на структуре целей инженерного программирования. Кроме того, существуют различные усовершенствования идеальной каскадной модели с использованием таких концепций, как пошаговая разработка, метод прототипа, инструментальное ПО И т.д. Главные характерные черты каскадной модели следующие: завершение каждой фазы верификацией и подтверждением (ВП), цель которых устранить возможно большее число проблем, связанных с разработкой программного изделия; циклическое повторение реализованных фаз с возможно более ранней фазы. Класс подцелей 2-"в" (эффективность процесса разработки ПО "программотехника") в рамках каскадной модели разворачивается в виде следующей структуры. 2-"в"-1 : Анализ осуществимости системы Подтверждение; 2-"в"-2 : Планирование и анализ требований Подтверждение; 2-"в”-3 : Проектирование изделия Верификация; 2-"в"-4 : Детальное проектирование Верификация; 2-"в"-5 : Кодирование Автономная отладка; 2-"в"-6 : Комллексирование Верификация изделия; 2-"в"-7 : Внедрение Системная (комплексная) отладка; 2-"в"-8 : Функционирование (эксплуатация) и сопровождение Повторное подтверждение. В каскадной модели успешное окончание одной из фаз ЖЦПО означает достижение соответствующей цели инженерного программирования. Заметим, что помимо указанных ранее подцелей на этапе детализации определены еще две: детальная проектируемостъ получение полных верифицированных спецификаций и структур управления и данных, интерфейсных связей, характеристик, основных алгоритмов и определение условий работы каждого программного компонента (подпрограммы, состоящей менее чем из 100 исходных команд). Кодируемостъ получение полного верифицированного набора компонентов программы. |
Следует отметить, что для процесса разработки ПО набор подцелей программирования отличается от других наборов тем, что подцели этого набора должны рассматриваться поочередно. Эти подцели представляют собой основные этапы жизненного цикла ПО, который рассматривается нами на основе каскадной модели ЖЦ. Каскадная модель программной разработки основана на структуре целей инженерного программирования. Кроме того, существуют различные усовершенствования идеальной каскадной модели с использованием таких концепций, как пошаговая разработка, метод прототипа, инструментальное ПО и т.д. Первоначальная версия каскадной модели ЖЦПО была представлена в [23] и подсказана различными публикациями ВВС США и промышленности [25,41]. Главные характерные черты каскадной модели следующие: завершение каждой фазы верификацией и подтверждением (ВП), цель которых устранить возможно большее число проблем, связанных с разработкой программного изделия; циклическое повторение реализованных фаз с возможно более ранней фазы. Класс подцелей 2-”в” (эффективность процесса разработки ПО — ’’программотехника”) в рамках каскадной модели разворачивается в виде следующей структуры. 2-”в”™1 : Анализ осуществимости системы Подтверждение; 2-”в”-2 : Планирование и анализ требований Подтверждение; 2-”в”-3 : Проектирование изделия Верификация; 2-”в”-4 : Детальное проектирование Верификация; 2-”в”-5 : Кодирование Автономная отладка; 2-”в”-6 : Комплексирование Верификация изделия; 2-”в”-7 : Внедрение Системная (комплексная) отладка; 2-”в”-8 : Функционирование (эксплуатация) и сопровождение Повторное подтверждение. В каскадной модели успешное окончание одной из фаз ЖЦПО означает достижение соответствующей цели инженерного программирования. Заметим, что помимо указанных ранее подцелей на этапе детализации определены еще две: детальная проектируемость — получение полных верифицированных спецификаций и структур управления и данных, интерфейсных свя26 зей, характеристик, основных алгоритмов и определение условий работы каждого программного компонента (подпрограммы, состоящей менее чем из 100 исходных команд). кодируемость — получение полного верифицированного набора компонентов программы. Достижение последовательных подцелей тесно связано с такими подцелями, как верификация и подтверждение, а также управление конфигурацией, которые должны быть достигнуты на каждой фазе ЖЦПО. Требование простого последовательного достижения целей является удобным упрощением. Существуют же ситуации, в которых экономически целесообразно изменить последовательность достижения целей, например при изготовлении прототипа, в пошаговой разработке и т.д. Обоснование каскадной модели, ориентированной на последовательное достижение целей, базируется на двух главных предпосылках: 1. Для получения качественного программного изделия необходимо в любом случае осуществить все подцели на каждом этапе. 2. Любое другое упорядочивание подцелей приводит к созданию менее качественного программного изделия. Относительно первого условия отметим, что несомненно, осуществление подцели кодируемости и всех последующих подцелей (кроме снимаемости) необходимо для получения любого функционирующего изделия. Основной вопрос состоит в том, необходимы ли предыдущие подцели (осуществимость, полнота и непротиворечивость требований, проектируемость изделия и детальная проектируемость), В случае многих небольших и простых программных изделий можно получить приемлемый результат, уделяя относительно мало внимания ранним подцелям, поскольку разработчик pi так четко понимает запросы пользователя и все последствия решения легко предсказуемы. Однако подобный неформальный подход часто ведет к весьма неприемлемым результатам, которые обычно можно предвидеть и избежать при тщательном выполнении более ранних подцелей. В крупных и сложных программных проектах, связанных с управлением КА, недостаточное внимание к более ранним подцелям почти всегда приводило к серьезным недостаткам программного изделия и процесса его разработки. Это иллюстрируется многочисленными примерами в области аэрокосмической и ракетной техники, например,в открытой печати США приводится информация о том, что в двух больших опера27 |