要 求 仕 様 の 漏 れ 抜 け 検 証 の 手 法 について Copyright 2011 NTT DATA MSE CORPORATION 株 式 会 社 NTTデータMSE キャッツ 株 式 会 社 松 井 恭
Copyright 2011 NTT DATA MSE CORPORATION 1 自 己 紹 介 株 式 会 社 NTTデータMSE ソリューションサービス 事 業 部 統 括 本 部 長 兼 事 業 部 長 キャッツ 株 式 会 社 取 締 役 ISO15508/AutomotiveSPICE アセッサー NTTデータMSE
Copyright 2011 NTT DATA MSE CORPORATION 2 INDEX 1. 仕 様 の 漏 れ 抜 け 対 策 としてのSTM 2.STMを 用 いた 仕 様 の 漏 れ 抜 け 検 証 3. 入 力 となる 要 求 仕 様 の 漏 れ 抜 け 検 証 4. 検 証 事 例
1. 仕 様 の 漏 れ 抜 け 対 策 としてのSTM Copyright 2011 NTT DATA MSE CORPORATION 3
Copyright 2011 NTT DATA MSE CORPORATION 4 1.1 仕 様 の 漏 れ 抜 け 対 策 STMで 仕 様 の 問 題 不 備 を 検 出 複 雑 な 仕 様 をATVで 検 証
Copyright 2011 NTT DATA MSE CORPORATION 5 1.2 現 場 では STMまで 展 開 できれば 非 常 に 効 果 的 であるが 状 態 とイベントの 抽 出 は 属 人 的 になっている STMへの 展 開 スキルをもった 人 材 の 育 成 が 難 しい 仕 様 書 を 機 械 的 にSTMへ 展 開 しても 仕 様 書 に 漏 れがあったら 見 つけられない
Copyright 2011 NTT DATA MSE CORPORATION 6 1.3 状 態 遷 移 表 で 検 出 できる 項 目 状 態 遷 移 表 そのもので 検 出 できる 項 目 条 件 の 記 載 がない 箇 所 処 理 遷 移 先 の 記 載 がない 箇 所 状 態 遷 移 表 作 成 過 程 で 検 出 される 項 目 状 態 / 契 機 / 条 件 等 の 記 載 がない 箇 所 抽 象 度 が 高 く 細 分 化 が 必 要 な 箇 所
2.STMを 用 いた 仕 様 の 漏 れ 抜 け 検 証 Copyright 2011 NTT DATA MSE CORPORATION 7
Copyright 2011 NTT DATA MSE CORPORATION 8 2.1 仕 様 のモレ ヌケに 関 する 例 題 ー 機 能 付 き 電 気 ポットの 要 求 仕 様 書 抜 粋 )ー 機 能 例 要 求 番 号 要 求 事 項 1 を 押 すことで 時 間 を 分 で 設 定 し を 起 動 できる 1-1 が 起 動 している/していないにかかわらず を 押 す 度 にタイ ムアップまでの 残 り 時 間 に1 分 加 算 し 値 に 設 定 する 1-2 設 定 した 値 を 分 単 位 で 残 り 時 間 表 示 窓 に 表 示 する 1-3 が 起 動 していない 場 合 は 値 を 設 定 し 終 え から 手 を 離 して1 秒 経 過 したらが 始 動 する 1-4 が 閉 じているときのみ を 有 効 にする 2 を 長 く 押 すことで をリセットし を 停 止 できる 2-1 が 起 動 している 場 合 を 長 押 ししたら ブザーを1 回 鳴 らした 後 値 はリセットされ が 停 止 する 3 ユーザが 指 定 した 時 間 がきたら ブザーを 鳴 らして 知 らせる 3-1 アップしたら ブザーを3 回 鳴 らす
Copyright 2011 NTT DATA MSE CORPORATION 9 2.2 STMへ 展 開 長 押 しした 場 合 の 時 は? 処 理 遷 移 先 は? 遷 移 先 は?
Copyright 2011 NTT DATA MSE CORPORATION 10 2.3 STMから 仕 様 書 へフィードバック 要 求 番 号 要 求 事 項 1 を 押 すことで 時 間 を 分 で 設 定 し を 起 動 できる 1-1 が 起 動 している/していないにかかわらず を 押 す 度 にタイム アップまでの 残 り 時 間 に1 分 加 算 し 値 に 設 定 する 1-2 設 定 した 値 を 分 単 位 で 残 り 時 間 表 示 窓 に 表 示 する 1-3 が 起 動 していない 場 合 は 値 を 設 定 し 終 え から 手 を 離 して1 秒 経 過 したらを 始 動 する 1-4 が 開 いている 場 合 を 操 作 無 効 にする 2 を 長 く 押 すことで をリセットし を 停 止 できる 2-1 が 起 動 している 場 合 を 長 押 ししたら ブザーを1 回 鳴 らした 後 値 はリセットされ が 停 止 する が 起 動 していない 場 合 は ブザーを1 回 鳴 らした 後 値 をリセットする 3 ユーザが 指 定 した 時 間 がきたら ブザーを 鳴 らして 知 らせる 3-1 アップしたら ブザーを3 回 鳴 らし を 停 止 した 状 態 にする
Copyright 2011 NTT DATA MSE CORPORATION 11 2.4 状 態 遷 移 表 で 検 出 できる 項 目 状 態 遷 移 表 そのもので 検 出 できる 項 目 条 件 の 記 載 がない 箇 所 処 理 遷 移 先 の 記 載 がない 箇 所 状 態 遷 移 表 作 成 過 程 で 検 出 される 項 目 状 態 / 契 機 / 条 件 等 の 記 載 がない 箇 所 抽 象 度 が 高 く 細 分 化 が 必 要 な 箇 所
3. 入 力 となる 要 求 仕 様 の 漏 れ 抜 け 検 証 Copyright 2011 NTT DATA MSE CORPORATION 12
Copyright 2011 NTT DATA MSE CORPORATION 13 3.1 要 求 仕 様 の 検 証 手 法 文 書 を 係 り 受 けや 属 性 によって 論 理 的 に 分 解 分 析 すること により 漏 れ 抜 け/ 曖 昧 表 現 の 箇 所 を 抽 出 1 網 羅 性 検 証 要 求 仕 様 に 記 載 されている 動 作 や 動 作 が 発 動 する 為 の 条 件 その 後 の 状 態 等 様 々なパターンを 洗 い 出 し 網 羅 性 を 検 証 する 2 具 体 性 検 証 仕 様 に 記 載 されている 動 作 のバリエーショ ンや 初 期 状 態 が 不 明 確 な 箇 所 等 抽 象 表 現 の 高 い 箇 所 を 特 定 し 検 証 する
Copyright 2011 NTT DATA MSE CORPORATION 14 3.2 要 求 仕 様 整 理 表 への 展 開 が 起 動 している 場 合 を 長 押 ししたら ブザーを1 回 鳴 らした 後 値 はリセットされ が 停 止 する 契 機 遷 移 元 状 態 条 件 処 理 遷 移 先 状 態 対 象 要 素 対 象 要 素 対 象 要 素 対 象 要 素 対 象 要 素 文 書 番 号 文 書 原 文 イベンター イベント ムーバー Before ステー タス コンディ ショナー コンディ ション アクター アクション ムーバー After ステー タス 2-1 が 起 動 している 場 合 が 停 止 する 長 押 し 起 動 中 (1) ブザー (2) 値 (1) 1 回 鳴 らす (2) リセット 停 止 中 要 求 仕 様 整 理 表
3.3 要 求 仕 様 の 展 開 結 果 文 書 番 号 文 書 原 文 イベンター イベント ムーバー Before ステー タス コンディ ショナー コンディ ション アクター アクション ムーバー After ステー タス 1-1 が 起 動 している /していないに 1 分 加 算 し 値 に 設 定 する 押 す 停 止 中?? 値 起 動 中?? 値 残 り 時 間 に1 分 加 算 し 設 定 残 り 時 間 に1 分 加 算 し 設 定?? 1-2 設 定 した 値 を 分 単 位 で 表 示 窓 に 表 示 する 押 す 停 止 中?? 値 起 動 中?? 値 分 単 位 でタイ マ 残 り 時 間 表 示 窓 に 表 示 分 単 位 でタイ マ 残 り 時 間 表 示 窓 に 表 示 遷 移 なし ー 遷 移 なし ー 1-3 が 起 動 していな い 場 合 は 手 を 離 して1 秒 経 過 したらタ イマを 始 動 する 手 を 離 してか ら1 秒 経 過 停 止 中?? 始 動 起 動 中 起 動 中?? 処 理 なし ー 遷 移 なし ー 1-4 が 開 いている 場 合 は を 無 効 にする 押 す 停 止 中 起 動 中 オープン 無 効 遷 移 なし ー クローズ 処 理 なし ー 遷 移 なし ー オープン 無 効 遷 移 なし ー クローズ 処 理 なし ー 遷 移 なし ー 2-1 が 起 動 している 場 合 リセットされ が 停 止 する が 起 動 していな い 場 合 は 値 をリセットする 長 押 し 起 動 中?? 停 止 中?? (1)ブザー (2) 値 (3) (1)ブザー (2) 値 (1)1 回 鳴 らす (2)リセット (3) 停 止 (1)1 回 鳴 らす (2)リセット 遷 移 なし ー 停 止 中 3-1 アップしたら ブ ザーを3 回 鳴 らし タイ マを 停 止 した 状 態 に する タイムアップ 停 止 中?? 処 理 なし ー 遷 移 なし ー 起 動 中?? ブザー 3 回 鳴 らす 停 止 中 Copyright 2011 NTT DATA MSE CORPORATION 15
3.4 検 出 した 状 態 を 展 開 (1/2) 文 書 番 号 文 書 原 文 イベンター イベント ムー バー Before ステー タス コンディ ショナー コンディ ション アク ター アクション ムーバー After ステータス 1-1 が 起 動 し ている/してい ないに 1 分 加 算 し 値 に 設 定 する 押 す 停 止 中?? 起 動 中?? 値 値 残 り 時 間 に 1 分 加 算 し 設 定 残 り 時 間 に 1 分 加 算 し 設 定 設 定 中 遷 移 なし ー 1-2 設 定 した 値 を 分 単 位 で 表 示 窓 に 表 示 する 押 す 停 止 中?? 値 分 単 位 でタイ マ 残 り 時 間 表 示 窓 に 表 示 遷 移 なし ー 設 定 中?????? 起 動 中?? 値 分 単 位 でタイ マ 残 り 時 間 表 示 窓 に 表 示 遷 移 なし ー 1-3 が 起 動 し ていない 場 合 は 手 を 離 し て1 秒 経 過 した らを 始 動 する 各 要 求 事 項 に 設 定 中 を 展 開 手 を 離 し てから1 秒 経 過 停 止 中?? 始 動 起 動 中 設 定 中?????? 起 動 中?? 処 理 な し ー 遷 移 なし ー 遷 移 元 / 先 で 状 態 が 変 化 する 箇 所 は 確 認 Copyright 2011 NTT DATA MSE CORPORATION 16
Copyright 2011 NTT DATA MSE CORPORATION 17 3.4 検 出 した 状 態 を 展 開 (2/2) 1-3 が 起 動 し ていない 場 合 は 手 を 離 して1 秒 経 過 し たらを 始 動 する 手 を 離 し てから1 秒 経 過 停 止 中?? 始 動 起 動 中 設 定 中?????? 起 動 中?? 処 理 な し ー 遷 移 なし ー 停 止 中 起 動 中 追 加 した 状 態 設 定 中 遷 移 先 は 変 わらない 為 遷 移 元 が 設 定 中 時 に 処 理 の 移 管 が 必 要 1-3 が 起 動 し ていない 場 合 は 手 を 離 し て1 秒 経 過 した らを 始 動 する 手 を 離 し てから1 秒 経 過 停 止 中?? 処 理 なし ー 遷 移 なし 設 定 中?? 始 動 起 動 中 起 動 中?? 処 理 なし ー 遷 移 なし ー ー
3.5 検 出 した 条 件 を 展 開 (1/2) 文 書 番 号 文 書 原 文 イベンター イベント ムーバー Before ステータス コンディ ショナー コンディ ション アクター アクション ムーバー After ステータス 停 止 中 オープン 無 効 遷 移 なし ー クローズ 処 理 なし ー 遷 移 なし ー 1-4 が 開 いている 場 合 は は 無 効 とする 押 す 設 定 中 オープン 無 効 遷 移 なし ー クローズ 処 理 なし ー 遷 移 なし ー 起 動 中 オープン 無 効 遷 移 なし ー クローズ 処 理 なし ー 遷 移 なし ー 条 件 の 記 載 のない 要 求 事 項 に 対 して 契 機 を 元 に 確 認 1-1 1-3 が 起 動 してい る/していない に 1 分 加 算 し 値 に 設 定 する が 起 動 してい ない 場 合 は 手 を 離 して1 秒 経 過 し たらを 始 動 す る 押 す 手 を 離 してか ら1 秒 経 過 停 止 中?? 設 定 中?? 起 動 中?? Copyright 2011 NTT DATA MSE CORPORATION 18 値 値 値 残 り 時 間 に1 分 加 算 し 設 定 残 り 時 間 に1 分 加 算 し 設 定 残 り 時 間 に1 分 加 算 し 設 定 設 定 中 設 定 中 設 定 中 停 止 中?? 始 動 起 動 中 設 定 中?? 起 動 中?? 処 理 な し ー 遷 移 なし ー
Copyright 2011 NTT DATA MSE CORPORATION 19 3.5 検 出 した 条 件 を 展 開 (2/2) 文 書 番 号 1-1 1-3 文 書 原 文 イベンター イベント が 起 動 し ている/してい ないに 1 分 加 算 し 値 に 設 定 する 押 す すべての 状 態 に 対 して それぞれに 条 件 を 追 加 が 起 動 し ていない 場 合 は 手 を 離 し て1 秒 経 過 した らを 始 動 する 手 を 離 し てから1 秒 経 過 ムーバー Before ステータス 停 止 中 設 定 中 起 動 中 コンディ ショナー コンディ ション オープン クローズ オープン クローズ オープン クローズ アクター 値 値 値 アクション 無 効 残 り 時 間 に 1 分 加 算 し 設 定 無 効 残 り 時 間 に 1 分 加 算 し 設 定 無 効 残 り 時 間 に 1 分 加 算 し 設 定 ムーバー 遷 移 なし 遷 移 なし After ステータ ス ー 設 定 中 ー 遷 移 なし ー 遷 移 なし ー 遷 移 なし ー 停 止 中 条 件 なし ー 処 理 なし ー 遷 移 なし ー 設 定 中 条 件 なし ー 始 動 起 動 中 起 動 中 条 件 なし ー 処 理 なし ー 遷 移 なし ー
3.6 状 態 条 件 の 展 開 結 果 文 書 番 号 文 書 原 文 イベンター イベント ムーバー Before ステータス コンディ ショナー コンディ ション アクター アクション ムーバー After ステータス 停 止 中 オープン 無 効 遷 移 なし ー クローズ 値 残 り 時 間 に1 分 加 算 し 設 定 設 定 中 1-1 が 起 動 している/して いないに 1 分 加 算 し タ イマ 値 に 設 定 する 押 す 設 定 中 オープン 無 効 遷 移 なし ー クローズ 値 残 り 時 間 に1 分 加 算 し 設 定 遷 移 なし ー 起 動 中 オープン 無 効 遷 移 なし ー クローズ 値 残 り 時 間 に1 分 加 算 し 設 定 遷 移 なし ー 停 止 中 オープン 無 効 遷 移 なし ー クローズ 値 分 単 位 で 残 り 時 間 表 示 窓 に 表 示 遷 移 なし ー 1-2 設 定 した 値 を 分 単 位 で 表 示 窓 に 表 示 する 押 す 設 定 中 オープン 無 効 遷 移 なし ー クローズ 値 分 単 位 で 残 り 時 間 表 示 窓 に 表 示 遷 移 なし ー 起 動 中 オープン 無 効 遷 移 なし ー クローズ 値 分 単 位 で 残 り 時 間 表 示 窓 に 表 示 遷 移 なし ー 1-3 が 起 動 していない 場 合 は 手 を 離 して1 秒 経 過 したらを 始 動 する 手 を 離 して から1 秒 経 過 停 止 中 条 件 なし ー 処 理 なし ー 遷 移 なし ー 設 定 中 条 件 なし ー 始 動 起 動 中 起 動 中 条 件 なし ー 処 理 なし ー 遷 移 なし ー 停 止 中 オープン 無 効 遷 移 なし ー クローズ 処 理 なし ー 遷 移 なし ー 1-4 が 開 いている 場 合 は タ イマを 無 効 にする 押 す 設 定 中 オープン 無 効 遷 移 なし ー クローズ 処 理 なし ー 遷 移 なし ー 起 動 中 オープン 無 効 遷 移 なし ー クローズ 処 理 なし ー 遷 移 なし ー 2-1 が 起 動 している 場 合 が 停 止 する が 起 動 していない 場 合 は 値 をリセット する 長 押 し 起 動 中 設 定 中 停 止 中 オープン 無 効 遷 移 なし ー クローズ (1)ブザー (2) 値 (3) (1)1 回 鳴 らす (2)リセット (3) 停 止 停 止 中 オープン 無 効 遷 移 なし ー クローズ (1)ブザー (2) 値 (1)1 回 鳴 らす (2)リセット 遷 移 なし ー オープン 無 効 遷 移 なし ー クローズ (1)ブザー (2) 値 (1)1 回 鳴 らす (2)リセット 遷 移 なし ー 停 止 中 条 件 なし ー 処 理 なし ー 遷 移 なし ー 3-1 アップしたら ブザーを タイムアッ 3 回 鳴 らし を 停 止 し プ た 状 態 にする 設 定 中 条 件 なし ー 処 理 なし ー 遷 移 なし ー 起 動 中 条 件 なし ー ブザー 3 回 鳴 らす 停 止 中 Copyright 2011 NTT DATA MSE CORPORATION 20
Copyright 2011 NTT DATA MSE CORPORATION 21 3.7 網 羅 性 検 証 で 検 出 できる 項 目 状 態 遷 移 表 そのもので 検 出 できる 項 目 条 件 の 記 載 がない 箇 所 処 理 遷 移 先 の 記 載 がない 箇 所 状 態 遷 移 表 作 成 過 程 で 検 出 される 項 目 状 態 / 契 機 / 条 件 等 の 記 載 がない 箇 所 抽 象 度 が 高 く 細 分 化 が 必 要 な 箇 所
Copyright 2011 NTT DATA MSE CORPORATION 22 3.8 要 求 仕 様 整 理 表 からSTMへの 展 開 文 書 番 号 文 書 原 文 イベンター イベント ムーバー Before ステータス コンディ ショナー コンディ ション アクター アクション ムーバー After ステータス 1-1 が 起 動 している /していないに 値 に 設 定 する 押 す 停 止 中 設 定 中 起 動 中 オープン 無 効 遷 移 なし ー クローズ 値 残 り 時 間 に1 分 加 算 し 設 定 設 定 中 1-3 が 起 動 していな い 場 合 は 1 秒 経 過 したらを 始 動 する 手 を 離 してから 1 秒 経 過 停 止 中 条 件 なし ー 処 理 なし ー 遷 移 なし ー 設 定 中 条 件 なし ー 始 動 起 動 中 起 動 中 条 件 なし ー 処 理 なし ー 遷 移 なし ー 2-1 が 起 動 している 場 合 が 停 止 する 長 押 し 起 動 中 オープン 無 効 遷 移 なし ー クローズ (1)ブザー (2) 値 (3) (1)1 回 鳴 らす (2)リセット (3) 停 止 停 止 中
Copyright 2011 NTT DATA MSE CORPORATION 23 3.9 網 羅 性 検 証 後 のSTM 網 羅 性 向 上
4. 検 証 事 例 Copyright 2011 NTT DATA MSE CORPORATION 24
Copyright 2011 NTT DATA MSE CORPORATION 25 4.1 大 手 SIベンダ 様 の 事 例 (1/2) 既 に 開 発 が 完 了 しているシステムに 対 して 適 用 した 事 例 総 ページ 数 :500 頁 文 字 数 :200,000 文 字 プログラムステップ 数 :150KStep < 抽 出 結 果 > 36 件 状 態 モレ: 2 件 契 機 モレ: 1 件 条 件 モレ: 3 件 遷 移 先 モレ: 11 件 処 理 モレ: 19 件
Copyright 2011 NTT DATA MSE CORPORATION 26 4.1 大 手 SIベンダ 様 の 事 例 (2/2) 精 査 結 果 実 際 の 検 出 処 置 工 程 機 能 設 計 構 造 設 計 コーディ ング 単 体 テスト 機 能 テスト システム テスト 状 態 モレ 2 件 2 件 契 機 モレ 1 件 1 件 条 件 モレ 3 件 3 件 遷 移 先 モレ 11 件 7 件 3 件 1 件 処 理 モレ 19 件 16 件 3 件 合 計 36 件 8 件 5 件 19 件 3 件 0 件 1 件
Copyright 2011 NTT DATA MSE CORPORATION