Заглавная страница Избранные статьи Случайная статья Познавательные статьи Новые добавления Обратная связь КАТЕГОРИИ: Археология Биология Генетика География Информатика История Логика Маркетинг Математика Менеджмент Механика Педагогика Религия Социология Технологии Физика Философия Финансы Химия Экология ТОП 10 на сайте Приготовление дезинфицирующих растворов различной концентрации Техника нижней прямой подачи мяча. Франко-прусская война (причины и последствия) Организация работы процедурного кабинета Смысловое и механическое запоминание, их место и роль в усвоении знаний Коммуникативные барьеры и пути их преодоления Обработка изделий медицинского назначения многократного применения Образцы текста публицистического стиля Четыре типа изменения баланса Задачи с ответами для Всероссийской олимпиады по праву Мы поможем в написании ваших работ! ЗНАЕТЕ ЛИ ВЫ? Влияние общества на человека Приготовление дезинфицирующих растворов различной концентрации Практические работы по географии для 6 класса Организация работы процедурного кабинета Изменения в неживой природе осенью Уборка процедурного кабинета Сольфеджио. Все правила по сольфеджио Балочные системы. Определение реакций опор и моментов защемления	Главная Избранные Случайная статья Познавательные Новые добавления Обратная связь FAQ Свойства подграфов программы ⇐ ПредыдущаяСтр 9 из 9 Свойства подграфов программы	Номер вершины выбора
4	10
Номера вершин перехода	5, 15	11, 12
Скорректированная сложность вершины выбора	13	7
Номера вершин подграфа	5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15	11, 12, 13, 14, 4, 15
Номер нижней границы подграфа	16	16

 

Скорректированные сложности вершин графа программы

Номер вершины графа программы	1	2	3	4	5	6	7	8		9
Скорректированная сложность вершины графа	1	1	1	13	1	1	11	1		1
Номер вершины графа программы	10		11	12	13	14		15	16	17
Скорректированная сложность вершины графа	7		1	1	1	1		1	1	0

Sa = 44

массив метрик граничный программа

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

 

So = l – (17 – 1)/44 = 0,636

 

Следующая таблица содержит метрики сложности потока управления для программы.

 

Метрики сложности потока управления программ

Метрики сложности потока управления	Схема алгоритма
Метрика Маккейба Z(G)	3
Абсолютная сложность программы CL по метрике Джилба	2
Относительная сложность программы cl по метрике Джилба	0,14
Максимальный уровень вложенности условного оператора	0
Метрика граничных значений (абсолютная граничная сложность программы) Sa	44
Метрика граничных значений (относительная граничная сложность программы) Sa	0,636

 

 

Метрики размера программ. Метрики Холстеда

j	Оператор	f1j	i	Операнд	f2i
1.	;	11	1.	n	2
2.	:=	7	2.	i	11
3.	+	3	3.	a	4
4.	-	1	4.	b	4
5.	*	3	5.	1	3
6.	Sqr()	1	6.	10	2
7.	Begin...end	2	7.	3	1
8.	Readln	1	8.	2	1
9.	Writeln()	1	9.	6	1
10.	Write()	3	10.	S	3
11.	While…do	1
12.	>	1
13.	<=	1
14.	,	4
15.	.	1
16.	If…then…else	1
17.	‘ ’	4
18.	[]	3
h 1 = 18		N1 = 49	h 2 = 9		N2 = 29

 

Словарь программы h = 18 + 9 = 27.

Длина программы N = 49 + 29 = 78.

Объем программы V= 78 =312.

 

 

Спен программы

Идентификатор	a	b	n	i	S	Суммарный Спен программы
Спен	3	3	1	10	2	19

 

Идентификаторы a, b, n, i, S инициализируются и используются в теле программы, поэтому их спен равен (f2i – 1) в метриках Холстеда.

 

 

Метрики Чепина

Полная метрика Чепина

Метрика Чепина ввода/вывода

Группа переменных Р М С Т Р М С Т Переменные, относящиеся к группе -- S a, b, i, n -- -- S a, b, i -- Количество переменных в группе р = 0 m = 1 c = 4 t = 0 р = 0 m = 1 c = 2 t = 0 Метрика Чепина

Q = 1*0 + 2*1 + 3*4 +

+ 0,5*0 =14

Q = 1*0 + 2*1 + 3*2 +

+ 0,5*0 = 8

Идентификатор S создаётся внутри программы и не является управляющей переменной. Идентификаторы i, n являются счетчиками в циклах, a, b используется в вычислении элементов массива. Эти идентификаторы участвуют в управлении работой программного модуля. В список переменных ввода/вывода программы входят переменные S, a, b, i.

 

ПРОТОКОЛ ВЫПОЛНЕНИЯ ПРАКТИЧЕСКОГО ЗАНЯТИЯ

 

Студенту предлагается выполнить одно из четырех заданий: 11.1, 11.2, 11.3 или 11.4 по выбору.

11.1. Разработать алгоритм, блок-схему и написать листинг компьютерного кода программной реализации модели Шумана для оценки надежности ПО.

11.1.1. Разработать алгоритм модели Шумана.

11.1.2. Разработать блок-схему модели Шумана.

11.1.3. Применить метрики метрики сложности потока управления программ, метрики размера программ, Спена программы и метрики Чепина для анализа сложности потока управления программным обеспечением (на примере реализации модели Шумана или любой другой компьютерной программы).

 

 

11.2. Разработать алгоритм, блок-схему и написать листинг компьютерного кода программной реализации модели Миллса для оценки надежности ПО.

11.2.1. Разработать алгоритм модели Миллса.

11.2.2. Разработать блок-схему модели Миллса.

11.2.3. Применить метрики метрики сложности потока управления программ, метрики размера программ, Спена программы и метрики Чепина для анализа сложности потока управления программным обеспечением (на примере реализации модели Миллса или любой другой компьютерной программы).

11.3. Разработать алгоритм, блок-схему и написать листинг компьютерного кода программной реализации модели Джелински-Моранды для оценки надежности ПО.

11.1.1. Разработать алгоритм модели Джелински-Моранды.

11.1.2. Разработать блок-схему модели Джелински-Моранды.

11.1.3. Применить метрики метрики сложности потока управления программ, метрики размера программ, Спена программы и метрики Чепина для анализа сложности потока управления программным обеспечением (на примере реализации модели Джелински-Моранды или любой другой компьютерной программы).

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

11.1.1. Разработать алгоритм модели Липова.

11.1.2. Разработать блок-схему модели Липова.

11.1.3. Применить метрики метрики сложности потока управления программ, метрики размера программ, Спена программы и метрики Чепина для анализа сложности потока управления программным обеспечением (на примере реализации модели Липова или любой другой компьютерной программы).

 

ЗАКЛЮЧЕНИЕ.

ВЫВОДЫ.

1)

2)

3)

14. СПИСОК ЛИТЕРАТУРЫ [10]

1. Firesmith D. G. Common concepts underlying safety, security, and survivability engineering, Technical Note CMU/SEI-2003-TN-033, Carnegie Mellon Software Engineering Institute. 2003.

2. ISO/IEC 9126-1:2001. Software engineering - Software product quality - Part 1: Quality model.

3. Fitzpatrick R. Software Quality: Definitions and Strategic Issues, Staffordshire University, School of Com­puting Report, 1996. 34 p.

4. McCall J. A., Richards P. K., Walters, G. F. Factors in Software Quality: Concept and Definitions of Soft­ware Quality. Final Technical Report. Vol. 1. National Technical Information Service, Springfield. 1977.

5. Mc Call J. A., Richards P. K., Walters, G. F. Factors in Software Quality: Metric Data Collection and Vali­dation. Final Technical Report. Vol. 2. National Technical Information Service, Springfield. 1977.

6. Mc Call J. A., Richards P. K., Walters, G. F. Factors in Software Quality: Preliminary Handbook on Soft­ware Quality for an Acquisition Manager. Final Technical Report. Vol. 3. National Technical Information Service, Springfield. 1977.

7. Boehm B.W., Brown J.R., Kaspar H., Lipow M., MacLeod G.J., Merritt M.J.. Characteristics of Software Quality, TRW Series of Software Technology, Amsterdam, North Holland, 1978. 166 p.

8. Grady R.B., Caswell D.L. Software Metrics: Establishing a Company-Wide Program. Prentice-Hall, 1987. 275 p.

9. Ghezzi C., Jazayeri M., Mandrioli D. Fundamental of Software Engineering, Prentice-Hall, NJ, USA. 1991.

10. Dromey G.R. A model for software product quality // Transactions of Software Engineering. 1995. Vol. 21, No. 2. P. 146-162.

11. Hyatt L.E., Rosenberg L.H. A Software Quality Model and Metrics for Identifying Project Risks and As­sessing Software Quality // Proceedings of Product Assurance Symposium and Software Product Assurance Workshop. Noordwijk, 1996. P. 209-212.

12. ISO/IEC TR 9126-2:2003 Software engineering - Product quality - Part 2: External metrics.

13. ISO/IEC TR 9126-3:2003 Software engineering - Product quality - Part 3: Internal metrics.

14. ISO/IEC TR 9126-4:2004 Software engineering - Product quality - Part 4: Quality in use metrics.

15. Bansiya J., Davis C. A Hierarchical Model for Object-Oriented Quality Assessment // IEEE Transactions on Software Engineering. 2002. Vol. 28, No. 1. P. 4-17.

16. Bass L., Clements P., Kazman R. Software Architecture in Practice. 2Ed. Addison Wesley. 2003. 528 p.

17. Khosravi K., Gueheneuc Y. On Issues with Software Quality Models // Proceedings of 9^th ECOOP work­shop on Quantitative Approaches in Object-Oriented Software Engineering. 2005. P. 70-83.

18. Chang C., Wu C., Lin H. 2008. Integrating Fuzzy Theory and Hierarchy Concepts to Evaluate Software Quality // Software Quality Control. 2008. Vol. 16, No. 2. P. 263-267.

19. Sharma A., Kumar R., Grover P.S. Estimation of Quality for software components: an empirical approach // ACM SIGSOFT Software Engineering Notes. 2008. Vol. 33, No. 6. P. 1-10.

 

 

15. КОНТРОЛЬНЫЕ ВОПРОСЫ И ЗАДАНИЯ [11]

1) Определите понятие качества ПО.

2) Назовите основные аспекты и уровни модели качества ПО.

3) Определите характеристики качества ПО и их назначение.

4) Какие методы используются при определении показателей качества?

5) Определите метрики программного продукта и их составляющие.

6) Какие стандарты в области качества ПО существуют?

7) Назовите основные цели и задачи системы управления качеством.

8) В чем суть «инженерии качества» программного обеспечения?

9) Назовите критерии классификации моделей надежности.

10) Охарактеризуйте обеспечение качества и надежности в процессе разработки сложных программных средств.

11) Перечислите требования к технологии и средствам автоматизации разработки сложных программных средств.

12) Дайте определение качества программного обеспечения.

13) Что такое тестирование программного средства?

14) Что такое тестирование модуля, или автономное тестирование?

15) Что такое тестирование сопряжений?

16) Что такое комплексное тестирование?

17) Что такое тестирование приемлемости?

18) Что такое тестирование настройки?

19) Перечислите и охарактеризуйте аксиомы (принципы) тестирования.

20) В чем отличие марковских и пуассоновских моделей надежности?

21) Сформулируйте основные параметры и предположения модели Шумана.

22) Сформулируйте основные параметры и предположения модели Миллса.

23) Сформулируйте основные параметры и предположения модели Джелински-Моранды.

24) Сформулируйте основные параметры и предположения модели Липова.

[1] Это раздел при подготовке отчета не распечатывается

[2] Это раздел при подготовке отчета не распечатывается

 

[3] Это раздел при подготовке отчета не распечатывается

 

[4] Это раздел при подготовке отчета не распечатывается

 

[5] Это раздел при подготовке отчета не распечатывается

 

[6] Это раздел при подготовке отчета не распечатывается

 

[7] Это раздел при подготовке отчета не распечатывается

 

[8] Это раздел при подготовке отчета не распечатывается

 

[9] Это раздел при подготовке отчета не распечатывается

 

[10] Это раздел при подготовке отчета не распечатывается

[11] Это раздел при подготовке отчета не распечатывается