不整合検出 | Astah Plugins

概要

最新バージョン：1.4.2 (2022年11月30日公開）
対応エディション： astah* professional, astah UML 8.4以降
astah* System Safety 6.0
開発者: 株式会社チェンジビジョン
サポート：本プラグインはサポートサービスの対象外です
使用許諾: astah使用許諾契約書
第7条(特記事項) astah* Plug-In に適用される追加条項適用

インストール方法

上記Downloadボタンから qualitysuite_consistent-x.x.x.jar ファイルをダウンロードします。
.jar ファイルを、astah*図上にドラッグ＆ドロップします。
プラグイン概要のダイアログが表示されるので[はい]を選択します。
次に表示されるメッセージに従ってastah*を再起動します。
図を開いて、astah*画面右下(拡張ビュー)に[不整合]タブが表示されていれば、インストールは完了です。
拡張ビューが開かない場合は、[表示] - [拡張ビューの表示/非表示]をクリックしてください。

リファレンス

当プラグインをインストール後にシーケンス図を含むファイルを開くと、情報が[不整合]タブに表示されます。

各カラムの説明

カラム名	説明
No	昇順番号
エラーメッセージ	ー
シーケンス図名	シーケンス図名を、::区切りのフルパス表示します。
メッセージ情報	戻り値 = シーケンス図番号:メッセージ名(引数名:型名):戻り値型
ソースライフライン名	ライフライン名:クラス名
ターゲットライフライン名	ライフライン名:クラス名
エラーレベル	致命的なエラー設計に致命的な問題が存在する可能性を示します。(修正が必要) エラー設計に問題が存在する可能性を示します。(修正が必要) 警告設計に潜在的な問題が存在する可能性を示します。(調査が必要) 通知注意喚起を表示します。

各ボタンの説明

ボタン名	説明
自動的にタブを更新	モデル更新時に、自動的に不整合タブも更新 (デフォルト:ON)
タブの更新	[更新]ボタンをクリックすると、不整合タブを更新
Excelにエクスポート	[Excelにエクスポート]ボタンをクリックすると、不整合タブの内容をexcelに出力 (詳しく見る)

エラーチェック

プロジェクト内の全シーケンス図の全メッセージに対して不整合をチェックします。表示対象エラー名、エラー内容は下記の通りです。

優先順位	エラーメッセージ名	エラーレベル	エラー内容	備考
1	ソースライフライン({0})およびターゲットライフライン({1})のベースクラスが存在しません	通知	ライフラインのベースとなるクラスが存在しない対応:ライフラインのプロパティビューから設定する	{0}:ソースライフライン名 {1}:ターゲットライフライン名
2	ライフライン({0})のベースクラスが存在しません	通知	ライフラインのベースクラスが存在しない対応:ライフラインのプロパティビューから設定する	{0}:ライフライン名
3	メッセージが操作({0})に割り当てられていません	通知	メッセージが操作に割り当てられていない対応:メッセージのプロパティビューから設定する	{0}:メッセージ名
4	メッセージが操作({0})に割り当てられていません({1}に存在)	通知	メッセージが操作に割り当てられていない対応:メッセージのプロパティビューから設定する	{0}:メッセージ名 {1}:存在するクラス名
5	操作({0})の可視性が不正です({1}に存在)	エラー	メッセージに割り当てられた操作の可視性が不正	{0}:メッセージ名 {1}:クラス名
6	操作({0})が存在しません	致命的なエラー	メッセージ受信側ライフラインのベースクラスに、該当する操作が存在しない	{0}:対象メッセージ名
7	操作({0})の可視性が不正です	警告	メッセージに割り当てられた操作の可視性が不正	{0}:メッセージ名
8	ソースクラス({0})からターゲットクラス({1})を参照できません	警告	メッセージ送信側ライフラインと受信側ライフラインのベースクラス間が、参照可能な関係にない	{0}:ソースクラス名 {1}:ターゲットクラス名

不整合に対する操作

不整合ビューに表示された各行に対してできる操作は次の通りです。

エラー行のクリック
- プロパティビューに、選択した行の要素のプロパティを表示します。
エラー行のダブルクリック
- 選択した行の要素の図要素があれば、図を表示します。
- エラー対象の図要素を図の中心に表示し、選択状態にします。
- 複数図要素がある場合は、1つ目の図要素を表示します。
- 図要素がない場合は、何も表示しません。
図要素へジャンプ
- 右クリック後して[図要素へジャンプ]を選択し、図を選択すると、不整合のあった図要素を表示します。
- 図要素が存在しない要素の場合は、[図要素へジャンプ]は非活性です。
- エラー対象の図要素を図の中心に表示し、選択状態にします。
- 複数図要素がある場合は、一つ目の図要素を表示します。
構造ツリーのモデルへジャンプ
- 右クリック後[構造ツリーのモデルへジャンプ]を選択すると、構造ツリー上のモデルを選択します。
- 構造ツリー上に表示されない要素を選択した場合は、[構造ツリーのモデルへジャンプ]は非活性です。

QuickFix(未対応)

右クリック後[QuickFix]を選択すると、解決の提案が可能な不整合について、複数の解決提案を表示します。
但し、解決の提案がない不整合については、[QuickFix]は非活性となります。

利用方法

検出された不整合の解消例

拡張ビューの[不整合]タブを選択します。エラーメッセージの一覧が表示されます。
一番上に「ライフライン(undefined)のベースクラスが存在しません」というエラーが出ているので、これを解決しましょう。
まずは、右クリックして[図要素へジャンプ] - [(表示される図名)]をクリックします。

対象の図が開きます。undefinedライフラインを選択して、プロパティビューの[ベース]タブで[新規作成]ボタンを押してベースクラスを作成します。ベースクラスは、下記のように新規作成することもできますし、

プロジェクト内に存在するクラスを選択してして設定することも可能です。設定方法は、操作ガイドもご参照ください。

これで一つエラーを解消できました。解消されると、エラー行が[不整合]タブからエラーが消えます。
次は「操作が存在しません」というエラーを解消しましょう。先ほどと同様に[図要素へジャンプ]-[シーケンス図名]をクリックして図を開きます。対象のメッセージを選択して、プロパティビューの[ベース]タブの[新規作成]から操作を設定しましょう。新規作成、もしくは