|
<< Click to Display Table of Contents >> ルールセット |
  
|
ルールセット
|
<< Click to Display Table of Contents >> ルールセット |
|
|
ルールセットは、複数のルールをユーザ定義の機能ユニットにグループ化します。ルールセットには、以下に関する情報が含まれています。
ルールセットは、コンピュータ内のファイルシステムとよく似た構造を持っています。ルールセットは、入れ子構造のルールセットとルールの両方を含むことができます。ルールにはパラメータを付けることができます。これらのパラメータを使用すると、たとえば、プロジェクト固有のニーズに合わせてルールを設定できます。ルールのパラメータはSolibri Model Checker(SMC)のパースペクティブ(確認ビュー)で設定できますが、ルールとルールセットの編集には、Ruleset Managerを推奨します。 ルールセットを開いたときに特定のメッセージ(プロジェクトごとに変更が必要なパラメータに関する警告など)が表示されるようにする場合は、情報ビューで「説明を表示する」チェックボックスを選択します。このチェックボックスにチェックを入れておくと、確認ビューで「確認」 ( |
) ボタンが押されたとき、ダイアログが開いて、「説明」フィールドに書き込まれたテキストがユーザに表示されます。