Верификация программного обеспечения (стр. 42 )

               Assert ((index >= 0) && (index < size),

               safeVector::outOfRangeException);

...

};

int process(safeVector &v, int index) {

       int elem;

       try {

               elem = v[index];

       }

       catch (safeVector::outOfRangeException &e) {

               cerr        << "Safe Vector range exception:\n";

               exit (1);

       }

       return elem;

}

Для того, чтобы обработчик исключения сработал, обращение к элементу массива помещается внутрь структурного блока try { }, в котором содержатся команды, результат выполнения которых потенциально может вызвать исключительную ситуацию. Затем внутри синтаксического блока catch { } определяется реакция на возникшую исключительную ситуацию outOfRangeException. Подобным образом можно определить реакцию на любую исключительную ситуацию.

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

Сбор и обработка информации о сбоях и отказах

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

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

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

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

Поддержка процесса тестирования при промышленной разработке программного обеспечения (лекция 16) Управление качеством Задачи и цели управления качеством

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

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

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

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

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

Рис. 25 Место стандартов качества в разработке системы

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

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

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

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

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

Система менеджмента качества по ISO 9000

Семейство стандартов ISO 9000 – группа международных стандартов, устанавливающих правила менеджмента качества при выпуске продукции. Отечественная группа стандартов, соответствующая международным ISO 9000 получила название ГОСТ Р ИСО 9000 [6]. Под понятие «выпуск продукции» попадает и разработка программного обеспечения.

При этом стандарты ISO 9000 проводят различие между требованиями к системам менеджмента качества и требованиями к продукции. Стандарт не гарантирует качество продукции – качество продукции в стандарте прямо не упоминается, тем самым он отличается от руководящих документов по проверке качества выпуска продукции различного рода (в т. ч. и программных систем).

Требования к системам менеджмента качества установлены в стандарте ISO 9001 (ГОСТ Р ИСО 9001). Они являются общими и применимыми к организациям в любых секторах промышленности или экономики независимо от категории продукции.

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

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

Итак "система качества" - это совокупность организационной структуры, методик, процессов и ресурсов, необходимых для общего руководства качеством.

В основе ISO 9000 лежат 8 принципов:

а) Ориентация на потребителя

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

б) Лидерство руководителя

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

в) Вовлечение работников

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

г) Процессный подход

Желаемый результат достигается эффективнее, когда деятельностью и соответствующими ресурсами управляют как процессом.

д) Системный подход к менеджменту

Выявление, понимание и менеджмент взаимосвязанных процессов как системы содействуют в результативности и эффективности организации при достижении её целей.