開 発 手 法 の 開 発 へと 繋 がる 現 場 改 善 の 歩 み 三 菱 電 機 メカトロニクスソフトウエア 株 式 会 社 岩 橋 正 実 Iwahashi.Masami@wak.msw.co.jp
目 次. 現 場 改 善 の 歩 み 2. 現 場 改 善 のポイントと 技 法 紹 介 3. まとめ
. 現 場 改 善 の 歩 み
技 法 適 用 効 果 のご 紹 介 残 存 不 具 合 のトレンド 上 流 不 具 合 検 出 率 : 約 98.7% プロセス 実 行 品 質 向 上 ( 検 出 率 低 下 ) 2 工 数 分 析 分 析 約 40.6% 試 験 約 25.7%
改 善 障 壁 と 回 避 ポイント 手 法 開 発 の 障 壁 自 主 研 究 とOpen 化 2 新 技 術 導 入 の 壁 導 入 目 的 の 明 確 化 と 技 術 開 発 3 改 善 リスク 改 善 目 的 と 放 置 リスクの 明 確 化 4 人 的 要 因 の 回 避 課 題 の 見 える 化 と 改 善 目 的 の 共 有 5 組 織 の 壁 ( 単 一 プロジェクトの 改 善 では 意 味 が 無 い) 改 善 効 果 の 見 える 化 改 善 の 先 を 見 る Open 化 による 第 三 者 評 価 目 的 指 向 ( 本 質 を 極 める) 見 える 化 段 階 的 な 改 善 の 推 進 経 営 層 向 けの 提 案 書
現 場 の 課 題 解 決 から 手 法 の 確 立 へ ツール/ 手 法 の 適 用 のみでは 現 場 の 課 題 は 解 決 しない 改 善 が 進 まないのは 組 織 特 性 の 違 い 国 民 性 の 違 いによる 開 発 手 法 の 成 り 立 ちが 異 なる 国 内 組 織 間 の 特 性 差 により 必 要 とされるツール/ 手 法 は 異 なる 2 組 織 の 課 題 を 特 定 することで 課 題 解 決 が 進 む 課 題 発 生 源 を 特 定 して 課 題 を 発 生 させない 方 法 の 構 築 3 課 題 解 決 方 法 の 一 般 化 が 手 法 確 立 へと 進 む 自 部 門 内 の 課 題 抑 制 技 術 を 他 部 門 / 他 会 社 へ 展 開 を 進 める 事 で 手 法 の 確 立 が 進 む 4 確 立 手 法 のオープン 化 による 技 術 革 新 論 文 書 籍 セミナー 等 で 確 立 手 法 をオープンにすることで オープン 技 術 をベースにした 更 なる 技 術 革 新 に 繋 がる
2. 現 場 改 善 のポイントと 技 法 の 紹 介
手 法 導 入 によりフロントローディングを 極 める 人 によるソフトウェア 開 発 作 業 のバラツキが 発 生 その 結 果 テストによる 品 質 確 保 が 困 難 になる 試 験 品 質 試 験 設 計 要 因 の 分 析 試 験 設 計 の 品 質 向 上 による 不 具 合 除 去 2レビュー 品 質 レビュー 設 計 要 因 の 分 析 分 析 設 計 実 装 試 験 のレビュー 品 質 向 上 による 不 具 合 除 去 3 作 業 品 質 不 具 合 発 生 源 の 分 析 分 析 設 計 実 装 試 験 の 作 業 品 質 向 上 による 不 具 合 作 り 込 み 除 去 4 要 求 品 質 要 求 の 発 生 源 の 分 析 要 求 品 質 を 向 上 する 為 の 要 求 の 作 り 込 みと 検 証 品 質 向 上 に よる 価 値 のある 製 品 構 築
課 題 解 決 型 のプロセス 定 義 と 形 式 化 不 具 合 の 発 生 源 を 特 定 して 作 り 込 み 要 因 を 分 析 して 課 題 を 定 義 課 題 を 作 り 込 まない 技 術 開 発 を 行 い アーキテクチャ 定 義 と 課 題 解 決 のタスクの 形 式 化 により 組 織 全 体 の 品 質 を 改 善 する 不 具 合 の 発 生 源 の 特 定 過 去 不 具 合 の 発 生 源 と 要 因 分 析 同 種 の 不 具 合 を 分 類 して 課 題 を 作 り 込 まないタスク 定 義 により 開 発 プロセス を 構 築 した 上 で 継 続 した 課 題 解 決 プロ セス 定 義 を 進 める 事 が 大 切 です 2 作 り 込 み 本 質 要 因 を 特 定 3 課 題 を 定 義 4 課 題 を 作 り 込 まない 作 業 定 義 ( 手 法 定 義 ) 5 手 法 を 安 定 化 させるアーキテクチャを 定 義 6 課 題 解 決 を 形 式 的 に 実 行 できるプロセス 定 義 7 形 式 化 したプロセスのシステム 化
課 題 解 決 型 のプロセス 定 義 と 形 式 化 課 題 を 抑 制 する 技 法 を 用 いる 事 でソフトウェア 品 質 を 向 上 させる 課 題 課 題 解 決 方 法 開 発 のバラツキ 要 求 定 義 のバラツキ 要 求 分 析 定 義 手 法 工 程 間 の 変 換 バラツキ 開 発 プロセス 重 複 記 述 クラス 分 析 設 計 手 法 要 求 S/Wの 発 散 SPL(ソフトウェアプロダクトライン) 文 書 精 度 ( 曖 昧 表 現 ) 日 本 語 による 形 式 記 法 の 推 進 DSL 要 求 精 度 目 的 指 向 開 発 競 合 及 び 制 約 機 能 競 合 競 合 分 析 設 計 出 力 競 合 例 外 競 合 時 間 制 約 絶 対 時 間 分 析 設 計 安 定 しない 要 求 段 階 的 仕 様 詳 細 化 仕 様 安 定 度 に 基 づくプロセス 最 適 化 (イテレーティフ 開 発 ) 段 階 的 仕 様 追 加 変 更 粒 度 によるプロセス 最 適 化 (インクリメンタル 開 発 ) 見 積 り 精 度 見 積 り 手 法
技 法 の 解 説 自 律 オブジェクト 指 向 (AOO:Autonomic architecture base Object-Oriented development technique)が998 年 に 組 込 みソフトウェア 開 発 向 けオブジェクト 指 向 の 開 発 手 法 として 発 表 その 後 AOOは プロセス パターン 見 積 り SPL DSLへ 拡 張 組 込 みソフトウェアの 最 強 のオープンな 開 発 手 法 として 総 称 をA エース (Autonomic architecture base embedded software development technique)と 呼 んでいる Autonomicは 自 律 という 意 味 と 自 律 神 経 という 意 味 も 含 まれる 自 律 は 他 からの 支 配 制 約 などを 受 けずに 自 分 自 身 で 立 てた 規 範 に 従 って 行 動 するアーキテクチャを 基 準 に 開 発 手 法 を 定 義 要 求 を 機 能 目 的 で 階 層 的 にカテゴリで 分 類 整 理 して 機 能 間 に 依 存 関 係 を 持 たせず 自 分 自 身 の 機 能 目 的 達 成 のための 要 求 を 定 義 する 更 に 共 通 機 能 処 理 ブロック( 操 作 ) 名 詞 ( 属 性 ) バリエーション(ポイント+バリアン ト)を 定 義 して 要 求 モデルの 洗 練 化 して 日 本 語 によるDSL 化 を 進 める 要 求 から 変 換 されるオブジェクトも 目 的 単 位 で 自 律 して 振 る 舞 い オブジェクト 間 の 関 連 は 静 的 結 合 で 自 分 自 身 のつの 目 的 達 成 の 為 に 振 る 舞 う 要 求 を 人 の 認 知 方 式 に 基 づきモデル 化 され 自 律 神 経 モデルに 基 づきフレームワークに 変 換 することで 要 求 設 計 実 装 試 験 への 双 方 向 の 紐 付 けを 可 能 にして 高 品 質 を 確 保 した 上 で 派 生 機 種 開 発 SPL 開 発 を 可 能 にする
技 法 の 解 説 要 求 を 機 能 目 的 として 階 層 的 に 機 能 ブロック( 操 作 ) 属 性 時 間 制 約 変 換 パターン etcのプロパティを 定 義 して 要 求 定 義 での 洗 練 化 を 進 めて 想 定 可 能 な 競 合 例 外 事 象 を 定 義 製 品 内 製 品 間 でのバリエーションを 定 義 することで 高 品 質 高 生 産 性 を 確 保 する 目 的 指 向 開 発 要 求 機 能 のモデル 化 形 式 記 法 によるDSL 化 SPL 分 析 設 計 絶 対 時 間 分 析 設 計 状 態 分 析 設 計 機 能 項 目 / 物 理 項 目 を 共 通 目 的 で 項 目 のカテゴリ 化 による 要 求 定 義 機 能 ブロック 名 詞 の 定 義 と 条 件 及 び 操 作 の 形 式 記 述 化 と 検 証 共 通 機 能 ブロックの 再 利 用 製 品 間 の 仕 様 のバリエー ションポイント( 仕 様 の 可 変 ポイント)とバリアント ( 可 変 仕 様 )の 分 析 定 義 物 理 機 能 の 時 間 制 約 の 定 義 と 解 決 機 能 目 的 に 基 づく 状 態 定 義 の 形 式 化 と 状 態 に 基 づく 操 作 の 形 式 記 述 化 機 能 競 合 分 析 設 計 要 求 機 能 競 合 の 解 決 例 外 競 合 の 解 決 クラス 分 析 設 計 カテゴリでの 機 能 の 整 理 共 通 機 能 ブ ロック 名 詞 の 定 義 とクラスへの 変 換 分 析 設 計 変 換 パターン 機 能 項 目 からオブジェクトへの 変 換 パター ンにより 双 方 向 のトレーサビリティを 確 立 フレームワーク 実 装 基 盤 Input Kernel ControlJuge Output ConrolManger Object Manager 制 御 対 象 物 及 び 外 部 環 境 開 発 プロセス
技 法 の 解 説 ) 課 題 抑 制 のアーキテクチャとプロセス 定 義 ( 課 題 発 生 源 特 定 ) アーキテクチャは 特 定 の 課 題 を 解 決 する 為 の 要 素 の 構 造 と 要 素 間 の 関 係 を 定 義 したもので 課 題 解 決 に 必 要 な フレームを 文 書 様 式 として 形 式 化 課 題 解 決 の 様 式 (アーキテクチャ)を 使 用 する 作 業 フレームを 開 発 プロセスに 定 義 することで 高 品 質 なソフトウェアの 開 発 を 実 現 2) 要 求 の 目 的 定 義 による 超 上 流 改 善 ( 要 求 発 生 源 特 定 ) 文 書 様 式 で 要 求 の 目 的 を 定 義 することにより 要 求 の 発 生 源 を 特 定 して 製 品 仕 様 品 質 の 向 上 を 図 る 要 求 の 発 生 源 を 特 定 して 目 的 を 定 義 することにより 下 記 の 効 果 が 期 待 でき 仕 様 の 安 定 化 と 高 品 質 化 による 生 産 性 改 善 と 市 場 要 求 の 対 応 レスポンスの 向 上 による 市 場 規 模 拡 大 仕 様 の 変 動 が 抑 制 される 仕 様 の 最 適 化 の 提 案 / 仕 様 の 品 質 が 向 上 仕 様 の 価 値 が 判 断 でき 対 応 優 先 度 が 決 まる 3) 目 的 指 向 によるクラス 設 計 と 競 合 解 決 4)アクティビティ タスクの 目 的 定 義 による 無 駄 取 り 目 的 指 向 による 不 具 合 発 生 源 及 び 要 求 発 生 源 の 特 定 による 不 具 合 を 再 発 させないプロセス 定 義 と 要 求 の 変 動 を 抑 制 するプロセス 定 義 によるロスコスト 防 止 工 程 間 の 重 複 作 業 の 排 除 タスクの 実 行 目 的 を 明 確 にしてプロジェクト 特 性 に 合 致 したタスクの 選 択 による 徹 底 した 無 駄 取 りを 実 現 して 高 い 生 産 性 を 実 現 5) 変 更 粒 度 仕 様 安 定 度 に 応 じた 実 行 タスクの 最 適 化 6) 派 生 機 種 の 可 変 ポイントと 可 変 部 の 定 義 によるSPL 開 発 7)プロセス 形 式 化 と 要 求 定 義 検 証 の 形 式 化 形 式 記 法 を 用 いて 要 求 分 析 定 義 書 の 記 述 精 度 ( 文 書 共 通 性 と 品 質 )を 向 上 高 品 質 な 要 求 分 析 定 義 書 を 基 に 双 方 向 のトレーサビリティを 確 保 する 事 で 定 義 された 文 書 は 複 数 の 工 程 で 異 なる 視 点 で 分 析 され 高 品 質 なソフトウェア 開 発 を 可 能 にする 要 求 発 生 源 営 業 部 門 設 計 部 門 S/W 開 発 部 門 分 析 設 計 実 装 試 験 不 具 合 発 生 源 3
技 法 の 解 説 (SPL) 開 発 手 順 のバラツキにより 品 質 が 安 定 せず 管 理 負 荷 が 増 大 2 開 発 上 の 課 題 発 生 の 傾 向 が 不 安 定 で 品 質 が 安 定 しない 3 要 求 及 びソフトウェアが 不 安 定 で 共 通 化 が 進 まない 開 発 ライン 工 程 工 程 2 工 程 3 開 発 ライン2 工 程 工 程 2 開 発 ラインn 工 程 工 程 3 工 程 の 統 合 開 発 ライン 開 発 プロセス 作 業 標 準 品 質 特 性 が 発 散 部 品 化 の 停 滞 管 理 工 数 の 増 大 生 産 性 と 品 質 は その 製 造 プロセスに 左 右 される 工 程 工 程 2 工 程 3 コア 資 産 開 発 ライン コア 資 産 工 程 工 程 2 工 程 3 ツール 化 : 自 動 生 成, 設 計 検 証 へ 品 質 特 性 の 安 定 部 品 化 の 促 進 管 理 工 数 の 削 減
技 法 の 解 説 (SPL) 製 品 A 要 求 製 品 B 要 求 製 品 C 要 求 機 能 項 目 目 的 で カテゴリで 分 類 整 理 オブジェクトに 変 換 ( 可 変 性 の 継 承 ) 製 品 間 の 可 変 性 を 分 析 して 可 変 ポイント(バリエーションポイント)と 可 変 部 分 (バリアント)を 定 義 する 要 求 の 物 理 と 目 的 ( 機 能 )で 分 解 整 理 してソフトウェアと 双 方 向 に 紐 付 することでSPL 開 発 を 可 能 にする 2フレームワークをドメイン 依 存 として 構 築 すると 中 長 期 開 発 で 破 綻 するリスクがある 状 態 遷 移 状 態 に 基 づく 操 作 競 合 解 決 バリエーション 解 決 は 多 くの 組 込 み 制 御 システムに 共 通 であり 共 通 フレームワーク 上 で 実 現 することでSPL 開 発 を 成 功 させる
技 法 の 解 説 (DSL) ) 要 求 のカテゴリ 化 と 機 能 ブロック/ 属 性 の 形 式 化 2) 形 式 記 法 を 用 いた 機 能 仕 様 の 日 本 語 による 形 式 化 3) 機 能 ブロック/ 属 性 の 再 利 用 によるDSL 化 の 推 進 要 求 要 求 機 能 項 目 リスト 機 能 項 目.xxx 2.xxx..xxx.2.xxx 2..xxx 2.2.xxx 制 御 マネージャ 物 理 項 目 リスト 物 理 項 目 2.2..xxx 2.2.2.xxx 目 的 操 作 目 的 属 性 目 的 操 作 目 的 属 性 機 能 ブロック 機 能 ブロック 機 能 仕 様 で 扱 う 名 詞 の 定 義 して 形 式 記 法 で 仕 様 定 義 更 に 機 能 項 目 内 を 目 的 で 分 解 し て 機 能 ブロックを 定 義 機 能 ブロックの 再 利 用 による 要 求 分 析 定 義 の 生 産 性 向 上 文 書 コード 生 成 検 証 の 実 現 DSL 要 求.xxx 2.xxx デバイス..xxx.2.xxx.3.xxx 2..xxx 2...xxx 2..2.xxx and2 外 気 温 度 >0 2 運 転 モード= 冷 房 XXX 制 御 状 態 制 御 中 XXX 制 御 状 態 = 制 御 中 ドメイン 形 式 記 述 機 能 項 目 目 的 として 階 層 的 にカテゴリ 化 を 進 める 形 式 記 述 言 語
開 発 プロセス ソフトウェア 要 求 分 析 条 件 記 述 操 作 記 述 O 入 力 処 理 条 件 記 述 操 作 記 述 <aaa> 機 能 ブロック 記 述 XXXタイマー 機 能 項 目 属 性 操 作 時 間 xxx aaa F 2 F2 F2 F2 F2 F2 物 理 項 目 属 性 操 作 時 間 <aaa> 機 能 ブロック 記 述 P P P F P2 F2 例 外 マトリクス E0 E02 E03 XXXタイマー P2 P2 P2 機 能 マトリクス F2 F2 F2 F2 2 2 F2 F2 2 F2 F2 F2 F2 F2 ソフトウェアアーキテクチャ F2 F2 F2 設 計 ソフトウェア 詳 細 設 計 オブジェクト 属 性 操 作 時 間 出 力 xxx aaa F 2 F2 F2 F2 F2 F2 P P P P2 Kernel P2 P2 Input P2 ControlManager ControlJuge ObjectManager Kernel Output ControlManger Object Manager 実 装 O(ソースコード) if(xxxx) aaa_st=xxxx*2 if(xxx) ; aaa(); Aaa(){ Xxxxxxxx; Xxxxxxxxxxx; Xxx_ti=START; } 機 能 項 目 xxx aaa F 2 F2 F2 F2 F2 F2 ソフトウェア 総 合 テスト 属 性 操 作 時 間 物 理 項 目 属 性 操 作 時 間 P P P P2 F F2 P2 P2 機 能 マトリクス P2 F2 F2 F2 F2 2 O 入 力 処 理 単 体 テスト 試 験 手 順 条 件 記 述 期 待 値 操 作 記 述 例 外 マトリクス E0 E02 E03 2 F2 F2 2 F2 F2 F2 F2 F2 F2 F2 F2 ソフトウェア 結 合 および 結 合 テスト 条 件 記 述 操 作 記 述 <aaa> 機 能 ブロック 記 述 XXXタイマー オブジェクト 属 性 操 作 時 間 出 力 結 果 xxx aaa F 2 F2 F2 F2 F2 F2 P P P P2 Kernel P2 Input P2 P2 ControlJuge ControlManager ObjectManager Kernel Output ControlManger Object Manager
プロセスによる 組 織 文 化 の 構 築 優 れた 企 業 は 創 設 者 が 社 員 に 伝 えた 仕 事 のやり 方 (プロセス)を 脈 々と 継 承 して 組 織 文 化 を 構 築 している 品 質 が 安 定 しない 未 成 熟 な 組 織 でも 組 織 の 課 題 を 特 定 して 組 織 全 体 の 仕 事 のやり 方 を 開 発 プロセスとして 展 開 する 事 で 組 織 の 成 熟 度 を 上 げ 組 織 文 化 を 構 築 することが 可 能 です 組 織 文 化 構 築 のポイント ) 課 題 解 決 型 プロセス 改 善 課 題 の 発 生 源 特 定 して 課 題 を 作 り 込 まない 継 続 的 なプロセス 改 善 2) 客 先 思 考 開 発 要 求 発 生 源 特 定 による 超 フロントローディングの 推 進 3) 目 的 指 向 開 発 目 的 明 確 にして 本 質 を 見 極 め 最 適 化 と 徹 底 したムダ 取 り
4.まとめ
改 善 と 開 発 プロセスのまとめ 目 的 を 持 って 継 続 して 改 善 し 続 ける 目 的 を 定 義 して 本 質 を 見 極 める 目 的 達 成 の 価 値 を 判 断 する 同 種 の 目 的 で 整 理 して 共 通 部 と 本 質 定 義 を 実 施 する 作 業 目 的 でタスクを 階 層 的 に 分 類 整 理 してプロセスを 定 義 する 各 開 発 工 程 の 作 業 目 的 の 定 義 により 最 適 化 を 実 施 する ドメイン 非 依 存 のプロセス 定 義 とドメインの 分 類 整 理 による カテゴリ 単 位 のプロセス 定 義 を 実 施 する 製 品 シリーズA 開 発 プロセス 製 品 シリーズB 開 発 プロセス ドメイン 非 依 存 開 発 プロセス
まとめ 品 質 生 産 性 改 善 手 法 の 確 立 : 課 題 と 要 求 の 発 生 源 の 本 質 分 析 を 実 施 して 課 題 要 求 の 解 決 策 の 設 定 と 実 行 課 題 を 再 発 させないためのタスク 定 義 共 通 アーキテクチャとフレームワークの 徹 底 分 析 / 設 計 / 実 装 / 試 験 の 双 方 向 トレーサビリティ 確 保 要 求 分 析 の 形 式 記 述 仕 様 のバリエーション 定 義 仕 様 の 変 更 粒 度 と 安 定 度 で 最 適 プロセスの 実 行 開 発 プロセスの 安 定 化 ( 形 式 化 ) 開 発 プロセスの 継 続 的 な 改 善 管 理 プロセス 管 理 負 荷 軽 減 と 精 度 向 上 品 質 生 産 性 の 向 上 と 安 定 戦 略 的 製 品 開 発 へ コア 資 産 プロセスの 定 型 作 業 化 自 動 生 成 検 証 の 実 現 モデル 駆 動 開 発 へ
A 開 発 支 援 ツール ソフトウェア 要 求 分 析 条 件 記 述 操 作 記 述 O 入 力 処 理 条 件 記 述 操 作 記 述 <aaa> 機 能 ブロック 記 述 XXXタイマー 機 能 項 目 属 性 操 作 時 間 xxx aaa F 2 F2 F2 F2 F2 F2 物 理 項 目 属 性 操 作 時 間 <aaa> 機 能 ブロック 記 述 P P P F P2 F2 例 外 マトリクス E0 E02 E03 XXXタイマー P2 P2 P2 機 能 マトリクス F2 F2 F2 F2 2 2 F2 F2 2 F2 F2 F2 F2 F2 ソフトウェアアーキテクチャ F2 F2 F2 設 計 ソフトウェア 詳 細 設 計 オブジェクト 属 性 操 作 時 間 出 力 xxx aaa F 2 F2 F2 F2 F2 F2 P P P P2 Kernel P2 P2 Input P2 ControlManager ControlJuge ObjectManager Kernel Output ControlManger Object Manager A 開 発 支 援 Tool ドメイン 形 式 記 述 形 式 記 述 言 語 実 装 O(ソースコード) if(xxxx) aaa_st=xxxx*2 if(xxx) ; aaa(); Aaa(){ Xxxxxxxx; Xxxxxxxxxxx; Xxx_ti=START; } 機 能 項 目 xxx aaa F 2 F2 F2 F2 F2 F2 ソフトウェア 総 合 テスト 属 性 操 作 時 間 物 理 項 目 属 性 操 作 時 間 P P P P2 F F2 P2 P2 機 能 マトリクス P2 F2 F2 F2 F2 2 O 入 力 処 理 単 体 テスト 試 験 手 順 条 件 記 述 期 待 値 操 作 記 述 例 外 マトリクス E0 E02 E03 2 F2 F2 2 F2 F2 F2 F2 F2 F2 F2 F2 ソフトウェア 結 合 および 結 合 テスト 条 件 記 述 操 作 記 述 <aaa> 機 能 ブロック 記 述 XXXタイマー オブジェクト 属 性 操 作 時 間 出 力 結 果 xxx aaa F 2 F2 F2 F2 F2 F2 P P P P2 Kernel P2 Input P2 P2 ControlJuge ControlManager ObjectManager Kernel Output ControlManger Object Manager
ご 清 聴 ありがとうございました 三 菱 電 機 メカトロニクスソフトウエア 株 式 会 社 岩 橋 正 実 073-436-0776 Iwahashi.Masami@wak.msw.co.jp