Запускать Polyspace® со скриптами равномерно, например, на сервере во время непрерывного интегрирования, необходимо сконфигурировать все опции анализа заранее так, чтобы анализ завершился без ошибок. Эти опции должны быть обновлены по мере необходимости, чтобы не отставать от новых представлений кода. Если вы используете существующие артефакты, такие как команда сборки (make-файл), чтобы создать новые представления кода, можно снова использовать команду сборки, чтобы сконфигурировать анализ Polyspace и остаться в курсе с новыми представлениями. С polyspace-configure команда, можно контролировать выполнение команды сборки и создать файл опций для анализа с Polyspace.
Эта тема показывает простой пример, иллюстрирующий, как создать файл опций из команды сборки и использовать файл для последующего анализа. Тема использует Linux® make-файл и компилятор GCC, но можно адаптировать команды к другим операционным системам, таким как Windows® и другие компиляторы, такие как Microsoft® Visual Studio®.
Скопируйте демонстрационные исходные файлы с polyspaceserverroot\polyspace\examples\cxx\Bug_Finder_Example\sourcespolyspaceserverrootC:\Program Files\Polyspace Server\R2019a.
Создайте простой make-файл, который компилирует демонстрационные исходные файлы. Сохраните make-файл в той же папке как исходные файлы.
Например, создайте файл с именем makefile и добавьте это содержимое:
CC := gcc SOURCES := $(wildcard *.c) all: $(CC) -c $(SOURCES) |
Проверяйте, что make-файл создает исходные файлы успешно. Откройте терминал команды, перейдите к папке (использующий cd) и войдите:
make |
make команда должна завершить выполнение без ошибок.
Проследите команду сборки с polyspace-configure и создайте файл опций compile_opts.
polyspace-configure -output-options-file compile_opts make |
Создайте второй файл опций с дополнительными опциями. Например, создайте файл run_opts с этим содержимым:
-checkers numerical -report-template BugFinder -output-format pdf |
Опции запускают все числовые средства проверки в Bug Finder, и создает отчет PDF после анализа с помощью BugFinder шаблон.
Запустите анализ Bug Finder с этими двумя файлами опций: compile_opts созданный из вашей команды сборки и run_opts созданный вручную.
Polyspace Bug Finder™:
polyspace-bug-finder -options-file compile_opts -options-file run_opts |
Polyspace Bug Finder Server™:
polyspace-bug-finder-server -options-file compile_opts -options-file run_opts |
Анализ должен завершиться без ошибок. Можно открыть результаты в пользовательском интерфейсе Polyspace или загрузить результаты на Polyspace доступ к веб-интерфейсу (использующий polyspace-access команда).
Чтобы запустить Code Prover вместо Bug Finder, используйте polyspace-code-prover-server команда вместо polyspace-bug-finder-server команда.
Можно запустить подобный анализ с помощью скриптов MATLAB. Замените polyspace-bug-finder с polyspaceBugFinder функция и polyspace-configure с функцией polyspaceConfigure.
polyspace-configure | polyspace-bug-finder-server
