Выполнение команд постанализа на сервере

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

Например, если указать команду, /local/utils/send_mail.sh, сценарий Shell send_email.sh должен присутствовать на сервере в /local/utils/. Программа не копирует сценарий send_email.sh с рабочего стола на сервер перед выполнением команды. Если скрипт отсутствует на сервере, возникает ошибка. Иногда существует несколько серверов, на которых планировщик заданий MATLAB ® может выполнять проверку. Разместите сценарий на каждом из серверов, поскольку вы не контролируете, на каком сервере в конечном итоге будет выполняться проверка.

Выполнение команд постанализа в интерфейсе пользователя Polyspace

Чтобы проверить использование этого параметра, запустите следующий сценарий Perl из папки, содержащей проект Polyspace (.psprj файл). Сценарий анализирует последний файл журнала Polyspace в папке Module_1\CP_Result и записывает текущее имя проекта и дату в файл report.txt. Файл сохранен в Module_1\CP_Result.

foreach my $file (`ls Module_1\\CP_Result\\Polyspace_*.log`) {
  open (FH, $file);

while ($line = <FH>) {
    if ($line =~ m/Ending at: (.*)/) {
      $date=$1;
    }
    if ($line =~ m/-prog=(.*)/) {
      $project=$1;
    }
  }
}

my $filename = 'report.txt';
open(my $fh, '>', $filename) or die "Could not open file '$filename' $!";

print $fh "date=$date\n";
print $fh "project=$project\n";

close $fh;

В Linux ® можно указать сценарий Perl для этой опции.

В Windows вместо непосредственного указания сценария Perl укажите .bat который вызывает Perl и запускает этот сценарий. Например, .bat файл может содержать следующую строку (при условии, что .bat файл и .pl находятся в папке проекта Polyspace). В зависимости от установки MATLAB измените путь на perl.exe соответствующим образом.

"C:\Program Files\MATLAB\R2018b\sys\perl\win32\bin\perl.exe" command.pl

Запустить программу проверки кода. Убедитесь, что папка Module_1\CP_Result содержит файл report.txt с указанием имени и даты проекта.