ПРИНЦИП ПРЕДЕЛЬНЫХ ОБОБЩЕНИЙ: методология, задачи ...

132
ГЛАВА 4.
КОНФИГУРАТОРЫ ТЕСТОВ
В главе 2 было введено понятие ориентированного графа доменов
произвольного теста. Орграф доменов – это математический объект.
Процедурная реализация данного объекта может быть выполнена разными
способами. Один из них – представление орграфа доменов в виде
конфигуратора. На самом деле во второй и третьей главе мы уже
использовали неявно данное представление. Теперь дадим его точное
формальное описание, а также рассмотрим способы автоматического
формирования конфигураторов тестов в разных ПрО.
4.1 Определение конфигуратора. Примеры
Общую схему конфигураторов с использованием синтаксиса
лексических деревьев можно представить следующим образом:
Тест [^ Тест...] [# ТестX...] { (4.1)
Dom_1 [^Dom_1...] [#DomX…] { ; ; }
Dom_2 [^Dom_2...] [#DomY…] { ; ; }
...
Dom_N [^Dom_N...] { ; ; }},
где ‘Тест’ – название теста; ‘^Тест...’ – список условных обозначений теста;
‘# ТестX...’ – список ссылок на более общие тесты; ‘Dom_K’ – название K-
го домена (произвольный терм, состоящий из букв и/или чисел);
‘^Dom_K...’ – список условных обозначений K-го домена; ‘#DomX…’ –
ссылка на домены предки; {; ;} – список элементов домена со связями
обобщения. Каждый элемент домена может иметь собственный список
обозначений, которые также играют роль символов групп обобщения.
Элементы доменов могут содержать дополнительные конструкции,
которые обеспечивают однозначность вычислительных схем в зависимости
от внешних тестов.
Порядок размещения доменов в конфигураторе – сверху вниз и слева
направо – означает рост точности значений теста за счет большей
детализации (увеличения числа элементов). В упорядоченной
последовательности доменов метки элементов любого домена явно задают
однозначные правила перерасчета значений из домена-предка в доменпотомок,
размещенный выше или слева. Конфигураторы тестов, как и
орграфы доменов, будем обозначать G. Примеры конфигураторов:
Уровень гемоглобина ^Hb {