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

UptoLike

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

Рубрика:

I=0;

Граф-агрегат Apoz сконструирован из “in line”- объектов, каждый из которых

состоит из одного - двух простейших операторов языка Си. В агрегате Apoz

используются четыре параметра:

a[ ], b[ ] - строки символов, имеющие типы TAPE и WORD соответственно (эти

типы описаны в h-файлах директивами: typedef char TAPE[200]; typedef char WORD;),

I, J - целые числа типа int,

P - указатель на целое типа int*.

Определим в качестве внутренних параметров инкапсулируемого объекта данные I

и J, а в качестве внешних - a, b, p. На рисунке 3.3 представлен текст инкапсулированного

базового модуля Poz. Имена акторов “in line” в ГСП порождаются автоматически, на

рисунке 2.3 этим модулям назначены имена Inline1 - Pred5. Теперь, на основе нового

базового модуля Poz можно через “паспортизацию” формировать акторы: Pz_R_I -

позиционирование головки машины Тьюринга по символу “|” на правой полуленте и т.д.

Для сравнения на рисунке

3.4 представлен текст аналогичного базового модуля,

закодированного на языке Си.

int Poz(TAPE *a_, WORD *b_, int *P_)

{

static int I=0;

static int J=0;

static int P=0;

static TAPE a={};

static WORD b={};

// Дерево информационных связей

static void *Inline1[ ]={&I,&J};/* I=0; J=0; */