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

UptoLike

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

обеспечивается более высокий уровень надежности разрабатываемых программ. Не
менее важен факт автоматического порождения поколений данных при создании новых
объектов. Однако дела обстоят благополучно до тех пор, пока построеннаяпирамида
классов удовлетворяет поставленным перед программистом целям. Любые даже
незначительные изменения целевых установок на разработку программного обеспечения
или в концепциях построения модели структуры
данных требуют серьезного изучения
используемой иерархии классов, их свойств и методов и, в конечном итоге,
значительных усилий по модификации программного обеспечения.
В технологии ГСП также вводится стандарт на организацию межмодульного
информационного интерфейса. Стандарт обеспечивается выполнением пяти основных
правил:
1). Вводится единое для всей предметной области хранилище данных, актуальных
для ПОП. Полное
описание данных размещено в словаре данных ПОП. Любые
переменные, не описанные в
словаре данных, считаются локальными данными тех
объектов ГСП, где они используются.
2). В пределах ГСП описание типов данных размещается централизовано в
архиве
типов
данных.
3). В базовых модулях в качестве механизма доступа к данным допускается только
передача параметров
по адресам данных.
4). Привязка данных объектов ПОП реализована в паспортах объектов ПОП.
5). В технологии ГСП не рекомендуется использовать иные способы организации
межпрограммных связей по данным.
Предложенный стандарт позволяет полностью отделить задачу построения
межмодульного информационного интерфейса от кодирования процедурной части
программы, а также частично автоматизировать процессы построения информационного
интерфейса.
С информационной точки
зрения каждый объект ГСП f
i
представляет собой
функциональное отображение области определения объекта
D
i
in
на область значений
D
i
out
:
fD D
ii
in
i
out
: .
В общем случае
DD
i
in
i
out
I ≠∅
(в объекте могут быть модифицируемые данные)
и
DD D
i
in
i
out
, , где D - полная область данных ПОП. Для двух произвольных объектов
ПОП
f
i
и f
j
в общем случае справедливо:
()()DD DD
i
in
i
out
j
in
j
out
UIU ≠∅
.