グローバル変数リストのエクスポート

コードに含まれるグローバル変数のリストを、タブ区切りのテキストファイルまたは MATLAB^® table にエクスポートできます。テキストファイルまたは table には、Polyspace^® ユーザーインターフェイスの [変数アクセス] ペインと同じ情報が含まれます。

テキストファイルを使用すると、次のことができます。

グローバル変数に関するグラフや統計を生成する。たとえば、同時アクセスから保護されていない共有されるグローバル変数の割合を表示できます。
範囲情報を使用してグローバル変数の外部制約を作成する。たとえば、グローバル変数の抽出された範囲についてのみ、コードに特定のランタイムエラーがないことをレポートできます。
また、この範囲を使用して、以降の検証または他のモジュールの検証に対する外部制約を指定できます。Polyspace 解析の外的制約の指定を参照してください。

変数リストのテキストファイルへのエクスポート

ユーザーインターフェイスまたはコマンドラインから結果をエクスポートできます。

ユーザーインターフェイスコマンドライン

ユーザーインターフェイス	コマンドライン
検証結果を開きます。 [レポート] 、 [エクスポート] 、 [変数アクセスのエクスポート] を選択します。Polyspace Platform ユーザーインターフェイスを使用している場合は、[レポート] 、 [変数アクセスのエクスポート] を選択します。テキストファイルを保存する場所を選択し、[OK] をクリックします。	`polyspace-report-generator` コマンドと適切なオプションを使用します。以下は使用可能なオプションです。 `-generate-variable-access-file`:テキストファイルを生成しなければならないことを指定します。 `-results-dir folder_paths`:解析結果が保存されているフォルダーへのパス。フォルダーパスを指定しない場合は、現在のフォルダーにある解析結果が使用されます。複数の解析に対してテキストファイルを生成するには、コンマの後ろにスペースを配置しないコンマ区切りのリストとして `folder_paths` を指定します。以下に例を示します。 `C:\My_project\Module_1\results,C:\My_project\Module_2\Results` テキストファイルをマージするには、関数 `join` を使用します。 `-set-language-english`:既定のレポートが別の言語の場合に英語のレポートを生成するには、このオプションを使用します。オペレーティングシステムの表示言語 (Windows^®) またはロケール (Linux^®) によってレポートの既定の言語が決まります。

検証結果を開きます。
[レポート] 、 [エクスポート] 、 [変数アクセスのエクスポート] を選択します。Polyspace Platform ユーザーインターフェイスを使用している場合は、[レポート] 、 [変数アクセスのエクスポート] を選択します。
テキストファイルを保存する場所を選択し、[OK] をクリックします。

polyspace-report-generator コマンドと適切なオプションを使用します。

以下は使用可能なオプションです。

-generate-variable-access-file:テキストファイルを生成しなければならないことを指定します。
-results-dir folder_paths:解析結果が保存されているフォルダーへのパス。フォルダーパスを指定しない場合は、現在のフォルダーにある解析結果が使用されます。
複数の解析に対してテキストファイルを生成するには、コンマの後ろにスペースを配置しないコンマ区切りのリストとして folder_paths を指定します。以下に例を示します。
C:\My_project\Module_1\results,C:\My_project\Module_2\Results
テキストファイルをマージするには、関数 join を使用します。
-set-language-english:既定のレポートが別の言語の場合に英語のレポートを生成するには、このオプションを使用します。オペレーティングシステムの表示言語 (Windows^®) またはロケール (Linux^®) によってレポートの既定の言語が決まります。

変数リストの MATLAB table へのエクスポート

テキストファイルの代わりに、Polyspace の解析結果を MATLAB table に読み取ることができます。variableAccessを参照してください。

エクスポートした変数リストの表示

テキストファイルまたは table には、ユーザーインターフェイスの [変数アクセス] ペインで使用可能な結果情報が含まれます。

たとえば、[変数アクセス] ペインに、変数 SHR が次の情報と一緒に表示されるとします。

タブ区切りのテキストファイルにこの情報をエクスポートして Excel^® で開いた場合、同じ情報が表示されます。一部の情報を以下に示します。

変数	データ型	アクセス	の値	読み取り数	書き込み数	書き込み元タスク	読み取り元タスク	保護	行	列	ファイル	関数	拡張子
SHR	int32	集計	0 または 22	1	2	server1 server2	tregulate	クリティカルセクション	30	11	tasks1.c		c
SHR		書き込み	0						30	11	tasks1.c	_init_globals()	c
SHR		書き込み	22						81	8	tasks1.c	Tserver()	c
SHR		読み取り	0 または 22						53	14	tasks1.c	initregulate()	c

Polyspace デスクトップユーザーインターフェイスの [変数アクセス]も参照してください。

[変数アクセス] ペインとテキストファイル (または MATLAB table) の間の表示の違いを以下にいくつか示します。

テキストファイルの [アクセス] 列は、その行に示すのが変数に関する情報 ([集計]) なのか、変数に対する操作 ([書き込み] または [読み取り]) なのかを表す。
テキストファイルの [関数] 列は、その変数を読み取る関数またはその変数に書き込む関数を示す ([変数アクセス] ペインのおよび )。
タスクからの読み取り操作および書き込み操作 ([変数アクセス] ペインのおよび ) に対応する行はない。この情報は、テキストファイルの [書き込み元タスク] 列および [読み取り元タスク] 列 (MATLAB table の Tasks_Write 列と Tasks_Read 列) で参照できる。
[変数アクセス] ペインの色は、[到達不能] 列と [保護] 列を通じて次のように表される。
- 共有される変数が複数のタスク内で共通の保護を使わずにアクセスされる場合、その変数は [変数アクセス] ペインでオレンジで色付けされる。テキストファイルでは、[保護] 列に [非保護] が示される。
- 共有される変数が複数のタスク内でアクセスされるが共通の保護を使用する場合、その変数は [変数アクセス] ペインでグリーンで色付けされる。テキストファイルでは、[保護] 列に [保護] が示される。
- 共有される変数がまったくアクセスされない場合、その変数は [変数アクセス] ペインでグレーで色付けされる。テキストファイルでは、[到達不能] 列に [到達不能] が示される。
テキストファイルの [可能性] 列は、ポインターによる読み取り操作または書き込み操作を示す ([変数アクセス] ペインのまたは )。ポインターによる操作については、列に [可能なアクセス] が示される。