Современные технологии разработки и тестирования программного обеспечения (ПО). Ч.1. Коварцев А.Н. - 11 стр.

UptoLike

ВУЗ: 

СамГУПС | Самара

Составители: 

Рубрика: 

соответствие между состояниями и функциями: S
00
- f
0
; S
10
- f
1
; S
01
- f
2
; S
11
- f
3
. Событиям
E
0
- E
2
поставим в соответствие предикаты P
0
- P
2
. Содержание предикатов зависит от
степени детализации процессов происходящих в СМО. В простейшем случае это может
быть простое “бросание кости” в соответствие с интенсивностью потока заявок
λ
и
интенсивностями обслуживания
μ
1
и
μ
2
. В более сложных случаях, возможно
моделирование интервалов времени между событиями, связанных с приходом заявок или
их обслуживанием.
P
0
P
2
P
2
P
1
P
1
f
3
f
2
f
1
f
0
P
0
P
0
P
0
Рис
. 2.1.
Г
р
а
ф
-мо
д
ель
д
в
у
хканальной СМО
Тогда граф-модель двухканальной СМО можно представить так, как это показано
на рис 2.1.
2.2 Базовые модули и типы данных
В качестве исходного строительного материала в технологии ГСП выступают две
категории: базовые модули и типы данных. Базовые модули представляют собой
перечень локальных вычислимых функций, на основе которых в конечном итоге
порождаются все объекты технологии ГСП (акторы, агрегаты и предикаты). Типы
данных описывают синтаксический и семантический аспекты строения данных,
используемых в
базовых функциях, а также и в объектах технологии ГСП.
Если вкладывать в понятие программирование традиционный смысл, то в ГСП оно
начинается на этапе конструирования новых граф-программ из имеющегося набора
вычислимых функций, точно так же, как программы, написанные на алгоритмических
языках программирования, составляются из конечного набора операторов языка.
Порождение первоначального множества
вычислимых функций (базовых модулей)
производится на любом из существующих языков программирования, например, языке
С++.
2.3. Базовые модули. Базисы
Программирование представляет собой сложный интеллектуальный процесс,
естественное развитие которого в 70-х годах привело к возникновению нового понятия -
методологии программирования. Научное направление, символизируемое Дейкстрой,
Виртом, Хоаром
, в рамках структурного программирования развивает теорию

Страницы