ソフトウェア要求分析における品質特性メトリックスの研究

2001 Fiscal Year Annual Research Report

• Project/Area Number: 13224035
• Research Institution: Tokyo Institute of Technology
• Principal Investigator: 佐伯 元司 東京工業大学, 大学院・情報理工学研究科, 教授 (80162254)
• Keywords: ソフトウェア要求分析法 / ゴール指向要求分析法 / 品質メトリックス / 品質特性

Research Abstract

本年度は,ソフトウェア要求獲得方法論の一つであるゴール指向分析法をもとに、この方法論で作られる生成物から最終成果物である要求仕様書の品質を推定する手法を開発し,評価実験を行った.具体的な研究成果を以下に示す.
1.ゴール指向分析法の拡張:トップダウンの要求獲得法の一つであるゴール指向要求分析法のAND-ORグラフに属性値を付加することによって拡張を行った.グラフのノードで表されるゴールには,stakeholderごとの優先度(preference)を,ゴール間の分解・詳細化関係を表す枝にはそのサブゴールが親ゴールの達成にどれだけ貢献するかの度合い,つまり貢献度(contribution)を付加する.これらの値をもとに,ゴールの選択,コンフリクトを起こしているゴールの検出,ゴールに変更があった際の属性値を用いた影響解析が行える.また,ゴールの詳細化や属性値をふる際の,stakeholderから情報収集するためのインタビュー支援方式も併せて考案した.
2.ゴール指向分析法に基づく要求仕様書の品質計測の手法の開発:ゴール指向分析法などの獲得技法や他の方法論は,プロダクト作成作業のみの支援で,プロダクトの品質を測定したり,測定結果を元に品質を改善したりする作業を支援していない.本研究では,AND-ORグラフに付加した属性値やグラフの構造的な特徴より計算される品質メトリックスを考案し,それらの値の加重平均を求めることによって,IEEEで標準化されている要求仕様書の要求仕様書の妥当性,非曖昧性,完全性などの品質特性を予測する手法の開発を行った.実際に列車の座席予約システムのゴール指向分析法に基づく要求獲得過程に適用し,本手法の評価を行った.この手法は,直接測定が容易に行える要求獲得方法論用の品質因子を用意し,それらの値をもとに,予想される要求仕様の品質メトリックスを計算する手法であるため,方法論ごとに品質メトリックスと品質特性計算用の重み行列を定義することにより,種々の要求分析過程に適用できることを確認した.

Research Products

• [Publications] J.Kato, S.Komiya, M.Saeki, A.Ohnishi, M.Nagata, S.Yamamoto, H.Horai: "A Model for Navigating Interview Process in Requirements Elicitation"Proc. of 8th Asia-Pacific Software Engineering Conference. 141-148 (2001)
• [Publications] 佐伯: "要求仕様のメトリックスについて"情報処理学会ソフトウェア工学研究会ウィンターワークショップ・イン・伊豆. 35-36 (2002)
• [Publications] 海谷, 佐伯, 海尻: "属性つきゴール指向要求分析法"電子情報通信学会ソフトウェアサイエンス研究会. (印刷中). (2002)
• [Publications] 鯵坂, 佐伯: "方法論工学と開発環境"共立出版. 217 (2001)