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