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