Exponenta Banner
exponenta event banner

Проверка проверочного кода

Проверка всего приложения или модуля

Чтобы указать, выполняется ли проверка полного приложения с помощью main функция или модуль без main используйте опции проверки программы проверки кода (Code Prover verification). При проверке модуля программное обеспечение генерирует main функция для вас. Для точной настройки сгенерированного main используйте эти опции.

Параметры анализа

развернуть все

Verify whole applicationОстановить проверку, если исходные файлы неполны и не содержат main функция
Show global variable sharing and usage only (-shared-variables-mode)Вычислять общий доступ к глобальным переменным и их использование без выполнения полного анализа
Verify initialization section of code only (-init-only-mode)Проверять только код инициализации на наличие ошибок во время выполнения и других проблем
Verify module or library (-main-generator)Создать main функция, если исходными файлами являются модули или библиотеки, не содержащие main
Variables to initialize (-main-generator-writes-variables)Укажите глобальные переменные, которые должны быть созданы main инициализировать
Initialization functions (-functions-called-before-main)Укажите функции, которые должны быть созданы main вызов перед другими функциями
Functions to call (-main-generator-calls)Укажите функции, которые должны быть созданы main для вызова после функций инициализации
Verify files independently (-unit-by-unit)Проверка каждого исходного файла независимо от других исходных файлов
Common source files (-unit-by-unit-common-source)Укажите файлы, которые необходимо включить в каждый исходный файл во время проверки файла
Main entry point (-main)Укажите расширения Microsoft Visual C++ main
Analyze class contents only (-class-only)Не анализировать код, отличный от методов класса
Skip member initialization check (-no-constructors-init-check)Не проверять, инициализирует ли конструктор класса элементы класса
Functions to call within the specified classes (-class-analyzer-calls)Укажите методы классов, которые необходимо проверить
Class (-class-analyzer)Укажите классы, которые необходимо проверить
Verify model generated code (-main-generator)Укажите, что main функция должна быть сгенерирована, если она отсутствует в исходных файлах
Parameters (-variables-written-before-loop)Укажите переменные, создаваемые main должен инициализироваться до цикла циклического кода
Inputs (-variables-written-in-loop)Укажите переменные, создаваемые main должен инициализироваться в цикле циклического кода
Initialization functions (-functions-called-before-loop)Укажите функции, созданные main должен вызывать до цикла циклического кода
Step functions (-functions-called-in-loop)Укажите функции, созданные main должен вызывать в цикле циклического кода
Termination functions (-functions-called-after-loop)Укажите функции, созданные main должен вызывать после цикла циклического кода

Темы

Задать параметры анализа в пространстве

Задайте параметры анализа Polyspace ® в интерфейсе пользователя Polyspace, других среде IDE или сценариях.

Проверка приложения C без основной функции

Узнайте о преимуществах написания вручную main функция по сравнению с автоматическим генерированием main функция.

Проверка классов C++

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

Предоставление контекста для проверки кода C

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

Предоставить контекст для проверки кода C++

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

Документация по программе проверки кода Polyspace

Поддержка