2. Внутрішня та зовнішня якості пз: характеристики та підхарактеристики

Модель внутренних и внешних характеристик качества ПС состоит из семи групп базовых показателей, каждая из которых детализирована несколькими нормативными субхарактеристиками:

1. функциональная пригодность;

1. пригодностью для применения;

2. корректностью (правильностью, точностью);

3. способностью к взаимодействию;

4. защищенностью;

2. надежность;

1. уровнем завершенности (отсутствия ошибок);

2. устойчивостью к дефектам;

3. восстанавливаемостью;

4. доступностью;

5. готовностью;

3. эффективность;

1. временной эффективностью;

2. используемостью ресурсов;

4. применимость;

1. понятностью;

2. простотой использования;

3. изучаемостью;

5. привлекательностью;

6. сопровождаемость;

1. удобством для анализа;

2. изменяемостью;

3. стабильностью;

4. тестируемостью;

7. переносимость;

1. адаптируемостью;

2. простотой установки (инсталляции);

3. сосуществованием (соответствием);

4. замещаемостью.

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

В стандартах также определена модель характеристик качества в использовании. В этой модели используются несколько другие базовые характеристики по сравнению с моделью внутреннего и внешнего качества. Основными характеристиками качества ПС в использовании являются:

• системная эффективность применения программного продукта (ПП) по назначению;

• продуктивность;

• безопасность;

• удовлетворение требований и затрат пользователей в соответствии с целями применения ПС.

3. Система методів перевірки функціональної вірності програм

В фундаментальную концепцию проектирования ПС входят базовые положения, стратегии, методы, которые применяются на процессах ЖЦ и обеспечивают тестирование (верификацию) на множестве тестовых наборов данных. К методам проектирования ПС относятся структурные, объектно-ориентированные и др. Их основу составляют теоретические, инструментальные и прикладные средства, которые влияют на процесс тестирования.

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

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

При проверке правильности программ и систем рассматриваются процессы верификации, валидации и тестирования ПС, которые регламентированы в стандарте ISO/IEC 12207 жизненного цикла ПО.

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