Результаты верификации после преобразования системы к фиксированной точке
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