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

UptoLike

ВУЗ: 

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

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

Рубрика: 

где ∇ - операция над данными объектов, реализующая объединение паспортов
маршрутов.
Определим семантику для введенных операций. Пусть заданы два объекта
A и B с
соответствующими паспортами:
()
{}
()
{}
PA DD PB DD
A
in
A
out
B
in
B
out
==,, , .
Обозначим классификационные признаки данных следующим образом:
“0” - d ∉ P(A) - данное не принадлежит модулю A;
“1” - d ∈ D
A
in
- данное принадлежит модулю A и является входным (инициируемым);
“2” - d ∈ D
A
out
- данное принадлежит модулю A и является вычисляемым.
Тогда таблица истинности операций следования
Δ
и объединения ∇ имеет вид (см.
табл. 3.2):
Таблица 3.2
AB
Δ∇
0000
0111
0222
1011
1111
1211
2022
2121
2222
Формально операции следования и объединения описываются следующим образом:
а) классификация данных в граф-агрегате на основании выполнения операции
следования
:
{}
PAB D D
AB
in
AB
out
() ,Δ
ΔΔ
=
, где
()
{}
()
{}
DddDdPAdD
DddDdPAdD
AB
in
A
in
B
in
AB
out
A
out
B
out
Δ
Δ
=∈∨∉∧∈
=∈∨∉∧∈
:()
:()
б) классификация данных в граф-агрегате на основании объединения паспортов
цепочек
A и B (операция объединения):
{}
PA B D D
AB
in
AB
out
() ,∇=
∇∇
, где
{}
()
()
()
D ddD dD
D
dd D d D
dPA dD
dD dPB
AB
in
A
in
B
in
AB
out
A
out
B
out
B
out
A
out
∇
∇
=∈∨∈
=
∈∧∈ ∨
∨∉ ∧∈ ∨
∨∈ ∧∉
⎧
⎨
⎪
⎪
⎩
⎪
⎪
⎫
⎬
⎪
⎪
⎭
⎪
⎪
:
:
()
()
Рассмотрим основные свойства заданных операций. Для наглядности, вместо
символов, обозначающих паспорта объектов (
P(A), P(B) и т.д.), будем применять
символы, обозначающие сами объекты (
A, B и т.д.).
1. Ассоциативность операций следования и объединения:
A Δ ( B Δ C ) = ( A Δ B ) Δ C = A Δ B Δ C = ABC
A
∇ ( B ∇ C ) = ( A ∇ B ) ∇ C = A ∇ B ∇ C

Страницы