3.1.8Инструменты обеспечения качества

Средства обеспечения качества делятся на две категории [25]:

• инструменты инспектирования, служащие для поддержки обзора и аудита процессов;

• инструменты анализа, используемые для анализа программных артефактов, данных, потоков работ и зависимостей и для проверки определенных свойств или артефактов на соответствие заданным характеристикам.

3.2Методы

3.2.1Эвристические методы

Эвристические методы – последовательность предписаний или процедур обработки информации, выполняемая с целью поиска более рациональных и новых конструктивных решений [википедия].

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

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

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

• объектно-ориентированные методы, представляющие программную систему в виде совокупности объектов;

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

3.2.2Формальные методы

«Термин формальные методы подразумевает ряд операций, в состав которых входит создание формальной спецификации системы, анализ и доказательство спецификаций, реализация системы на основе преобразования формальной спецификации в программы и верификация программ. Все эти действия зависят от формальной спецификации программного обеспечения. Формальная спецификация – это системная спецификация, записанная на языке, словарь, синтаксис и семантика которого определены формально. Необходимость формального определения языка предполагает, что этот язык основывается на математических концепциях. Здесь используется область математики, которая называется дискретной математикой и основывается на алгебре, теории множеств и алгебре логики» [8].

Формальные методы можно классифицировать на следующие категории:

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

• методы трансформации, основанные на уточнении (трансформации) превращении спецификаций в конечный результат, максимально близкий желаемому – исполнимый программный продукт;

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

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