ГОСТ Р ИСО/МЭК 24709-1— 2009
Рисунок 3 — Модель испытания на соответствие
для инфраструктур BioAPI
Рисунок 4 — Модель испытания
на соответствие для ПБУ BioAPI
6.3 Абстрактная испытательная машина
6.3.1 Семантика языка формальных утверждений определена с использованием понятия «абстракт
ная испытательная машина».
6.3.2 Абстрактная испытательная машина является абстрактной вычислительной машиной, обеспечи
вающей возможность проведения испытания на соответствие стандартного компонента BioAPI (приложе
ния. инфраструктуры или ПБУ). Абстрактная испытательная машинадолжна обеспечивать проведение ис
пытания путем обработки формальныхутверждений, написанных на языке формальных утверждений, оп
ределенном в разделе 7.
10