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