ГОСТ Р ИСО/МЭК 25021-2014 Информационные технологии (ИТ). Системная и программная инженерия. Требования и оценка качества систем и программного обеспечения (SQuaRE). Элементы показателя качества

а) Имя ЭПК

ЭПК должен иметь уникальное имя и при необходимости должен быть идентифицирован порядковым номером. В большинстве случаев, имя начинается с "число... (шкала отношений)".

b) Целевой объект (целевая сущность)

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

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

с) Цели и свойство, которое должно быть выражено количественно

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

- что предполагается узнать с помощью определения свойства, выраженного количественно с использованием ЭПК?;

 - какую необходимую информацию ожидается получить от этого ЭПК?

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

Полезно определить, какие виды компонентов или событий в указанном целевом объекте должны быть идентифицированы, определены и выражены количественно.

Примеры:

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

2 могут быть идентифицированы, определены и выражены количественно все события тестовых ошибок и случаев при тестировании программного обеспечения;

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

d) Релевантный показатель (показатели) качества

Должна быть определена ссылка на определенный показатель (показатели) качества, в которой используется этот ЭПК.

Примеры показателей качества можно найти в документах серии ИСО/МЭК 9126, серии 25000 SQuaRE и других документах. Составления исчерпывающего списка показателей качества не требуется

е) Метод измерения

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

Измеряющий может дать методу измерения дополнительное имя для того, чтобы было проще отличать его от имени ЭПК и имени свойства для измерения. Например, функциональные измерительные методы могли бы быть иметь имена: IFPUG FPA, COSMIC, Mark II и т.д.

f) Список подсвойств, имеющих отношение к свойству для измерения (не обязательно)

Свойство, определенное для измерения, можно связать, если это необходимо, с различными подсвойствами. Такая связь между свойствами должна быть выражена либо в виде схемы, либо как формула. Это и составляет суть модели метода измерений.

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

g) Определение каждого подсвойства (не обязательно)

Если есть список подсвойств, то должно быть определено и каждое подсвойство

h) Входные данные для ЭПК

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

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

i) Единица измерения для ЭПК

Единица измерения и при необходимости используемая формула. Примеры единиц включают в себя значение X, процент и разряд

j) Правила вычисления

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

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

k) Тип шкалы

Должен быть определен тип шкалы. Шкала может быть номинальной, порядковой, интервальной или относительной (см. приложение D)

l) Контекст применения ЭПК

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

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

m) Процессы жизненного цикла программного обеспечения

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

Примечания

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

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

2 Основные процессы жизненного цикла программного обеспечения, такие, как определение требований правообладателей, анализ требований к программному обеспечению, проектирование архитектуры программных средств, детальное проектирование программных средств, конструирование программных средств, комплексирование программных средств, квалификационное тестирование программных средств, инсталляция программных средств, поддержка приемки программных средств, функционирование программных средств, сопровождение программных средств, прекращение применения программных средств и т.д. определены в ИСО/МЭК 12207. Базовые процессы систем, такие как определение требований правообладателей, анализ требований, проектирование архитектуры, реализация, комплексирование, верификация, передача, валидация, функционирование, сопровождение, прекращение применения и т.д., определены в ИСО/МЭК 15288.

3 Если используют методологию, в которую входят процессы жизненного цикла, не описанные ни в ИСО/МЭК 12207, ни в ИСО/МЭК 15288, то измеряющий может также привести методологию и отдельные используемые процессы.

n) Ограничения измерений (не обязательно)

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

ЭПК может иметь ограничения измерений, такие как ошибки измерения или отклонения из-за зависимости от таких факторов, как область применения исследования, способ исследования, изменение спецификации или вариантов использования.

Примечания

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

2 Например, при подсчете числа дефектов спецификации документ спецификации должен быть доступен и не должен быть изменчивым.

а) Имя ЭПК

Число дефектов (кода)

b) Целевой объект (целевая сущность)

Исходный код программы

с) Цели и свойство, которое нужно измерить количественно

Цель - измерить число дефектов кода относительно спецификаций проекта и/или стандартов программирования.

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

Определения отказа: (1) проявление ошибки в программном обеспечении (ИСО/МЭК 24765 Системная и программная инженерия - Словарь) и (2) неправильный шаг, процесс или определение данных в компьютерной программе (ИСО/МЭК 24765 Системная и программная инженерия - Словарь).

Необходимо отметить, что ошибка, если она имеет место, может вызвать отказ

d) Релевантные показатели качества

Для определения надежности программного обеспечения, используя плотность ошибок:

- оценивается скорость обнаружения ошибок на этапе кодирования;

- оценивается скорость устранения ошибок на этапе кодирования.

Показатели: уровни завершенности (подхарактеристика) и надежности (характеристика) программного обеспечения

е) Метод измерения

Метод измерения ошибок кода программного обеспечения.

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

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

f) Список подсвойств, имеющих отношение к свойству для измерения (дополнительно)

Связанные подсвойства: исполняемые операторы, строки кода с ошибками, исправленные строки кода

д) Определение каждого подсвойства (дополнительно)

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

Невыполняемые операторы: операторы, к которым относятся спецификации объявлений и объявления.

Строки кода с ошибками: строки кода, которые содержат ошибки. Ошибочен ли исходный текст, должна определить спецификация.

Корректные строки кода: строки кода без ошибок.

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

h) Входные данные для ЭПК

Исходный код, спецификации проекта и стандарты программирования

i) Единица измерения ЭПК

Строки кода

j) Правила вычисления

Добавление общего числа ошибочных строк кода.

С практической точки зрения числовое правило использует следующие измерительные действия:

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

k) Тип шкалы

Отношение

l) Контекст применения ЭПК

ЭПК главным образом выбран для того, чтобы измерять уровни завершенности (подхарактеристика) и надежности программного обеспечения (характеристика)

m) Процессы жизненного цикла программного обеспечения

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

n) Ограничения измерения (дополнительно)

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

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

Для проверки соответствия кодов стандартам необходимо наличие соответствующих инструментариев или контрольного списка