Метод оценки качества, основанный на иерархической модели презентация

МЕТОД ОЦЕНКИ КАЧЕСТВА, ОСНОВАННЫЙ НА ИЕРАРХИЧЕСКОЙ МОДЕЛИ

СТАНДАРТЫ СЕРИИ ISO В ОБЛАСТИ ОЦЕНКИ КАЧЕСТВА ПРОГРАММНЫХ СРЕДСТВ

В настоящее время ISO/IEC 9126:1991 заменен на две взаимосвязанные серии стандартов: В настоящее время ISO/IEC 9126:1991 заменен на две взаимосвязанные серии стандартов: ISO/IEC 9126-1-4 – Информационная технология. Качество программных средств ISO/IEC 14598-1-6:1998-2000 – Оценивание программного продукта. Стандарт ISO/IEC 9126-1-4 состоит из 4-х частей.

Названия частей: Часть 1: Модель качества. Часть 2: Внешние метрики. Часть 3: Внутренние метрики. Часть 4: Метрики качества в использовании.

Назначение модели, описанной в части 1: 1) проверка полноты определения требований в техническом задании; 2) идентификация требований к ПС; 3) идентификация целей проекта ПС; 4) идентификация целей испытаний ПС; 5) идентификация критериев приемки пользователем и сертификации ПС.

В стандарте ISO/IEC 9126-1:2001 описана иерархическая модель оценки качества ПС. В соответствии с моделью общее качество разделяется на шесть базовых характеристик. Данные характеристики находятся на верхнем уровне иерархического дерева. Характеристики разделяются на подхарактеристики. Подхарактеристики определяются метриками. На нижнем уровне иерархии находятся атрибуты (свойства) ПС. Эта иерархия не строгая. Некоторые атрибуты могут быть связаны с несколькими подхарактеристиками.

Существуют следующие виды метрик: Существуют следующие виды метрик: − внутренние метрики; − внешние метрики; − метрики качества в использовании. Внутренние метрики используются в ходе проектирования и программирования к неисполняемым компонентам ПС (например, к исходному тексту программы или спецификациям). Цель внутренних метрик – обеспечение возможности достижения требуемого внешнего качества. С этой целью в ходе разработки оцениваются промежуточные продукты. Основой для внутренних метрик являются, например, свойства исходного текста программы, управляющего графа программы, потока данных, изменения состояний памяти, атрибуты документации

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

Последовательность действий по планированию и прогнозу значений внешних метрик : Последовательность действий по планированию и прогнозу значений внешних метрик : 1) определить требования к качеству ПС; 2) перечислить характеристики и подхарактеристики, которые составляют полный набор показателей качества; 3) определить подходящие внешние метрики и их приемлемые диапазоны значений; 4) установить количественные и качественные критерии, подтверждающие удовлетворительность свойств ПС; 5) определить и специфицировать внутренние атрибуты качества, обеспечивающие требуемые внешние характеристики качества; 6) специфицировать подходящие внутренние метрики и приемлемые диапазоны для получения числовых значений или категорий внутренних характеристик качества, используемых для оценки промежуточных продуктов.

Метрики качества в использовании измеряют, в какой степени продукт удовлетворяет потребности конкретных пользователей в достижении заданных целей с результативностью, продуктивностью и удовлетворением в заданном контексте использования. Результативность подразумевает точность и полноту достижения определенных целей пользователями при применении ПС. Продуктивность соответствует соотношению израсходованных ресурсов и результативности при эксплуатации ПС. Удовлетворенность – психологическое отношение к качеству использования продукта.

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

МОДЕЛЬ ВНЕШНЕГО И ВНУТРЕННЕГО КАЧЕСТВА ПС Итак, стандарт ISO/IEC 9126-1:2001 регламентирует иерархические модели оценки внутреннего и внешнего качества ПС. Данные модели различаются в зависимости от представления качества в ЖЦ ПС На слайде приведены два верхних уровня модели оценки внутреннего и внешнего качества.

Все метрики, исходя из возможностей их измерения, можно разделить на три категории: категорийные количественные качественные метрики.

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

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

качественные метрики – это метрики, устанавливаемые в значительной степени субъективно и экспертно; содержат небольшое количество упорядоченных или отдельных значений-категорий; характеризуются порядковой или точечной шкалой набора категорий; примеры порядковых шкал: (плохо, удовлетворительно, хорошо, отлично), (да, нет), (удовлетворительно, неудовлетворительно).

С учетом этого все характеристики качества также разделяются на три группы: • первую группу составляет Функциональность; она определяется категорийными метриками; • вторую группу составляют Надежность и Эффективность; они измеряются количественными метриками; • третью группу составляют Практичность, Сопровождаемость и Мобильность; они измеряются качественными метриками.

Функциональность (functionality) – способность ПС обеспечивать функции, удовлетворяющие установленные потребности заказчиков и пользователей при применении комплекса программ в заданных условиях. Функциональность определяется набором функций и задач, выполняемых ПС. Для ее подхарактеристик трудно определить меры и шкалы. Поэтому ее метрики отнесены в группу категорийных (описательных) метрик. Подхарактеристики Функциональности приведены на слайде, где представлена связь подхарактеристик Функциональности и атрибутов ПС

Пригодность (suitability) – способность программного средства обеспечивать набор функций, соответствующий специфическим задачам и целям пользователей.. Правильность (корректность) (accuracy) – способность ПС обеспечивать правильные или приемлемые результаты и эффекты с необходимой степенью точности расчетных значений. Частными конструктивными критериями корректности являются корректность структуры программ, обработки данных и межмодульных интерфейсов.

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

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

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

Способность к взаимодействию (interoperability) – свойство ПС и их компонентов взаимодействовать с одной или большим числом указанных систем или компонентов. Данная подхарактеристика зависит от корректности и унифицированности межмодульных интерфейсов. Межмодульные интерфейсы определяются двумя видами связей: по управлению и по информации.

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

Защищенность (security) – свойство ПС защищать свои программы и данные. Защищенность включает защиту от злоумышленных разрушений, искажений и хищений ПС и информации БД. Защищенность может характеризоваться: 1) величиной предотвращенного ущерба, возможного при проявлении дестабилизирующих факторов и реализации конкретных угроз безопасности; 2) средним временем между возможными проявлениями угроз, нарушающих безопасность, или наработкой на отказы, отражающиеся на безопасности; 3) длительностью восстановления нормальной работоспособности ПС и ИС.

Согласованность функциональности (functionality compliance) – свойство ПС соответствовать стандартам, нормативным документам, соглашениям или нормам законов, связанным с функциями, областью применения и защитой ПС.

Надежность (reliability) – свойства комплексов программ обеспечивать достаточно низкую вероятность отказа в процессе функционирования ПС в реальном времени. Надежность ПС доступна количественным измерениям

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

Завершенность (maturity) – свойство ПС не попадать в состояние отказов вследствие ошибок в программах и данных. Завершенность характеризуется наработкой на отказ при отсутствии автоматического восстановления При этом учитываются только отказы вследствие проявившихся ошибок в ПС. Завершенность (maturity) – свойство ПС не попадать в состояние отказов вследствие ошибок в программах и данных. Завершенность характеризуется наработкой на отказ при отсутствии автоматического восстановления При этом учитываются только отказы вследствие проявившихся ошибок в ПС.

Отказоустойчивость (fault tolerance) – свойство ПС поддерживать заданный уровень качества функционирования в случаях проявления ошибок или нарушения установленного интерфейса. Для реализации данного свойства в ПС должна вводиться временная, программная и информационная избыточность, реализующая оперативное обнаружение ошибок функционирования, их идентификацию и автоматическое восстановление (рестарт) нормального функционирования ПС. Отказоустойчивость определяется наработкой на отказ при наличии автоматического рестарта и долей ресурсов, используемых для рестарта

Восстанавливаемость (recoverability) – свойство ПС в случае отказа восстанавливать заданный уровень качества функционирования, поврежденные программы и данные. Основные показатели процесса восстановления: 1) длительность восстановления и ее вероятностные характеристики; 2) полнота восстановления нормального функционирования программ в процессе ручного или автоматического рестарта (перезапуска) Полноту восстановления с помощью количественных метрик вычислить сложно

Пригодность (годность, готовность, доступность) (availability) – Пригодность (годность, готовность, доступность) (availability) – свойство ПС быть в состоянии выполнять требуемую функцию в данный момент времени при заданных условиях использования. Годность может оцениваться отношением времени, в течение которого ПС находится в работоспособном состоянии, к общему времени применения. Отсюда следует, что годность – это комбинация завершенности (от нее зависит частота отказов), отказоустойчивости и восстанавливаемости. Эти три подхарактеристики в совокупности обусловливают длительность простоя после каждого отказа и длительность наработки на отказ. В этой связи в модели внутреннего и внешнего качества подхарактеристика Годности в качестве самостоятельной независимой подхарактеристики качества отсутствует. Характеристики отказов и восстановления обобщает коэффициент готовности – вероятность иметь восстанавливаемую систему в работоспособном состоянии в произвольный момент времени.

Согласованность надежности (reliability compliance) – свойство ПС соответствовать стандартам и нормативным документам, связанным с надежностью.

Подхарактеристики Эффективности. Возможные меры и шкалы измерения количественных метрик

Сопровождаемость (maintainability) – приспособленность ПС к модификации. Модификации могут включать исправления, усовершенствования или адаптацию ПС к изменениям в среде применения, требованиях и функциональных спецификациях. Сопровождаемость (maintainability) – приспособленность ПС к модификации. Модификации могут включать исправления, усовершенствования или адаптацию ПС к изменениям в среде применения, требованиях и функциональных спецификациях. Сопровождаемость определяется внутренними характеристиками качества. Сопровождаемость ПС, как и Практичность, в основном доступна качественным оценкам. Аналогично Практичности, для многих атрибутов Сопровождаемости применяются порядковые меры экспертных бальных шкал с небольшим числом (2-4) градаций. Для некоторых подхарактеристик Сопровождаемости используются технико-экономические меры трудоемкости (человеко-часы) и длительности (часы).

Мобильность (portability) – приспособленность ПС к переносу из одной аппаратно-программной среды в другую. Мобильность определяется объемом, трудоемкостью и длительностью необходимых доработок ПС, связанных с его переносом на другую платформу. Она зависит от структурированности и расширяемости ПС и данных. Мобильность (portability) – приспособленность ПС к переносу из одной аппаратно-программной среды в другую. Мобильность определяется объемом, трудоемкостью и длительностью необходимых доработок ПС, связанных с его переносом на другую платформу. Она зависит от структурированности и расширяемости ПС и данных. Мобильность ПС, как и Практичность, и Сопровождаемость, в основном доступна качественным оценкам. По аналогии, для многих атрибутов Мобильности применяются порядковые меры экспертных бальных шкал с небольшим числом (2-4) градаций. Для некоторых подхарактеристик Мобильности используются технико-экономические меры трудоемкости (человеко-часы) и длительности (часы).

Качество в использовании – это восприятие пользователем качества. Качество в использовании – это восприятие пользователем качества. Достижение качества в использовании зависит от достижения внешнего качества, которое, в свою очередь, зависит от достижения внутреннего качества. Для каждого из представлений качества, помимо общих мер, обычно используются свои меры. Качество в использовании (quality in use) – это способность ПС позволять пользователям достигать специфицированные цели с результативностью, продуктивностью, безопасностью и удовлетворенностью в заданном контексте использования.

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

Метрики качества в использовании описаны в четвертой части стандарта ISO/IEC 9126-4 Данная часть предназначена для: покупателей, поставщиков, разработчиков, сопровождающих, пользователей менеджеров качества ПС. В данной части стандарта представлена модель взаимодействия компонентов качества в использовании

Процессы выбора метрик и шкал для описания показателей качества ПС делятся на два этапа: Процессы выбора метрик и шкал для описания показателей качества ПС делятся на два этапа: выбор и обоснование набора исходных данных, характеризующих общие особенности и этапы ЖЦ проекта ПС и его потребителей; выбор, установление и утверждение конкретных метрик и шкал измерения показателей качества проекта для их последующего оценивания и сопоставления с требованиями в процессе квалификационных испытаний или сертификации на определенных этапах ЖЦ ПС.

На первом этапе базовая номенклатура характеристик и На первом этапе базовая номенклатура характеристик и подхарактеристик (ISO/IEC 9126-1) предварительно упорядочивается по приоритетам с учетом области применения проекта ПС. Затем ранжируются по приоритетам потребители с учетом их профессиональных интересов. Обычно выделяются следующие группы потребителей: 1) пользователи; оценивают качество ПС, используя набор функций и метрики качества в использовании; 2) заказчики; оценивают качество ПС, чаще всего, по внешним мерам функциональности, надежности, практичности и эффективности; 3) коллектив сопровождения; оценивает качество ПС по метрикам сопровождаемости; 4) лица, устанавливающие ПС в различных аппаратных и операционных средах; оценивают качество ПС по метрикам мобильности; 5) разработчики, технологи-инструментальщики, специалисты системы качества, поддерживающие ЖЦ ПС; оценивают качество ПС по внутренним метрикам каждой характеристики качества.

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

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

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

МОДЕЛИ КАЧЕСТВА ПРОЦЕССОВ РАЗРАБОТКИ ПО

Гарантией высокого качества разрабатываемых программных средств является высокое качество процесса разработки ПО. Удостоверением высокого качества процесса разработки является сертификат качества процесса, подтверждающий его соответствие принятым международным стандартам. Каждый такой стандарт устанавливает свою модель обеспечения качества. Наиболее широко используемыми в мире являются модели стандартов ISO 9001:2000, ISO/IEC 15504-1-9:1998 и модель зрелости процесса разработки ПО СММ (Capability Maturity Model) Института программной инженерии, США

Комплексное решение задач обеспечения качества программных средств предполагает разработку и внедрение той или иной системы управления качеством (Системы Менеджмента Качества - СМК). В мировой практике наибольшее распространение получила именно система, основанная на требованиях международных стандартах серии ISO 9000, потому что она определяет именно наиболее общие требования, и к ПС в том числе, и тем самым, в целом, уже предопределяет ту начальную зрелость процессов, которая необходима для соответствия многим отраслевым моделям и стандартам в ИТ - области.

Подчеркивая, что ISO 9000 - "превосходная идея", Gartner Group рекомендует рассматривать сертификацию на ISO 9001 только, как исходную точку на пути к качеству Он закладывет как-бы "скелет" системы качества, а наполнение этой системы "мышцами" ( профессиональным содержанием на основе уже специальных, отраслевых стандартов и методологий, как, например CMM) может обеспечить уровень качества, соответствующий растущим требованиям рынка.

Модель стандарта ISO 9001:2000 является общей, т.е. ориентированной на любые виды деятельности, а не конкретно на разработку ПО. Модель стандарта ISO 9001:2000 является общей, т.е. ориентированной на любые виды деятельности, а не конкретно на разработку ПО. Стандарт ISO/IEC 15504-1-9:1998 специализируется на процессе разработке ПО и отличается высоким уровнем детализации. Основу модели данного стандарта составляет модель CMM - модель зрелости процессов разработки программного обеспечения (другой перевод «модель развития функциональных возможностей»)

МОДЕЛЬ СММ Базовым понятием модели СММ является зрелость компании или предприятия. Незрелым называют предприятие, где процесс разработки ПО и принимаемые решения зависят только от таланта конкретных разработчиков. В результате высока вероятность превышения бюджета или срыва сроков окончания проекта. В зрелом предприятии используются четкие процедуры управления проектами и разработки программных продуктов. По мере необходимости эти процедуры уточняются и развиваются. Оценки результатов и затрат этапов разработки точны и основываются на накопленном опыте. Кроме того, на предприятии используются стандарты и нормативные документы на процессы взаимодействия с заказчиком, этапы анализа, проектирования, программирования, тестирования и внедрения ПП. На базе этого на предприятии создается среда, обеспечивающая качественную разработку программного обеспечения.

CMM (Capability Maturity Model ) разработана Software Engineering Institute при университете Карнеги-Меллона (США). Так как эти стандарты разрабатывались, прежде всего, в целях упорядочивания процесса выбора подрядчиков для Министерства обороны США, особое внимание в них уделяется процессам управления ПО проектами, в то время как технические аспекты разработки освещены меньше.

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

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

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

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

На управляемом уровне (уровень 4) на предприятии используются количественные показатели качества как программных продуктов, так и процесса. Это обеспечивает более точное планирование проекта и контроль качества его результатов. Основное отличие от уровня 3 состоит в более объективной, количественной оценке продукта и процесса.

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

Каждый уровень СММ характеризуется областью ключевых процессов (ОКП). Каждый уровень СММ характеризуется областью ключевых процессов (ОКП). В версии SW-CMM v.1.1 (Capability Maturity Model for Software) имеется 316 ключевых процессов. Ключевые процессы - это то, что должно быть внедрено на предприятии и то, на что будет обращать внимание команда, проводящая оценку процессов. Они объединяются в области -совокупности взаимосвязанных процессов, которые при совместном выполнении и приводят к достижению определенного набора целей. Если все цели ОКП достигнуты, предприятию присваивается сертификат данного УРОВНЯ зрелости. Если хотя бы одна цель не достигнута, то предприятие не может соответствовать данному уровню СММ.

CMMI (Capability Maturity Model Integration) - дальнейшее развитие модели CMM. В CMMI-SE/SW Version 1.02 (CMMI for Systems Engineering/Software Engineering), пожалуй, наиболее приемлемой для разработчиков программных систем, - количество ключевых процессов (Key Practices) достигает уже 417. Увеличение ключевых процессов связано с самой целью разработки CMMI - модель должна помочь избежать проблем, связанных с использованием различных отраслевых моделей CMM.

Управление процессами Управление проектами Разработка Сопровождение

Соответствие между общими свойствами СММ и элементами ISO 9001:2000