1 Автоматизированная система управления цехом в информационной системе«Производственный менеджмент». Дисциплина «Информационные системы в организации»

167 Основные свойства качественного программного изделия (ПИ). Оценка качественных и количественных характеристик программного обеспечения.
Качество программного обеспечения – это совокупность свойств, характеризующих способность программного обеспечения удовлетворять потребностям пользователя в соответствии с предназначением.
Испытанным средством обеспечения высокой эффективности и качества функционирования ИС являются международные стандарты, разработанные при участии представителей вед. компаний отрасли.
Оценка качества. Методологии и стандартизации оценки характеристик качества готовых программных средств и их компонентов (программного продукта) на различных этапах жизненного цикла посвящен международный стандарт ISO 14598, состоящий из шести частей. Рекомендуется следующая общая схема процессов оценки характеристик качества программ:
1) установка исходных требований для оценки - определение целей испытаний, идентификация типа метрик ПС, выделение адекватных показателей и требуемых значений атрибутов качества; 2) селекция метрик качества, установление рейтингов и уровней приоритета метрик субхарактеристик и атрибутов, выделение критериев для проведения экспертиз и измерений; 3) планирование и проектирование процессов оценки характеристик и атрибутов качества в ЖЦ ПО; 4) выполнение измерений для оценки, сравнение результатов с критериями и требованиями, обобщение и оценка результатов.
Функциональная пригодность - наиболее неопределенная и объективно трудно оцениваемая субхарактеристика ПС. Области применения, номенклатура и функции комплексов программ охватывают столь разнообразные сферы деятельности человека, что невозможно выделить и унифицировать небольшое число атрибутов для оценки и сравнения этой субхарактеристики в различных комплексах программ.
Оценка корректности программных средств состоит в формальном определении степени соответствия комплекса реализованных программ исходным требованиям контракта, технического задания и спецификаций на программное средство и его компоненты.
Оценка способности к взаимодействию состоит в определении качества совместной работы компонентов программных средств и баз данных с другими прикладными системами и компонентами на разл. выч. платформах, а также взаимодействия с польз-ми в стиле, удобном для перехода от одной вычислительной системы к другой с подобными функциями.
Оценка защищенности ПС включает определение полноты использования доступных методов и средств защиты программного средства от потенциальных угроз и достигнутой при этом безопасности функционирования информационной системы.
Надежность - это свойство ПИ сохранять работоспособность в течение определенного периода времени, в определенных усло­виях эксплуатации с учетом последствий для пользователя каждого отказа.
Оценка надежности - измерение количественных метрик атрибутов в использовании: завершенности, устойчивости к дефектам, восстанавливаемости и доступности/готовности.
Метрика – мера количественной оценки качества ПО по заданному критерию, система или способ измерений качества программного обеспечения. Метрика содержит один или несколько оценочных элементов.
Метрическую теорию программ представляют различные математические модели определения численных значений характеристик программного обеспечения, в том числе характеристик качества.
Каждая модель представляет ту или иную метрику программы (программную метрику). По типу получаемой информации о метриках программ эти модели можно разбить на следующие группы: оценивающие отклонение от нормы, прогнозирующие значения характеристик, формирующие принятие решений о соответствии программного обеспечения заданным требованиям. По типу используемой информации о программах в моделях различают метрики, основанные на лексическом анализе программ; основанные на анализе потока управления; основанные на анализе внутримодульных и межмодульных связей и метрики, основанные на анализе потока данных.
Метрики всех четырех групп используют, главным образом, для прогнозирования и оценки сложности и корректности программ. К ним относят метрики Холстеда, Джилба, Маккейба, Майерса, Чепина и некоторые другие. Метрики внутримодульных и межмодульных связей являются основными характеристиками сложности программных комплексов в фазе проектирования. Аккумулируя поток управления и потока данных, метрики внутримодульных и межмодульных связей образуют шкалы функциональной прочности (связности) и сцепления модулей. Рассматривая сложность как антипод надежности, возможна косвенная оценка надежности по принципу: «чем меньше сложность, тем больше надежность». При этом задача проектирования надежного программного обеспечения сводится к достижению максимальной прочности и минимального сцепления модулей. Исторически первыми появились математические модели, представляющие метрики программ, основанных на анализе лексики и потока управления программ, реализующих заданный алгоритм. Типичными представителями таких метрик являются метрики Холстеда и Маккейба
Метрики Холстеда отражают лексический подход к измерению характеристик программного обеспечения, основанный на измеримых свойствах алгоритмов. Свойства любого описания алгоритма (или программы для ЭВМ), по мнению Холстеда, могут быть измерены или вычислены на основе следующих метрических характеристик (оценочных элементов) :
n1 - количество различных операторов программы;
n2 - количество различных операндов программы;
N1 - общее количество операторов программы;
N2 - общее количество операндов программы.
Метрика Маккейба основана не на анализе лексических особенностей программной реализации алгоритмов решения задач, а на анализе потока передачи управления от одного оператора к другому. Это позволяет, в отличие от метрик Холстеда, учесть логику программы при оценке ее сложности.