1. Фактори якості програмного забезпечення.

ISO выделяет следующие 6 факторов качества:

Функциональность – включает в себя:

- удобство

- точность

- способность к взаимодействию

- безопасность.

2. Надежность -

- зрелость

- способность к восстановлению

- способность к восстановлению после ошибок.

3. Удобство использования –

- понятность

- способность к обучению

- привлекательность

- наличие необходимых ф-ций для реализации требуемой задачи

4. Эффективность –

- использование ресурсов

- поведение во времени

5. Сопровождаемость –

- стабильность

- способность к изменению

- возможность анализировать.

Стабильность и способность к изменению означает, что с-ма должна быть стабильной до и после изменения.

6. Переносимость –

- способность к адаптации

- инсталлируемость

- взаимозаменяемость

- сосуществование (может быть несколько программ на одном компе)

2. Метрики якості програмного забезпечення Холстеда.

Метрики Холстеда отражают лексический подход к измерению характеристик ПО.

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

n1 - количество различных операторов программы;

n2 - количество различных операндов программы;

N1 - общее количество операторов программы;

N2 - общее количество операндов программы.

На их основе Холстед ввел 10 метрик:

1. словарь программы (в условных единицах) n = n1+n2,

2. длина реализации (в условных единицах) N = N1+N2

3. длина программы (в условных единицах) Ñ = (n1  log₂ n1)+(n2log₂  n2)

4. объем программы (в битах) ) V = (N1+N2)  log₂(n1+n2).

5. потенциальный объем программы V* = (n2*+2)  log₂(n2*+2),

где n2* - общее число входных и выходных параметров.

6. уровень программы (в условных единицах) L = V*/ V  (2n2)/(n1 N2),

7. уровень языка =LV*

8. Интеллектуальное содержание программы (в условных единицах)

I=LV(2n2/n1 N2)(N1+N2)log₂(n1+n2)

9. работа по программированию (в условных единицах) E = V/L = V²/V*

10. время на программирование (в условных единицах) T = E/S, где S – число Страуда (5<S<20).

2. Регресійне тестування.

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

2. Визначення поняття веріфікації програмного забезпечення.

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

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