Сконфигурируйте и запущенный анализ

Проверка кода для ошибок времени выполнения от пользовательского интерфейса Polyspace^®, командной строки или других сред разработки

Проверяйте код C/C++ на ошибки времени выполнения или кодирующий нарушения правила. Вы можете:

Проверка кода во время разработки, в пользовательском интерфейсе Polyspace или скриптах использования.
Автоматизированное расписание проверяет удаленный кластер.
Проверка кода сгенерирована из кода MATLAB^® или моделей Simulink^® как часть рабочего процесса генерации кода.
Проверка кода из IDE, такого как Eclipse™.

Анализ Polyspace рабочего стола
Проверяйте код C/C++ на ошибки времени выполнения в пользовательском интерфейсе Polyspace или скриптах использования
Анализ Polyspace кластеров
Проверяйте код C/C++ на ошибки времени выполнения в удаленном кластере
Анализ Polyspace в Simulink
Проверьте код, импортированный в и сгенерированный из моделей Simulink
Анализ Polyspace в MATLAB Coder
Проверьте код, сгенерированный из кода MATLAB.
Анализ Polyspace в Eclipse
Проверьте файлы исходного кода в Eclipse или ИДАХ на основе Eclipse
Анализ Polyspace кода AUTOSAR
Проверьте реализацию кода компонентов программного обеспечения AUTOSAR.
Опции анализа в Polyspace Code Prover
Описания опций анализа

Документация Polyspace Code Prover

Поддержка

Памятка переводчика

1. Если смысл перевода понятен, то лучше оставьте как есть и не придирайтесь к словам, синонимам и тому подобному. О вкусах не спорим.

2. Не дополняйте перевод комментариями “от себя”. В исправлении не должно появляться дополнительных смыслов и комментариев, отсутствующих в оригинале. Такие правки не получится интегрировать в алгоритме автоматического перевода.

3. Сохраняйте структуру оригинального текста - например, не разбивайте одно предложение на два.

4. Не имеет смысла однотипное исправление перевода какого-то термина во всех предложениях. Исправляйте только в одном месте. Когда Вашу правку одобрят, это исправление будет алгоритмически распространено и на другие части документации.

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