Тут дається опис повної перевірки усіх можливих протокольних повідомлень (не даються гарантії на повний простір повідомлень з варіацією усіх атрибутів). На верхньому рівні протоколу є два вида повідомлень: 0) нотифікації та 1) документи. Нотифифікації: 1) доставка, 2) прийняття, 3) реєстрація та 4) відхилення. Документи: 0) інформаційний лист, 1) погодження, 2) узагальнення, 3) доручення. Також існує п’ять документів-відповідей: чотири для документів, плюс один додатковий варіант для відхилення погодження.
В процесі сертифікації передбачається перевірка 4 типів нотифікацій для усіх 9 типів повідомлень (вхідні документи та докменти відповіді). Разом з самими повідомленнями система СЕД повинна вміти відсилати та приймати по 45 різних типів пакетів. Загалом сертифікація передбачає траспортування 90 пакетів які валідуються наочно.
Приклад сценарію сертифікації, який генерує усі необхідні 90 повідомлень на двох облікових записах СЕВ:
defmodule SEV.LEGAL do
require ERP
@from "34239034"
@to "34239035"
def certify() do
{:incoming, []} = SEV.inbox @to
{:incoming, []} = SEV.inbox @from
x = SEV.TEST.NEW.all @from, @to
:timer.sleep(60000)
SEV.download_all @to
:timer.sleep(60000)
SEV.REPLY.acks @to, @from, x
:timer.sleep(120000)
SEV.download_all @from
:timer.sleep(60000) # 20 + 20
y = SEV.REPLY.all @to, @from, x
:timer.sleep(120000)
SEV.REPLY.acks @from, @to, y
:timer.sleep(120000)
SEV.download_all @to
:timer.sleep(60000)
SEV.download_all @from
end
end
ДП “Інфотех”
Максим Сохацький