• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

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

Research Project

Project/Area Number 14019033
Research Category

Grant-in-Aid for Scientific Research on Priority Areas

Allocation TypeSingle-year Grants
Review Section Science and Engineering
Research InstitutionTokyo Institute of Technology

Principal Investigator

佐伯 元司  東京工業大学, 大学院・情報理工学研究科, 教授 (80162254)

Project Period (FY) 2002
Project Status Completed (Fiscal Year 2002)
Budget Amount *help
¥2,800,000 (Direct Cost: ¥2,800,000)
Fiscal Year 2002: ¥2,800,000 (Direct Cost: ¥2,800,000)
Keywordsソフトウェア要求分析法 / ゴール指向要求分析法 / 品質メトリックス / 品質特性 / 方法論工学
Research Abstract

本研究の目的は,ソフトウェアの要求分析の方法論に,成果物の品質を測定するための機構をつけて拡張する技術とそのための支援ツールの開発を行うことである.具体的な研究成果を以下に示す.
・属性つきゴール指向分析法の支援ツール
ゴール指向要求分析法のAND-ORグラフに属性値を付加し,要求の品質推定を行えるように拡張した手法AGORAの支援ツールを開発し,その評価を行った.支援ツールは,ゴールグラフの形状を表示,編集するウィンドウと,属性値を入力するウィンドウとから構成されるエディタで,Javaで実現されている.
・要求のコンフリクトの抽出と分析手法
AGORAのゴールグラフ上で,属性値の中の貢献度をもとに,矛盾しない要求の集合を検出する手法と,得られた要求集合の特性値を計算する手法を開発した.ゴールグラフ上でのゴールの接続を論理関係とみなし,prologプログラムへと翻訳し,それを実行することによって要求集合,その特性値を求めた.
・属性つき方法論への拡張法
成果物に品質計測のための属性値を付加することと,要求分析中にその属性値を付加する作業を追加することにより,既存の要求分析方法論を品質計測可能な方法論へと拡張する手法を開発した.まず,方法論を,1)どのような成果物が作られるか,2)どのような作業を行うのかの2つの側面からモデル化し(メタモデルという),記述した.記述にはMethod Engineering Language(MEL)を使用した.また,グラフ変換を用いてメタモデル変換を行って,方法論を拡張する手法の考察も行った.

Report

(1 results)
  • 2002 Annual Research Report
  • Research Products

    (5 results)

All Other

All Publications (5 results)

  • [Publications] H.Kaiya, H.Horai, M.Saeki: "AGORA : Attributed Goal-Oriented Requirements Analysis Method"IEEE Joint Conference on Requirements Engineering 2002(RE'02). 13-22 (2002)

    • Related Report
      2002 Annual Research Report
  • [Publications] M.Saeki: "Attributed Methods : Embedding Quantification Techniques to Development Methods"6th International Workshop on Quantitative Approaches in Object-Oriented Software Engineering (QAOOSE2002). 85-98 (2002)

    • Related Report
      2002 Annual Research Report
  • [Publications] M.Saeki: "Role of Model Transformation in Method Engineering"14th International Conference on Advanced Information Systems Engineering (CAiSE02), LNCS 2348. 626-642 (2002)

    • Related Report
      2002 Annual Research Report
  • [Publications] K.Fukuzawa, M.Saeki: "Evaluating Software Architectures by Coloured Petri Net"14th International Conference on Software Engineering and Knowledge Engineering (SEKE02). 263-270 (2002)

    • Related Report
      2002 Annual Research Report
  • [Publications] 佐伯: "属性付きゴール指向分析法の支援ツール"情報処理学会ソフトウェア工学研究会ウィンターワークショップ・イン・神戸. 69-70 (2003)

    • Related Report
      2002 Annual Research Report

URL: 

Published: 2002-04-01   Modified: 2018-03-28  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi