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