図1. 保証ケース作成支援方式の位置づけ

図2. 保証ケース作成支援方式の研究～システミグラム(*1,2)による説明～
開発・運用

組織

対象システム

能力

保証導入
改善

モデル

保証ケース向上
既存

可視化

保証ケース作成支援方式の研究

コード

確認

分析

新規作成

分析

作成

研修
評価
指標

教材

レビュ
手法

モデルに基づく作成法
研修

モデル

モデルに基づく保証ケースの統一的作成法

コンポーネント
コード

コードに基づく保証ケース作
成法

既存の保証ケース

保証ケースレビュ手法

保証ケース

実践的保証ケース教材

コードに基づく作成法
開発組織 能力研修

保証ケース作成支援方式

保証ケース導入準備能力評
価指標[*1] Boardman, J. and Sauser. B., Systems Thinking: Coping with 21St Century Problems, Boca Raton, FL: Taylor & Francis / CRC Press, 2008[*2] 山本修一郎, アーキテクチャ論 18 システミグラム, 日本経営科学研究所, 2013
Copyright Prof. Dr. Shuichiro Yamamoto 2016

1

SACM(Structured Assurance CaseMetamodel) v1.0スキーマ定義に従う
XMI形式

モデル
エディタ

作成される保証ケースの構成

品質特性定義2

図4. 保証ケース作成支援システムの概要

図3. モデルに基づく保証ケースの統一的作成法

モデル定義

Copyright Prof. Dr. Shuichiro Yamamoto 2016

アーキテクチャ分解層モデルに基づく
保証ケースの統一的作成法

モデル情報
XML

品質特性分解層

保証ケース
作成支援
ツール

保証ケース情報XMI

リスク対策分解層

リスク対策定義
XMLで定義保証ケース
エディタ

Copyright Prof. Dr. Shuichiro Yamamoto 2016

3

Copyright Prof. Dr. Shuichiro Yamamoto 20164

図5. 保証ケース作成効果

図6. コードに対する保証ケースの作成法

保証ケース作成時間（分）作成される保証ケースの構成

300

保証ケースのノード数250

主張

200

戦略53150

前提47

証拠165

275分

5.6倍

14.5倍

100

入出力分解層

218

説明仕様

実現

17.8%

5047分
作成時間
ツールなし

XML定義＋ツール

具体化

コンポーネント
コード

19分

0

コード化が必要な
証拠層

コードに対する保証ケースの作成法

コードから探索された証拠層

ツール*)アーキテクチャ分解、品質特性分解、リスク対策分解、GSNエディタ変換を含む
Copyright Prof. Dr. Shuichiro Yamamoto 2016

5

図7. 保証ケースの客観的なレビュ手法

保証ケースの理解保証ケースの問題識別6

図8. 保証ケースレビュ指標

保証ケースレビュ手法

既存の保証ケース

Copyright Prof. Dr. Shuichiro Yamamoto 2016

観点

定義

完全性

必要な項目が含まれていること

特性（安全）、リスク（危険）、対策の抜け不足項目数
対策に対する証拠の抜け明確性

曖昧さがないこと同一名を持つ異なるノードがある

不明項目数

適切性

不必要な項目が含まれていないこと

関係のつかない孤立ノードがある

孤立項目数

追跡性

根拠が明確であること

上位ノードから辿れないノードがある

追跡不能項
目数

システミグラム

保証ケースの原因分析

欠陥指標

保証ケースの欠陥修正

Copyright Prof. Dr. Shuichiro Yamamoto 2016

7

Copyright Prof. Dr. Shuichiro Yamamoto 20168

図10. 保証ケースレビュ手法カリキュラム

図9. 保証ケース統一的作成法カリキュラム
時間

13:30～14:50

15:00～16:20

16:30～17:30

時間

カリキュラム
第1章 保証ケースを統一的に作成するための基礎知識
1.1 システムの構成
1.2 システムのリスク
1.3 システムの特性
1.4 保証ケースの表記法
1.5 主張の分解
1.6 リスク対策の証拠
第2章 保証ケースの統一作成手法の知識
2.1 モデルの定義
2.2 主張の分解
2.3 主張の階層的分解
2.4 分解の網羅性
2.5 主張の優先順位
2.6 統一的な保証ケース

13:30～14:50

15:00～16:20

第3章 保証ケースによる合意形成
3.1 議論の合意形成

16:30～17:30

アンケート

カリキュラム
第1章
1.1
1.2
1.3
1.4
1.5第2章
2.1
2.2
2.3
2.4
2.5
2.6
2.7

保証ケースをレビュするための基礎知識
システム要素の相互関係
保証ケースの表記法
主張の問題点分解の問題点
網羅的なレビュ
保証ケースをレビュするための知識・スキル
システミグラムの表記法
システミグラムで主張
システミグラムで分解
システミグラムで証拠を表現
保証ケースのレビュ
保証ケースのレビュ指標
個人レビュ

第3章 保証ケースによる合意形成
3.1 グループレビュ
アンケート

教材スライド：114枚

教材スライド：82枚

Copyright Prof. Dr. Shuichiro Yamamoto 2016

9

図11. 保証ケース導入準備能力評価指標5010

図12. 客観的導入準備能力評価例

能力評価指標保証ケース構築 (7)①保証原則の定義 ②保証の根拠証拠の管理 ③保証対象の明確な定義 ④保証すべき主張の明確な定義 ➄主張間の優先順位が明確 ⑥説明責任部門が明確 ⑦コンプライアンス課題の認識

リスク分析 (8)①保証の欠落がもたらす開発業務への影響を識別 ②リスク管理原則を定義 ③リスク管理計画を定義 ④リスク管理手順を定義 ➄リスク管理情報を共有 ⑥リスクを評価 ⑦問題情報を共有 ⑧リスク対応手段を定義

保証ケース
活用ビジョン構築 (7)①自社戦略目標とACの役割が明確 ②ACが役割を果たすための組織を制度化 ③AC投資を重点化 ④開発でのACの活用方針を明確化 ➄AC部門の役割が明確 ⑥AC部門と開発部門の役割が明確 ⑦ACに基づく開発部門の結果責任が明確保証ケース活用
コミュニケーション (7)①ACの役割を社員が共有 ②ACの活用方針を社員が共有 ③AC導入目的を開発部門が理解 ④
AC導入後の業務変化を開発部門が理解 ➄部門間でACによる問題解決プロセスが定義 ⑥AC活用事例を社内で共有する仕組みを定義 ⑦経営層、AC部門、開発部門の３部門間で、ACの投資対効果を共有

プロダクト
デザイン(5)①成果物に対する保証品質を定義 ②成果物に対するあるべきAC条件を定義 ③成果物に対するACの活用方策を標準化 ④社内外の開発業務連携の観点で成果物に対するACを標準化 ➄成果物に対する重複のないACを定義

プロセスデザイン (5)①開発プロセスの保証計画を定義 ②ACによる開発プロセスを定義 ③開発プロセスのAC活用方
策を標準化 ④社内外の業務連携プロセスをACで標準化 ➄ACの重複のない開発プロセスを実現

保証ケース
投資適正化(6)①AC資産の構築経費を配分 ②AC部門の独立性を考慮 ③AC導入経費対効果を事前に検証 ④
AC導入時に全社最適への適合性を検討 ➄AC導入後に活用状況・効果を測定 ⑥AC活用問題を
AC導入検討時に解決システム保証
人材開発 (5)①ACを活用した開発プロセス改革の提案人材を育成 ②経営層の身近に開発とACの双方に精通した人材を配置 ③AC人材が経営に関する知識を習得する機会を提供 ④AC人材が現場の開発プロセスを理解する機会を提供 ➄開発人材にACの活用スキル研修を提供
Copyright Prof. Dr. Shuichiro Yamamoto 2016

Copyright Prof. Dr. Shuichiro Yamamoto 2016

11

Copyright Prof. Dr. Shuichiro Yamamoto 201612