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

UptoLike

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

A1
A2 A3
A4
A6
G1 :
A5
Рис. 3.5
Тогда, если алгоритм будет выполняться по маршруту A1A3А
6
, параметр D2 (из
модуля A
3) должен принять значение перед началом работы программы, и его
необходимо отнести к классу входных данных. Если же алгоритм пойдет по маршруту
A
1A2A3А
6
, то D2 будет вычислен в модуле A2 и, следовательно, это данное не
надо инициировать заранее (то есть оно является вычисляемым). Учитывая априорную
неопределенность развития вычислительного процесса на графе G
1
, данное D2 следует
отнести к классу входных данных. Действительно, если вычисленияпойдутпо первому
маршруту, то для него следует иметь начальное значение, если же вычисления будут
развиваться по второму маршруту, то инициируемое значение будет заменено на
вычисленное. В любом случае не возникнет ошибочная ситуация, связанная с
отсутствием или неверным заданием начального
значения для данного D2.
Таким образом, задача классификации данных для объектов-агрегатов связана с
решением проблемы выделения всех независимых маршрутов, которые могут быть
реализованы в графе агрегата.
3.2.2. Декомпозиция агрегатов. Алгебра трехзначной логики
выделения классификационных признаков
Задача построения всех независимых маршрутов из корневой вершины в концевые
вершины графа эквивалентна задаче декомпозиции исходного графа на совокупность
частей графа, таких что
GR
j
= U, где R
j
- ориентированные маршруты из корневой
вершины в концевые.
Так, например, граф, представленный на рисунке 3.5, может быть разложен на
следующие маршруты (см. рис.3.6).