ルールセット

<< Click to Display Table of Contents >>

Navigation:  Ruleset Manager >

ルールセット

Previous pageReturn to chapter overviewNext page

ルールセット

ルールセットは、複数のルールをユーザ定義の機能ユニットにグループ化します。ルールセットには、以下に関する情報が含まれています。

        • セット内のルール
        • ルールと可能なサブルールセットの順序
        • ルールに使用されるパラメータ値
           

 

RSM_RulesetFolderView

 

 

ルールセットは、コンピュータ内のファイルシステムとよく似た構造を持っています。ルールセットは、入れ子構造のルールセットとルールの両方を含むことができます。ルールにはパラメータを付けることができます。これらのパラメータを使用すると、たとえば、プロジェクト固有のニーズに合わせてルールを設定できます。ルールのパラメータはSolibri Model Checker(SMC)のパースペクティブ(確認ビュー)で設定できますが、ルールとルールセットの編集には、Ruleset Managerを推奨します。

ルールセットを開いたときに特定のメッセージ(プロジェクトごとに変更が必要なパラメータに関する警告など)が表示されるようにする場合は、情報ビューで「説明を表示する」チェックボックスを選択します。このチェックボックスにチェックを入れておくと、確認ビュー「確認」 (CheckModel_Icon) ボタンが押されたとき、ダイアログが開いて、「説明」フィールドに書き込まれたテキストがユーザに表示されます。

 
 


先頭に戻る サポートに問い合わせ