ModelCheck

[Timi 15]

Даже если и захотеть перейти на параметры на английском, то тем же моделчеком в вф5 невозможно переименовать свои параметры русские в английские.

Параметры на английском переименовываются без проблем.

[AlexVk 0]

PRT_PARAMETER	OBOZNACHENIE	STR	EQ	LIST_OBOZ

А можно еще как-то сделать, чтобы параметр создавался публикуемый?

И еще, можно имя файла тоже ограничить списком?

[shraibicus 0]

Подскажите плиз. Почему Modelcheck не добавляет параметры?

Что я делаю:

1. Опции ПроЕ: modelcheck_enabled yes

2. Начальные установки - config_init.mc использовал родной.

3. Установки условий - condition.mcc

MODEL_UNIT = MM default_checks.mch nostart.mcs mm.mcn sample_status.mcq

MODELNAME = * default_checks.mch nostart.mcs mm.mcn sample_status.mcq

5. Установки конфигурации -

default_checks.mch

ADD_CHK_PARAM везде поставил Y

6.Стартовые файлы - nostart.mcs

PRT_ADD_CHK_PARAM значение parametr

ASM_ADD_CHK_PARAM значение parametr

Делаю интерактивный анализ параметр не добавляется.

Помогите.

Изменено 31 марта 2011 пользователем shraibicus

[Ruslan 266]

ADD_CHK_PARAM Служит для создания параметра со значением результата другой проверки.

Например MODEL_NAME_STR имя файла модели.

Стартовый файл тогда должен содержать:

ASM_ADD_CHK_PARAMMODEL_NAME MODEL_NAME_STR

PRT_ADD_CHK_PARAM MODEL_NAME MODEL_NAME_STR

А можно еще как-то сделать, чтобы параметр создавался публикуемый?

[value] представляет собой значение. Значение является чувствительным к регистру. Следующие значения являются применимыми:

Может быть задано точное значение, или для проверок типа меньше чем или больше чем может быть задано число.

Значение PDM может быть задано, если данный параметр предназначен для PDM.

Значение NULL может быть задано, если параметр не имеет присвоенного значения.

PRT_PARAMETER PN NONE EQ PDM

PRT_PARAMETER PN NONE EQ ????-???

И еще, можно имя файла тоже ограничить списком?

Нет наверное. Вопрос зачем? Можно сконфигурировать ModelCheck, что бы разные модели обрабатывались по разному.

[shraibicus 0]

Ruslan подскажи как сделать такую штуку. Например у нас появляется деталь в промежуточном формате (допустим stp). Соответственно в ней нет ни каких параметров и уравнений. Расскажи как в этом случае модель наполнить параметрами (если возможно с русскими буквами), ну и соответственно уравнениями.

Насколько я понимаю необходимо сначала создать результат от "правильной" модели, а потом эти данные сравнить с "неправильной" моделью. Если можно опиши этот процесс. Спасибо.

[Ruslan 266]

апример у нас появляется деталь в промежуточном формате (допустим stp).

Для этого достаточно опции intf_in_use_template_models yes, для импортированной модели будет использоваться шаблон по умолчанию.

А дальше уже можно и ModelCheck использовать.

[AlexVk 0]

Руслан, спасибо!

[shraibicus 0]

Спасибо опция intf_in_use_template_models помогла. А много еще таких скрытых опций, которые не описаны в настройках и автоматически не находятся? Эта опция описана только в хелпе.

[Ruslan 266]

А много еще таких скрытых опций

Не является скрытой опцией... Описана, находится, есть в справке.

[shraibicus 0]

Всем доброе утро. Бьюсь какой уже день над добавлением и переименовыванием параметров. Самое удивительное, что проверку на наличие параметра и его значения проходит.

И так что я делаю:

1. Опции ПроЕ: modelcheck_enabled yes

2. Начальные установки - config_init.mc использовал родной.

3. Установки условий - condition.mcc

MODEL_UNIT = MM default_checks.mch nostart.mcs mm.mcn sample_status.mcq

MODELNAME = * default_checks.mch nostart.mcs mm.mcn sample_status.mcq

5. Установки конфигурации -

default_checks.mch

ADD_CHK_PARAM везде поставил Y

PARAM_RENAME везде поставил Y

PARAM_INFO везде поставил Y (вывел информацию о параметрах)

6.Стартовые файлы - nostart.mcs

PRT_ADD_CHK_PARAM значение test

PRT_PARAM_RENAME (значение) test переименовываем rename_test

Все проверки пока пробую делать на деталях. Если не сложно может кто нибудь описать добавление параметра и его переименовывание подробно?

Были ли у кого проблемы в работе Modelcheck в 5-ом прое билд М40?

Может следует поставить помоложе версию?

Изменено 12 апреля 2011 пользователем shraibicus

[Ruslan 266]

PRT_ADD_CHK_PARAM значение test

Читайте внимательно для чего эта опция... Уж точно не для добавления собственных параметров, а для вывода результатов проверок...

[shraibicus 0]

Действительно не ту опцию использовал. Добавляет параметр опция PRT_PARAMETR. Осталось разобраться почему он не хочет переименовывать параметр. Еще маленький вопрос. С добавлением параметров на русском возникли проблемы. Кто нибудь кодировку смог обойти?

И так русские буквы заработали. Помогла программка штирлиц. Ручками стартовый файл редактируем в штирлице и сохраняем в UTF-8

[Ruslan 266]

С именами параметров на Русском, ModelCheck не работает.

WF4 и выше все такие файлы в UTF-8. Если использовали от старых версий. нужно исправить кодировку.

[Timi 15]

И так русские буквы заработали. Помогла программка штирлиц. Ручками стартовый файл редактируем в штирлице и сохраняем в UTF-8

Т.е. у вас получилось создать через моделчек параметр на русском языке в модели?

Какая сборка прое?

[shraibicus 0]

Т.е. у вас получилось создать через моделчек параметр на русском языке в модели?

Да получилось. Делал в 5-ке билд M40. Пробую в 4-ке, пока не пашет. Сам параметр уродует, но значение оставляет тоже.

[shraibicus 0]

Перекодировать надо в ANSI чтобы русские буквы воспринимались. Не работает с одной буквой "Р". В настройках modelcheack стартовые файлы параметры на русском исчезают. Остаются пустые опции. Видимо это побочный эффект. Если захочется что то подправить придется лезть в блокнот и там править ( буква Р не работает))). Да и вообще как то с русскими буквами страшно работает. Думаю в дальнейшем может злую шутку сыграть.

[Vladimir_Gorshkov 71]

Перекодировать надо в ANSI чтобы русские буквы воспринимались. Не работает с одной буквой "Р". В настройках modelcheack стартовые файлы параметры на русском исчезают. Остаются пустые опции. Видимо это побочный эффект. Если захочется что то подправить придется лезть в блокнот и там править ( буква Р не работает))). Да и вообще как то с русскими буквами страшно работает. Думаю в дальнейшем может злую шутку сыграть.

Подтверждаю .

Если стартовый файл nostart.mcs сохранить в кодировки ANSI, то имена параметров можно называть по русски,

но при этом если имя параметра набрано только заглавными буквами или начинается с заглавной Р , то результат будет не верным. Для добавления и переименования параметров у меня вобщем то все прошло нормально.

WF5 M050

Подскажите, а как в ModelCheck присвоить значение добавленному параметру автоматом .

PS Хотя нажать один раз в окне после анализа "Добавить" меня тоже устраивает

Изменено 13 апреля 2011 пользователем Vladimir_Gorshkov

[LinchK 2]

А можно ли сделать так, чтобы в пакетном режиме MC проверял имя файла, затем сносил все параметры модели, а затем прочитав новые параметры из одноименного текстового файла вписывал их в модель?

[Ruslan 266]

Можно проверять значения параметров на соответствие по списку из внешнего файла. Но файл один.

Конфигурировать для всех имен слишком трудозатратно. Нельзя подставить имя по маске.

IF ( MODELNAME EQ * ) config=(check/default_checks.mch)(start/default_start.mcs)(constant/mm.mcn)(status/sample_status.mcq)

Можно для разных типов (групп файлов отличающихся признаками) организовать загрузку разных наборов параметров.

п.к. Для чего вам это?

[GOLF_stream 293]

Пытаюсь разобраться с Моделчеком. Не могу заставить его выполнять хоть что-то. Например, добавить уравнение.

Задал опцию PRT_RELATION OBOZNACHENIE=NOMER

Установил RELATION_MISS значение W для интерактивного и пакетного вариантов в каждом файле конфигурации.

Задал MU_ENABLED значение Y.

Запускаю Моделчек - ничего не добавляется.