3.3. Техники управления качеством программного обеспечения (Software Quality Management Techniques)

Техники SQM могут быть распределены по нескольким категориям:

• статические;

• техники использования человеческих ресурсов;

• аналитические;

• динамические.

3.3.1. Статические техники (Static techniques)

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

Эти техники могут включать другие, рассматриваемые ниже, действия по оценке (см. 3.3.2) или индивидуальному анализу (см. 3.3.3), вне зависимости от степени использования средств автоматизации.

3.3.2. Техники коллективной оценки (People - intensive techniques)

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

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

Данные техники рассматриваются в стандарте 12207.

3.3.3. Аналитические техники (Analytical techniques)

Инженеры, занимающиеся программным обеспечением, как правило, применяют аналитические техники и гибкие технологии (Agile-методики).

Иногда, несколько инженеров используют одну и ту же технику, но в отношении разных частей продукта. Некоторые техники базируются на специфике применяемых инструментальных средств, другие – предполагают «ручную» работу. Многие могут помогать находить дефекты напрямую, но

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

Ряд техник также включает различного рода экспертизу как составной элемент общего анализа качества. Примеры таких техник - анализ сложности (complexity analysis), анализ управляющей логики (или анализ контроля потоков управления - control flow analysis) и алгоритмический анализ.

Каждый тип анализа обладает конкретным назначением и не все типы применимы к любому проекту.

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

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

Другие формальные методы применяются для проверки требований.

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