Пакет: 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