- •Восточно-сибирский государственный технологический университет
- •Метрология программного обеспечения
- •220400 «Программное обеспечение вычислительной техники и автоматизированных систем»
- •Введение
- •1. Роль стандартизации в развитии разработок в области информационных технологий.
- •1.1. Нормативно-методическая база стандартизации по
- •1.2. Основные направления стандартизации процессов разработки программных средств.
- •2. Стандартизация информационных технологий: состояние и перспективы развития.
- •2.1. Современное состояние стандартизации в мире
- •2.2. Состояние и проблемы стандартизации в России
- •3. Система показателей качественных и количественных характеристик программного продукта
- •3.1. Стандартизация характеристик качества
- •3.2. Выбор показателей качества
- •3.3. Оценки качества по
- •4. Модели и метрики оценки качества по
- •4.1. Оценка сопровождаемости программ.
- •4.2. Корректность
- •4.3. Метрики сложности программ
- •4.3.1. Метрики размера программ
- •4.3.2. Метрики сложности потока управления программ.
- •3.4.3. Метрики сложности потока данных
- •4.4. Модели надежности программ
- •4.4.1. Модели надежности по по структуре времени
- •4.4.2. Методы оценки числа оставшихся в по ошибок, основанные на метриках Холстеда
- •4.4.3. Методы оценки показателей надежности по, основанные на моделях «посева» и разметки ошибок и на моделях структуры входных данных.
- •4.4.4. Методы оценки, основанные на моделях структуры входных данных
- •4.4.5. Текстовые модели надежности по
- •4.5. Метрики стилистики и понятности программ
- •4.6. Метрика изменения длины программной документации.
- •4.7. Методы проведения контроля за качеством по
- •5. Сертификация программного обеспечения
- •5.1. Понятие сертификации
- •5.2. Виды сертификации программного обеспечения
- •5.3. Органы сертификации программного обеспечения в Российской Федерации
- •Список используемой литературы
4.6. Метрика изменения длины программной документации.
Рассмотрим еще одну метрику, по своему характеру несколько отличающуюся от предыдущих. Она опирается на принцип оценки, при котором используется измерение флуктуации длин программной документации.
Исходным является предположение о том, что чем меньше изменений и корректировок вносится в программную документацию, тем более четко были сформулированы решаемые задачи на всех этапах работ. По мнению автора метрики, неточности и неясности при создании ПО служат причиной увеличения количества корректировок и изменений в документации. И, напротив, демпфированный переходный процесс с немногочисленными изменениями длин документов -естественное следствие хорошо обдуманной идеи, хорошо проведенного анализа, проектирования и ясной структуры программ. Эти взаимосвязи и являются основными для данного метода оценки, суть которого состоит в следующем.
Предположим, что документация изменяется в дискретные моменты времени t(i), i=1,2,...,n. Тогда в любой момент времени t(i) текущая длина документа l(i) может быть определена как
l(i) = l(i-1) + a(i) - b(i); l(0) = 0,
где l(i-1) - длина документа в предыдущий момент времени; a(i) - добавляемая часть документа; b(i) - исключаемая часть документа.
Далее вводится d(i), представляющая собой отклонение текущей длины документа l(i) от конечного значения l(n):
d(i) = l(n) - l(i).
Затем рассчитывается интеграл по модулю этого отклонения на интервале от t(i) до t(n), представленный в виде суммы:
Значение H(n) представляет собой оценку переходного процесса для интервала времени от t(1) до t(n). Однако H(n) не учитывает изменений типа a(i)=b(i), хотя они, бесспорно, влияют на ход дальнейшего процесса.
Чтобы отразить влияние изменений такого рода, называемых в дальнейшем импульсными, вводится экспоненциальная функция, отражающая функцию отклика, которая представляет собой дополнение к оценке H, отражающее влияние импульсного изменения длины документов и вычисляемое как
Таким образом, оценка длины документа пропорциональна значению импульсного изменения длины a(i)=b(i) с коэффициентом пропорциональности L.
В принципе импульсное изменение длины документа присутствует и при a(i)<>b(i).
причем c(i) = min {a(i), b(i)}.
Если в процессе работы значения a(i) и b(i) неконтролируемы, импульсное изменение длины учесть нельзя, тогда c(i)=0. Используя конечное значение длины документа, можно записать
H(n)'' = H(n)' / l(n).
4.7. Методы проведения контроля за качеством по
Для определения значений показателей качества используются следующие методы проведения контроля за качеством ПО:
1. По способу получения информации о ПО - измерительный, регистрационный, органолептический, расчетный;
Измерительный метод основан на информации, получаемой с использованием технических средств.
Регистрационный метод основан на использовании информации, получаемой путем подсчета числа определенных событий, предметов или затрат. Например, количество отказов программы при испытаниях, затраты на создание и эксплуатацию программы, число унифицированных процедур в программе.
Органолептический метод основан на информации, получаемой с помощью органов чувств. Это метод оценки является субъективным.
Расчетный метод применяется для вычисления значений показателей качества на основе существующих аналитических или статистических зависимостей. В качестве аналитической зависимости наиболее часто используется так называемый интегральный показатель качества.
Интегральный показатель качества – это отношение объема работ, выполняемых программным изделием (или полезный эффект) к затратам, необходимым для выполнения этих работ.
2. По источникам получения информации - традиционный, экспертный, социологический.
Экспертный метод предусматривает установление значений показателей на основе решений, принимаемых высококвалифицированными специалистами – экспертами, которые принимают участие в создании, тестировании и эксплуатации данного или аналогичного программного изделия.
Социологический метод осуществляется потенциальными или фактическими потребителями продукции с помощью сбора мнений об этом продукте.
Из статистических зависимостей при оценке показателей качества чаще всего используется средневзвешенное арифметическое единичных показателей [33]:
где:
k1,2,…n – единичные показатели качества;
a1,2,…n - коэффициенты весомости единичных показателей качества ( ai=1)