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