Модель объектов программной системы (ПС), абстрагированная от их внутренней структуры, приведена на следующей схеме:
В результате анализа предметной области были выделены следующий объекты, из которых состоит система:
· Тестовая среда (включает подобъект «Шифр»): производит управляющие операции пораундового шифрования и определяет число эффективно взламываемых раундов.
· Генератор входной последовательности (включает подобъект «Входная последовательность»): генерирует битовую последовательность вида (1).
· Статистический тест (включает подобъект «Стопка книг»): определяет меру случайности подаваемой на вход битовой последовательности.
Указанные объекты были выделены в программной системе, исходя из того, что они описывают независимые сущности, которые представляют собой инкапсулированные объекты (являются пассивными, их внутренняя структура скрыта, а взаимодействие с другими объектами производится лишь через заданный протокол). Кроме того, все 3 объекта являются сущностями независимыми и взаимозаменяемыми (статистический тест можно брать любой (но с тем же интерфейсом взаимодействия); генератор ВП тоже может быть другим (лишь бы сохранялся соответствующий интерфейс)).
Список объектов, с которыми работает система (внешних по отношению к ней):
· Криптоаналитик(взаимодействует с ПС через определённый интерфейс): очень активный объект (обладает не только состоянием, но и является исполнителем, обладает замкнутой операционной обстановкой и сложной структурой; и именно он использует мою систему), т.е. «Криптоаналитик» является субъектом по отношению к моей ПС.
· ПС Шифр (любая программная система (возможно, аппаратная), которая шифрует каким-либо блоковым шифром заданными параметрами последовательность на входе).
Список протоколов:
· Протокол взаимодействия Тестовой среды с Генератором ВП.
· Протокол взаимодействия Тестовой среды со Статистическим тестом.
· Протокол взаимодействия ПС (тестовой среды) с шифром.
Динамика системы: первоначально «Тестовая среда» обращается к «Генератору входной последовательности» и получает битовую последовательность заданной длины. Далее, на каждом шаге «Тестовая среда» шифрует последовательность на очередной i-й раунд шифра (обращаясь к «ПС Шифр») и после проверяет меру случайности (обращаясь к объекту «Статистический тест»); если мера случайности становится выше заданного порога (т.е. отклонения от случайности уже не обнаруживаются тестом), то «Тестовая среда» сообщает криптоаналитику количество раундов, которые можно взломать при заданных параметрах шифра и теста.
Представленная программная система является информационно замкнутой, поскольку ее действия не затрагивают другие компоненты системы (в том числе системы, работающие параллельно с данной ПС или системы, в рамках которых работает данная ПС), а так же не вносят изменений в состояния объектов, внешних по отношению к данной системе (в т.ч. внешние объекты: криптоаналитик и шифратор (объект «ПС Шифр»)).
Каждый из выделенных объектов системы представлен в виде отдельного пространства в ПС, имеющего подобъекты. Их описание, а также описание подробностей динамики и описание методов объектов ПС приведено ниже.