Методологические основы

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

При современных технологиях полностью новые, крупномасштабные комплексы программ, реализуемые в допустимое время 2—4 года, огра­ничены объемом 10⁶— 10⁷ строк текста. Выше отмечалось (см. лекцию 5), что диапазону размеров современных ПС в три-четыре порядка (до 10 млн строк) соответствуют приблизительно такие же диапазоны изменения трудоемкости и стоимости их разработок. Очевидна принципиальная не­рентабельность разработки очень сложных ПС за 5—10 лет. С другой стороны, даже относительно небольшие программы высокого качества в несколько тысяч строк по полному технологическому циклу с сертифика­ционными испытаниями продукции редко создаются за время, меньшее чем полгода-год. Таким образом, диапазон вариации длительностей разра­боток ПС много меньше, чем вариация их трудоемкости, а эти длительно­сти ограничены сверху и снизу, и объем новых программ является одним из основных факторов, определяющим эти границы.

Размер базы данных ПС в некоторой степени коррелирован с разме­ром текстов программ. Это привело к тому, что в ряде экономических исследований размер базы данных либо совсем не учитывался, либо вклю­

• 
  чался в объем ПС. В статистической теории сложности программ показа­но, что для программных модулей и относительно небольших групп про­грамм имеется корреляция числа имен переменных и операторов в про­грамме. Однако для крупных ПС корреляция может быть меньше. Это определило необходимость