Выполнение аналитических команд сообщения на сервере

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

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

Выполнение аналитических команд сообщения в пользовательском интерфейсе 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 с названием проекта и датой.