Результаты верификации после преобразования системы в фиксированную точку
A DataTypeWorkflow.VerificationResult
объект содержит результаты после преобразования системы в фиксированную точку. Объект результата верификации указывает, было ли преобразование успешным на основе допусков, заданных в DataTypeWorkflow.ProposalSettings
объект, используемый во время преобразования.
моделирует систему, заданную в verificationResult
= verify(converter
,BaselineRunName
,RunName
)DataTypeWorkflow.Converter
объект, converter
и сохраняет информацию о запуске в новом запуске, RunName
. Это возвращает DataTypeWorkflow.VerificationResult
объект, который сравнивает базовую структуру и выполняемые верификации.
The DataTypeWorkflow.Converter
объект содержит инструментирование данные из запуска, заданной BaselineRunName
, а также допуски, указанные в связанных DataTypeWorkflow.ProposalSettings
объект. Программное обеспечение определяет, является ли поведение запуска верификации приемлемым, используя допуски, заданные ProposalSettings
объект.
explore | Исследуйте сравнение реализаций базовой линии и фиксированной точки |