12.2.Обеспечение качества программного изделия

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

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

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

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

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

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

6. Измерения характеристик качества, необходимые для посто­янного контроля уровня качества, а также для оценки влияния ме­тодологических и процедурных изменений на улучшение качества.

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

Формальные технические обзоры — важнейший вид деятельнос­ти по обеспечению качества программного изделия. Основные цели этих обзоров:

• обнаружение ошибок в функциях, логике или способах реали­зации программного изделия;

• подтверждение того, что программное изделие отвечает по­ставленным требованиям;

• обеспечение того, что программное изделие представлено в со­ответствии с установленными стандартами;

• установление единообразия разработки отдельных частей изде­лия;

• упрощение процесса управления разработкой программного изделия.

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

Для проверки программного изделия могут использоваться в общем случае три вида обзоров:

• технический обзор;

• сквозной просмотр;

• внимательное изучение представленных материалов. Все обзоры формальны, так как имеют четкие цели и строго оп­ределенные процедуры; все предназначены для идентификации де­фектов программного обеспечения и отклонений от установленных спецификаций, планов и стандартов.