Geum.ru

Модели и характеристики качества. Повышение качества.

Реферат - Компьютеры, программирование

Другие рефераты по предмету Компьютеры, программирование

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

  • Алгоритмизация. - Насколько оптимальны использованные алгоритмы? Классический анализ алгоритмов вместе с формальной их верификацией дает быстрые и точные результаты.

    • Множество атрибутов поддержки связано с усилиями по внесению определенных изменений в работающее приложение:

    1. Анализируемость. - Насколько легко определить части, нуждающиеся в изменении? Hе поддается формализации.
    2. Изменяемость. - Какие усилия требуются для внесения изменений? Hе поддается формализации, уровень может быть установлен априори.
    3. Hастраиваемость. - Можно ли достичь желаемого эффекта без изменения самой программы, изменяя только настройки? Задача решается тестированием в реальных условиях.
    4. Стабильность. - Как ведет себя программа при внесении изменений на лету? Эффективно решается модельной верификацией с помощью недетерминированных параллельных процессов.
    5. Тестируемость. - Насколько легко проверяется работа изменившегося контура? Решается параллельно с тестированием или превентивно явным образом и к верификации отношения практически не имеет.

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

    1. Приспособляемость. - Может ли приложение изменяться в соответствии с изменениями окружения? Взаимодействующие недетерминированные последовательные процессы дают хороший результат, в том числе, и в модельном подходе.
    2. Устанавливаемость. - Может ли приложение устанавливаться на разные платформы или в разные конфигурации? Как правило, явно задается в спецификации и явно реализуется и в проверке не нуждается.
    3. Согласованность. - Какие стандарты были использованы в приложении? Hе нуждается в проверке, однако само соответствие стандартам проверять можно и нужно.
    4. Заменяемость. - Может ли приложение быть использовано так же, как его эквивалент от другого производителя? Зависит ли от списка опций соответствующих приложений, которые могли бы быть или должны были быть реализованы? Это относится к фазе формулирования требований, поэтому в верификации не участвует.

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

    3. Пример1. Модель управления качеством ISO 9001:2001

     

    Модель управления качеством в ISO 9001:2000 состоит из четырех разделов: Административная ответственность , Управление ресурсами , Производство продукта Измерение, анализ, улучшение . Остальные разделы ISO 9001 носят вспомогательный характер.


    4. Повышение качества.

    Качество программного обеспечения может повышаться засчет итеративного процесса постоянного улучшения. Этотребует контроля, координации иобратной связи впроцессе управления многими одновременно выполняемыми процессами: (1) процессами жизненного цикла, (2) процессом обнаружения, устранения ипредотвращения сбоев/дефектов и(3) процессов улучшения качества.


     

    Кпрограммной инженерии применимы теории иконцепции, лежащие воснове совершенствования качества. Например, предотвращение иранняя диагностика ошибок, постоянное совершенствование (continuous improvement) ивнимание ктребованиям заказчика (customer focus), составляющие принцип “building inquality”. Этиконцепции основываются наработах экспертов покачеству, пришедших кмнению, чтокачество продукта напрямую связано скачеством используемых дляего создания процессов.


     

    Такие подходы, какTQM (Total Quality Management всеобщее управление качеством) PDCA (Plan, Do, Check, Act Планирование, Действие, Проверка, Реакция/Корректировка?), являются инструментами достижения задач, связанных скачеством. Поддержка менеджмента помогает ввыполнении процессов, оценке продуктов иполучению всех необходимых данных. Кроме этого, разрабатываемая программа совершенствования (improvement program, обычно является целевой иохватывает работу подразделения илиорганизации, вцелом, прим. автора) детально идентифицирует вседействия ипроекты поулучшению врамках определенного периода времени, закоторый такие проекты можно осуществить суспешным решением соответствующих задач. Приэтом, поддержка менеджмента означает, чтовсе проекты поулучшению обладают достаточными ресурсами длядостижения поставленных целей. Поддержка менеджмента тесно связана среализацией активного взаимодействия вколлективе, идолжна предупреждать возникновение потенциальных проблем (и пассивного илидаже активного противодействия реализации программы совершенствования илиотдельных еепроектов, прим. автора). Формирование рабочих групп, поддержка менеджеров среднего звена ивыделенные ресурсы науровне проекта этивопросы обсуждаются вобласти знаний “Процесс программной инженерии”.

    5. Принципы TQM

    Бове и Тилл дают следующее определение подходу ТQМ: "Всеобщее управление качеством - это философия организации, которая основана на стремлении к качеству и практике управления, которая приводит к всеобщему качеству, отсюда качество - это не то, что Вам приходится отслеживать или добавлять на каком-то этапе производственного процесса, это сама сущность организации".

    В большей степени подходы TQM из?/p>