SlideShare ist ein Scribd-Unternehmen logo
1 von 2
Downloaden Sie, um offline zu lesen
平成 24 年度 3 月期社会知能情報学専攻 修士論文発表会
ソフトウェア再利用に向けた共通ゴール判別手法の提案
システム設計基礎学講座  1151025  中村 祐貴
主任指導教員:田原 康之 准教授
                  
1. はじめに
既存システムの再利用開発手法を用いたシステム開
発プロセスの効率化に対する期待が高まっている.顧客
の要求を正しく反映し再利用すべき機能を容易に選択
できるよう,過去に複数の既存システムに共通して存在
する共通ゴールを集約して作成された結合ゴールモデ
ルを用いる手法が提案されている.しかし大規模システ
ムのゴールモデル中から共通ゴールを正しく判別する
ことは困難である.
そこで本研究では,効率よく共通ゴールを判別するた
めの手法を提案し,それをツールに実装した.その際手
法の精度を上げるために,ゴール名の類似度だけではな
くゴールモデルの構造に基づいた判別ルールを提案し
ている.複数の類似既存システムのゴールモデルを用い
た実験の結果から,提案ルールが有効な場合とそうでな
い場合を明確化した.また,提案手法を使うとより効率
よく共通ゴールを判別できることが確認された.
2. Software Product Line Engineering
A
B C D
A
B E F
2
A
B G F
32
1 1
3
mandatory or
図 1: フィーチャモデルを用いた SPLE の例
Software Product Line Engineering (SPLE) とは,既
存システム再利用によるシステム開発プロセスの効率
化手法である [1].SPLE では一般的に,図 1 のように
フィーチャモデルを用いて複数の類似既存システムの機
能を共通機能と可変機能に分類し再利用資産を構築す
る [2].共通機能をすべて再利用し,それに顧客の要求
に応じた可変機能を追加することで,派生システムを効
率よく開発できるようになる.
しかし顧客の要求とシステムの機能の間にはギャップ
があるため,要求を機能に正しく反映できる要求モデル
が必要である.
3. 関連研究
A
B C
and
A
B D
and+
A
B C or D
and
C D
or
A
B
C D
E E
NOP
E
or
1
2
図 2: 関連研究の例
階層化された要求モデルであるゴールモデルを用い
ると,抽象的な要求を辿ることで具体的な機能に到達で
きる [3].関連研究では図 2 のように複数のゴールモデ
ルから結合ゴールモデルを作成し [4],そこからフィー
チャモデルを導出している [5].そしてゴールを選択す
ることで,対応するフィーチャを特定できるようにして
いる [6].
しかしこれらの研究では,結合ゴールモデル作成の起
点となる共通ゴールの判別手法が自明でない.大規模シ
ステムのゴールモデル中から人手で共通ゴールを正し
く判別することは困難である.
4. 提案手法
4.1 提案手法の概要
+
2
図 3: 提案手法の概要
共通ゴールを効率よく判別するための体系的な手法
を提案し,それを実装したツールを作成した.
本手法ではツールが自動で「明らかに共通なゴール」
と「明らかに可変なゴール」を判別し出力する.その
後,残った共通可変の判別が難しいゴールを「共通ゴー
ルランキング」として開発者に提示し,手作業で判別を
行う.
図 3 のようにツールではまずゴールモデル間の「ゴー
ル名の類似度」を計測し,「提案ルール」を適用する.そ
の後,閾値を基準に「明らかに共通・可変なゴール」を
判別し「共通ゴールランキング」とともに出力する.
「ゴール名の類似度」は既存手法であるジャッカード
係数 [7] を用いて算出する.これにより,ゴールモデル
間でゴール名が似ているゴールを明確化できる.
しかし,単純に「ゴール名の類似度」だけで共通ゴー
ルの判別を行うと,「類似度の高い非共通ゴール」と「類
似度の低い共通ゴール」の存在により手法の精度が低下
する.そこで,これらのゴールをツールが正しく見分け
られるようゴールモデルの構造を用いた「提案ルール」
を適用する [8].
4.2 提案ルール
0AND AND AND AND
G1 G2
図 4: 「1 ゴール 1 共通」・「下位ゴール優先」の例
「類似度の高い非共通ゴール」は共通ゴールと判別さ
れやすい.それを見分けるために,「1 ゴール 1 共通」・
「下位ゴール優先」というルールを提案している.図 4
に「1 ゴール 1 共通」・「下位ゴール優先」の例を示す.
「1 ゴール 1 共通」とは,1 つのゴールに対して複数
のゴールを共通ゴールにしないというルールである.こ
のルールにより共通と判別されたゴールのセットはその
他のゴールと共通ではないとして比較対象から除外す
ることができる.
「下位ゴール優先」とは,最下位ゴールからゴールを
比較していき,明らかに共通だと判別されたゴールが複
5
表 1: 実験に用いたゴールモデルの特徴
数ありそれらの類似度が等しいときは,下位ゴールを優
先して判別するというルールである.これは,親ゴール
をより具体的な子ゴールに分解するというゴールモデル
の特性を利用している.類似度が等しい場合には,より
具体的なゴールから共通ゴールのセットを作ることで,
正しい共通ゴールのセットを抽出可能となる.
0
searching in the
search field
by user name
AND AND
by words
searching friends
by name
AND AND
by e-mail address
G1 G2
図 5: 「子ゴール共通性の反映」の例
また,「類似度の低い共通ゴール」は非共通ゴールと
判別されやすい.それを見分けるために,「子ゴール共
通性の反映」というルールを提案している.図 5 に「子
ゴール共通性の反映」の例を示す.
これは,子ゴールの中に「明らかに共通なゴール」が
1 つでもあれば,その親ゴールは「明らかに可変なゴー
ル」にはしないというルールである.
これも同様に親ゴールをより具体的な子ゴールに分解
するというゴールモデルの特性を利用している.親ゴー
ルが抽象的な表現をしていて,それにより共通かどうか
の判断が難しい場合でも,より具体的な子ゴールの共通
性を反映することで共通かどうかの判断が可能となる.
5. 評価実験と考察
提案ルールおよびそれを含めた提案手法全体を評価
するために様々な既存システムのゴールモデルを用いて
実験を行った.表 1 に実験で用いたゴールモデルの特徴
を示す.
これらのゴールモデルは対象とするシステムの取扱
説明書を参考にするとともに,実際にシステムを操作し
ながら作成されている.また,取扱説明書から要求モデ
ルを作成する Berry らの手法 [9] を参考にしている.
5.1 実験 1:提案ルールの評価
実験 1 では,提案ルール(「1 ゴール 1 共通」,「下位
ゴール優先」,「子ゴール共通性の反映」)の有効性を評
価するために,テレビ,SNS,就職支援システムに対す
るゴールモデルを用いて実験を行った.
実験では,情報工学を専攻している修士の学生 5∼9
人が手作業で判別した「正解共通・可変ゴール」とツー
ルが出力した「明らかに共通・可変なゴール」を比較し
評価した.評価項目は手戻りの発生可能性を完全に排除
した「適合率 100 %時の再現率」で,提案ルール適用前
後で比較した.
その結果,テレビでは提案ルールを適用することで
「明らかに共通なゴール」の判別精度が 40.00 %向上し
た.一方 SNS では,提案ルールを適用することで「明
らかに可変なゴール」の判別精度が 74.62 %向上した.
就職支援システムでは,提案ルールを適用してもあまり
判別精度が向上しなかった.
結果を分析すると,テレビでは「類似度の高い非共通
ゴール」が出現しており,SNS では「類似度の低い共
通ゴール」が出現していた.提案ルールを適用すること
でこれらのゴールを正しく見分けられるようになり手
法の精度が向上した.
しかし,就職支援システムでは「類似度の低い共通
ゴール」が出現していたにも関わらず,提案ルールがそ
れらを正しく見分けられていなかった.これはリクナビ
とマイナビでゴールモデルの作者が別だったことによ
り,最下位ゴールの分解粒度が粗く統一されていなかっ
たのが原因で,「子ゴール共通性の反映」が正しく機能
しなかったためであると考えられる.
5.2 実験 2:提案手法全体の評価
表 2: 実験 2 の実験結果
実験 2 では,提案ルールが有効な場合に提案手法が
効率化に与える影響を評価するために,カメラに対する
ゴールモデルを用いて実験を行った.
実験では修士の学生 8 人を提案手法を用いないチー
ム A と,提案手法を用いるチーム B の 2 チームに分け,
それぞれの結果を比較した.評価項目は判別した共通
ゴールの適合率・再現率と作業時間である.
表 2 の結果を見ると,提案手法を用いたチーム B の
方が平均して 26.74 %短い作業時間で実験を完了してい
る.またチーム B の方が適合率が平均して 10.74 %,再
現率が平均して 21.55 %高くなっている.
これらの結果から,提案手法を用いた方がより効率よ
く共通ゴールを判別できることがわかった.
6. まとめ
本研究では,効率よく共通ゴールを判別するための手
法を提案し,それをツールに実装した.手法の精度を上
げるために,ゴール名の類似度だけではなくゴールモデ
ルの構造に基づいた判別ルールを提案した.複数のゴー
ルモデルを用いた実験の結果から,提案ルールが有効な
場合とそうでない場合を明確化した.また,提案手法を
使うとより効率よく共通ゴールを判別できることが確
認された.
参考文献
[1] Klaus Pohl, Gunter Bockle, Frank Van Der Lin-
den: Software Product Line Engineering: Foun-
dations, Principles And Techniques, Springer-
Verlag New York Inc 2005.
[2] Lianping Chen, Muhammad Ali Babar, Nour Ali
Lero: Variability Management in Software Prod-
uct Lines: A Systematic Review, SPLC2009,
pp.81-90.
[3] Axel van Lamsweerde:Requirements Engineering,
From System Goals to UML Models to Software
Specifications, Wiley, 2009.
[4] Uno K, Hayashi S, Saeki M: Constructing Feature
Models using Goal Oriented Analysis, QSIC2009,
pp.412-417.
[5] Yijun Yu, Alexei Lapouchnian, Sotirios Liaskos,
John Mylopoulos, and Julio C.S.P.Leite: From
Goals to High-Variability Software Design,
ICIST2008.
[6] Mohsen Asadi, Ebrahim Bagheri, Dragan Gaevi,
Marek Hatala, Bardia Mohabbati: Goal-Driven
Software Product Line Engineering, SAC2011,
pp.691-698.
[7] Muhammad Ilyas , Josef Kung: A Similarity Mea-
surement Framework for Requirements Engineer-
ing, ICCGI2009, pp.31-34.
[8] 中村祐貴, 本田耕三, 中川博之, 田原康之, 大須
賀昭彦: ゴールモデルの構造に基づいた共通ゴー
ル判別手法の提案, ソフトウェア工学の基礎 XIX
FOSE2012, pp.63-68.
[9] M. Berry, K Daudjee, J Dong, I Fainchtein, A
Nelson, T Nelson, L Ou: User ’s Manual as a Re-
quirements Specification: Case Studies, Require-
ments Engineering9.1 2004, pp.67-82
6

Weitere ähnliche Inhalte

Ähnlich wie 平成24年度社会知能情報学専攻修士論文発表会(予稿)

Towards a robust modeling of temporal interest change patterns for behavioral...
Towards a robust modeling of temporal interest change patterns for behavioral...Towards a robust modeling of temporal interest change patterns for behavioral...
Towards a robust modeling of temporal interest change patterns for behavioral...
shima o
 
2011 splc-a scalable goal-oriented approach to software variability recovery
2011 splc-a scalable goal-oriented approach to software variability recovery2011 splc-a scalable goal-oriented approach to software variability recovery
2011 splc-a scalable goal-oriented approach to software variability recovery
n-yuki
 
ICST 2015 まるわかりDay 論文紹介:Perspectives on white box testing
ICST 2015 まるわかりDay 論文紹介:Perspectives on white box testingICST 2015 まるわかりDay 論文紹介:Perspectives on white box testing
ICST 2015 まるわかりDay 論文紹介:Perspectives on white box testing
啓次 植月
 
20130213勉強会_文献レビュー (1)
20130213勉強会_文献レビュー (1)20130213勉強会_文献レビュー (1)
20130213勉強会_文献レビュー (1)
Satoko Yamashita
 
プロジェクト管理ツール
プロジェクト管理ツールプロジェクト管理ツール
プロジェクト管理ツール
Atsushi Heito
 
"Detecting Defects in Object Oriented Designs: Using Reading Techniques to In...
"Detecting Defects in Object Oriented Designs: Using Reading Techniques to In..."Detecting Defects in Object Oriented Designs: Using Reading Techniques to In...
"Detecting Defects in Object Oriented Designs: Using Reading Techniques to In...
Tadayoshi Sato
 

Ähnlich wie 平成24年度社会知能情報学専攻修士論文発表会(予稿) (16)

Xp2
Xp2Xp2
Xp2
 
ユーザーテストサイクル
ユーザーテストサイクルユーザーテストサイクル
ユーザーテストサイクル
 
Towards a robust modeling of temporal interest change patterns for behavioral...
Towards a robust modeling of temporal interest change patterns for behavioral...Towards a robust modeling of temporal interest change patterns for behavioral...
Towards a robust modeling of temporal interest change patterns for behavioral...
 
How to Develop Experiment-Oriented Programs
How to Develop Experiment-Oriented ProgramsHow to Develop Experiment-Oriented Programs
How to Develop Experiment-Oriented Programs
 
Qlik ヘルスケア勉強会 20210428
Qlik ヘルスケア勉強会 20210428Qlik ヘルスケア勉強会 20210428
Qlik ヘルスケア勉強会 20210428
 
2011 splc-a scalable goal-oriented approach to software variability recovery
2011 splc-a scalable goal-oriented approach to software variability recovery2011 splc-a scalable goal-oriented approach to software variability recovery
2011 splc-a scalable goal-oriented approach to software variability recovery
 
WebEffective overview 2012 japanese
WebEffective overview 2012 japaneseWebEffective overview 2012 japanese
WebEffective overview 2012 japanese
 
ソフトウェア・テスト入門2
ソフトウェア・テスト入門2ソフトウェア・テスト入門2
ソフトウェア・テスト入門2
 
ICST 2015 まるわかりDay 論文紹介:Perspectives on white box testing
ICST 2015 まるわかりDay 論文紹介:Perspectives on white box testingICST 2015 まるわかりDay 論文紹介:Perspectives on white box testing
ICST 2015 まるわかりDay 論文紹介:Perspectives on white box testing
 
20130213勉強会_文献レビュー (1)
20130213勉強会_文献レビュー (1)20130213勉強会_文献レビュー (1)
20130213勉強会_文献レビュー (1)
 
プロジェクト管理ツール
プロジェクト管理ツールプロジェクト管理ツール
プロジェクト管理ツール
 
モデル勉強会100710kajiura改
モデル勉強会100710kajiura改モデル勉強会100710kajiura改
モデル勉強会100710kajiura改
 
Teratail Study  ~機械学習編#1~
Teratail Study  ~機械学習編#1~Teratail Study  ~機械学習編#1~
Teratail Study  ~機械学習編#1~
 
ゆもつよ博士論文説明資料公開
ゆもつよ博士論文説明資料公開ゆもつよ博士論文説明資料公開
ゆもつよ博士論文説明資料公開
 
実装科学の枠組みを活用しよう!_1-1.CFIR_RE-AIM_TDF_解説
実装科学の枠組みを活用しよう!_1-1.CFIR_RE-AIM_TDF_解説実装科学の枠組みを活用しよう!_1-1.CFIR_RE-AIM_TDF_解説
実装科学の枠組みを活用しよう!_1-1.CFIR_RE-AIM_TDF_解説
 
"Detecting Defects in Object Oriented Designs: Using Reading Techniques to In...
"Detecting Defects in Object Oriented Designs: Using Reading Techniques to In..."Detecting Defects in Object Oriented Designs: Using Reading Techniques to In...
"Detecting Defects in Object Oriented Designs: Using Reading Techniques to In...
 

Mehr von n-yuki

平成24年度社会知能情報学専攻修士論文発表会(発表資料)
平成24年度社会知能情報学専攻修士論文発表会(発表資料)平成24年度社会知能情報学専攻修士論文発表会(発表資料)
平成24年度社会知能情報学専攻修士論文発表会(発表資料)
n-yuki
 
2012 FOSE-ゴールモデルの構造に基づいた共通ゴール判別手法の提案
2012 FOSE-ゴールモデルの構造に基づいた共通ゴール判別手法の提案2012 FOSE-ゴールモデルの構造に基づいた共通ゴール判別手法の提案
2012 FOSE-ゴールモデルの構造に基づいた共通ゴール判別手法の提案
n-yuki
 
2011 icse-reverse engineering feature models
2011 icse-reverse engineering feature models2011 icse-reverse engineering feature models
2011 icse-reverse engineering feature models
n-yuki
 
平成24年度社会知能情報学専攻修士論文中間発表会(発表資料)
平成24年度社会知能情報学専攻修士論文中間発表会(発表資料)平成24年度社会知能情報学専攻修士論文中間発表会(発表資料)
平成24年度社会知能情報学専攻修士論文中間発表会(発表資料)
n-yuki
 
2009 splc-a framework for constructing semantically composable feature models...
2009 splc-a framework for constructing semantically composable feature models...2009 splc-a framework for constructing semantically composable feature models...
2009 splc-a framework for constructing semantically composable feature models...
n-yuki
 
2011 splc-using multiple feature models to design applications for mobile phones
2011 splc-using multiple feature models to design applications for mobile phones2011 splc-using multiple feature models to design applications for mobile phones
2011 splc-using multiple feature models to design applications for mobile phones
n-yuki
 
図書館システム作成手順書
図書館システム作成手順書図書館システム作成手順書
図書館システム作成手順書
n-yuki
 
交通費申請システム作成手順書
交通費申請システム作成手順書交通費申請システム作成手順書
交通費申請システム作成手順書
n-yuki
 
学部卒業論文
学部卒業論文学部卒業論文
学部卒業論文
n-yuki
 
2011 sac-goal-driven software product line engineering
2011 sac-goal-driven software product line engineering2011 sac-goal-driven software product line engineering
2011 sac-goal-driven software product line engineering
n-yuki
 
2011 icse-improving requirements quality using essential use case interaction...
2011 icse-improving requirements quality using essential use case interaction...2011 icse-improving requirements quality using essential use case interaction...
2011 icse-improving requirements quality using essential use case interaction...
n-yuki
 
2011 icse-feature cohesion in software product lines an exploratory study
2011 icse-feature cohesion in software product lines an exploratory study2011 icse-feature cohesion in software product lines an exploratory study
2011 icse-feature cohesion in software product lines an exploratory study
n-yuki
 
2010 電子情報通信学会論文誌-要求変更によるソースコードへのインパクトを分析するシステムの開発と評価
2010 電子情報通信学会論文誌-要求変更によるソースコードへのインパクトを分析するシステムの開発と評価2010 電子情報通信学会論文誌-要求変更によるソースコードへのインパクトを分析するシステムの開発と評価
2010 電子情報通信学会論文誌-要求変更によるソースコードへのインパクトを分析するシステムの開発と評価
n-yuki
 
2010 re-extending nocuous ambiguity analysis for anaphora in natural language...
2010 re-extending nocuous ambiguity analysis for anaphora in natural language...2010 re-extending nocuous ambiguity analysis for anaphora in natural language...
2010 re-extending nocuous ambiguity analysis for anaphora in natural language...
n-yuki
 
2010 icse-an analysis of the variability in forty preprocessor-based software...
2010 icse-an analysis of the variability in forty preprocessor-based software...2010 icse-an analysis of the variability in forty preprocessor-based software...
2010 icse-an analysis of the variability in forty preprocessor-based software...
n-yuki
 
2010 ase-tool support for essential use cases to better capture software requ...
2010 ase-tool support for essential use cases to better capture software requ...2010 ase-tool support for essential use cases to better capture software requ...
2010 ase-tool support for essential use cases to better capture software requ...
n-yuki
 
2010 ase-automatic detection of nocuous coordination ambiguities in natural l...
2010 ase-automatic detection of nocuous coordination ambiguities in natural l...2010 ase-automatic detection of nocuous coordination ambiguities in natural l...
2010 ase-automatic detection of nocuous coordination ambiguities in natural l...
n-yuki
 
2009 splc-relating requirements and feature configurations a systematic approach
2009 splc-relating requirements and feature configurations a systematic approach2009 splc-relating requirements and feature configurations a systematic approach
2009 splc-relating requirements and feature configurations a systematic approach
n-yuki
 
2009 qsic-constructing feature models using goal-oriented analysis
2009 qsic-constructing feature models using goal-oriented analysis2009 qsic-constructing feature models using goal-oriented analysis
2009 qsic-constructing feature models using goal-oriented analysis
n-yuki
 
2008 電子情報通信学会論文誌-ユースケースポイント計測におけるアクタとユースケースの自動分類の試みと支援ツールの試作
2008 電子情報通信学会論文誌-ユースケースポイント計測におけるアクタとユースケースの自動分類の試みと支援ツールの試作2008 電子情報通信学会論文誌-ユースケースポイント計測におけるアクタとユースケースの自動分類の試みと支援ツールの試作
2008 電子情報通信学会論文誌-ユースケースポイント計測におけるアクタとユースケースの自動分類の試みと支援ツールの試作
n-yuki
 

Mehr von n-yuki (20)

平成24年度社会知能情報学専攻修士論文発表会(発表資料)
平成24年度社会知能情報学専攻修士論文発表会(発表資料)平成24年度社会知能情報学専攻修士論文発表会(発表資料)
平成24年度社会知能情報学専攻修士論文発表会(発表資料)
 
2012 FOSE-ゴールモデルの構造に基づいた共通ゴール判別手法の提案
2012 FOSE-ゴールモデルの構造に基づいた共通ゴール判別手法の提案2012 FOSE-ゴールモデルの構造に基づいた共通ゴール判別手法の提案
2012 FOSE-ゴールモデルの構造に基づいた共通ゴール判別手法の提案
 
2011 icse-reverse engineering feature models
2011 icse-reverse engineering feature models2011 icse-reverse engineering feature models
2011 icse-reverse engineering feature models
 
平成24年度社会知能情報学専攻修士論文中間発表会(発表資料)
平成24年度社会知能情報学専攻修士論文中間発表会(発表資料)平成24年度社会知能情報学専攻修士論文中間発表会(発表資料)
平成24年度社会知能情報学専攻修士論文中間発表会(発表資料)
 
2009 splc-a framework for constructing semantically composable feature models...
2009 splc-a framework for constructing semantically composable feature models...2009 splc-a framework for constructing semantically composable feature models...
2009 splc-a framework for constructing semantically composable feature models...
 
2011 splc-using multiple feature models to design applications for mobile phones
2011 splc-using multiple feature models to design applications for mobile phones2011 splc-using multiple feature models to design applications for mobile phones
2011 splc-using multiple feature models to design applications for mobile phones
 
図書館システム作成手順書
図書館システム作成手順書図書館システム作成手順書
図書館システム作成手順書
 
交通費申請システム作成手順書
交通費申請システム作成手順書交通費申請システム作成手順書
交通費申請システム作成手順書
 
学部卒業論文
学部卒業論文学部卒業論文
学部卒業論文
 
2011 sac-goal-driven software product line engineering
2011 sac-goal-driven software product line engineering2011 sac-goal-driven software product line engineering
2011 sac-goal-driven software product line engineering
 
2011 icse-improving requirements quality using essential use case interaction...
2011 icse-improving requirements quality using essential use case interaction...2011 icse-improving requirements quality using essential use case interaction...
2011 icse-improving requirements quality using essential use case interaction...
 
2011 icse-feature cohesion in software product lines an exploratory study
2011 icse-feature cohesion in software product lines an exploratory study2011 icse-feature cohesion in software product lines an exploratory study
2011 icse-feature cohesion in software product lines an exploratory study
 
2010 電子情報通信学会論文誌-要求変更によるソースコードへのインパクトを分析するシステムの開発と評価
2010 電子情報通信学会論文誌-要求変更によるソースコードへのインパクトを分析するシステムの開発と評価2010 電子情報通信学会論文誌-要求変更によるソースコードへのインパクトを分析するシステムの開発と評価
2010 電子情報通信学会論文誌-要求変更によるソースコードへのインパクトを分析するシステムの開発と評価
 
2010 re-extending nocuous ambiguity analysis for anaphora in natural language...
2010 re-extending nocuous ambiguity analysis for anaphora in natural language...2010 re-extending nocuous ambiguity analysis for anaphora in natural language...
2010 re-extending nocuous ambiguity analysis for anaphora in natural language...
 
2010 icse-an analysis of the variability in forty preprocessor-based software...
2010 icse-an analysis of the variability in forty preprocessor-based software...2010 icse-an analysis of the variability in forty preprocessor-based software...
2010 icse-an analysis of the variability in forty preprocessor-based software...
 
2010 ase-tool support for essential use cases to better capture software requ...
2010 ase-tool support for essential use cases to better capture software requ...2010 ase-tool support for essential use cases to better capture software requ...
2010 ase-tool support for essential use cases to better capture software requ...
 
2010 ase-automatic detection of nocuous coordination ambiguities in natural l...
2010 ase-automatic detection of nocuous coordination ambiguities in natural l...2010 ase-automatic detection of nocuous coordination ambiguities in natural l...
2010 ase-automatic detection of nocuous coordination ambiguities in natural l...
 
2009 splc-relating requirements and feature configurations a systematic approach
2009 splc-relating requirements and feature configurations a systematic approach2009 splc-relating requirements and feature configurations a systematic approach
2009 splc-relating requirements and feature configurations a systematic approach
 
2009 qsic-constructing feature models using goal-oriented analysis
2009 qsic-constructing feature models using goal-oriented analysis2009 qsic-constructing feature models using goal-oriented analysis
2009 qsic-constructing feature models using goal-oriented analysis
 
2008 電子情報通信学会論文誌-ユースケースポイント計測におけるアクタとユースケースの自動分類の試みと支援ツールの試作
2008 電子情報通信学会論文誌-ユースケースポイント計測におけるアクタとユースケースの自動分類の試みと支援ツールの試作2008 電子情報通信学会論文誌-ユースケースポイント計測におけるアクタとユースケースの自動分類の試みと支援ツールの試作
2008 電子情報通信学会論文誌-ユースケースポイント計測におけるアクタとユースケースの自動分類の試みと支援ツールの試作
 

平成24年度社会知能情報学専攻修士論文発表会(予稿)

  • 1. 平成 24 年度 3 月期社会知能情報学専攻 修士論文発表会 ソフトウェア再利用に向けた共通ゴール判別手法の提案 システム設計基礎学講座  1151025  中村 祐貴 主任指導教員:田原 康之 准教授                    1. はじめに 既存システムの再利用開発手法を用いたシステム開 発プロセスの効率化に対する期待が高まっている.顧客 の要求を正しく反映し再利用すべき機能を容易に選択 できるよう,過去に複数の既存システムに共通して存在 する共通ゴールを集約して作成された結合ゴールモデ ルを用いる手法が提案されている.しかし大規模システ ムのゴールモデル中から共通ゴールを正しく判別する ことは困難である. そこで本研究では,効率よく共通ゴールを判別するた めの手法を提案し,それをツールに実装した.その際手 法の精度を上げるために,ゴール名の類似度だけではな くゴールモデルの構造に基づいた判別ルールを提案し ている.複数の類似既存システムのゴールモデルを用い た実験の結果から,提案ルールが有効な場合とそうでな い場合を明確化した.また,提案手法を使うとより効率 よく共通ゴールを判別できることが確認された. 2. Software Product Line Engineering A B C D A B E F 2 A B G F 32 1 1 3 mandatory or 図 1: フィーチャモデルを用いた SPLE の例 Software Product Line Engineering (SPLE) とは,既 存システム再利用によるシステム開発プロセスの効率 化手法である [1].SPLE では一般的に,図 1 のように フィーチャモデルを用いて複数の類似既存システムの機 能を共通機能と可変機能に分類し再利用資産を構築す る [2].共通機能をすべて再利用し,それに顧客の要求 に応じた可変機能を追加することで,派生システムを効 率よく開発できるようになる. しかし顧客の要求とシステムの機能の間にはギャップ があるため,要求を機能に正しく反映できる要求モデル が必要である. 3. 関連研究 A B C and A B D and+ A B C or D and C D or A B C D E E NOP E or 1 2 図 2: 関連研究の例 階層化された要求モデルであるゴールモデルを用い ると,抽象的な要求を辿ることで具体的な機能に到達で きる [3].関連研究では図 2 のように複数のゴールモデ ルから結合ゴールモデルを作成し [4],そこからフィー チャモデルを導出している [5].そしてゴールを選択す ることで,対応するフィーチャを特定できるようにして いる [6]. しかしこれらの研究では,結合ゴールモデル作成の起 点となる共通ゴールの判別手法が自明でない.大規模シ ステムのゴールモデル中から人手で共通ゴールを正し く判別することは困難である. 4. 提案手法 4.1 提案手法の概要 + 2 図 3: 提案手法の概要 共通ゴールを効率よく判別するための体系的な手法 を提案し,それを実装したツールを作成した. 本手法ではツールが自動で「明らかに共通なゴール」 と「明らかに可変なゴール」を判別し出力する.その 後,残った共通可変の判別が難しいゴールを「共通ゴー ルランキング」として開発者に提示し,手作業で判別を 行う. 図 3 のようにツールではまずゴールモデル間の「ゴー ル名の類似度」を計測し,「提案ルール」を適用する.そ の後,閾値を基準に「明らかに共通・可変なゴール」を 判別し「共通ゴールランキング」とともに出力する. 「ゴール名の類似度」は既存手法であるジャッカード 係数 [7] を用いて算出する.これにより,ゴールモデル 間でゴール名が似ているゴールを明確化できる. しかし,単純に「ゴール名の類似度」だけで共通ゴー ルの判別を行うと,「類似度の高い非共通ゴール」と「類 似度の低い共通ゴール」の存在により手法の精度が低下 する.そこで,これらのゴールをツールが正しく見分け られるようゴールモデルの構造を用いた「提案ルール」 を適用する [8]. 4.2 提案ルール 0AND AND AND AND G1 G2 図 4: 「1 ゴール 1 共通」・「下位ゴール優先」の例 「類似度の高い非共通ゴール」は共通ゴールと判別さ れやすい.それを見分けるために,「1 ゴール 1 共通」・ 「下位ゴール優先」というルールを提案している.図 4 に「1 ゴール 1 共通」・「下位ゴール優先」の例を示す. 「1 ゴール 1 共通」とは,1 つのゴールに対して複数 のゴールを共通ゴールにしないというルールである.こ のルールにより共通と判別されたゴールのセットはその 他のゴールと共通ではないとして比較対象から除外す ることができる. 「下位ゴール優先」とは,最下位ゴールからゴールを 比較していき,明らかに共通だと判別されたゴールが複 5
  • 2. 表 1: 実験に用いたゴールモデルの特徴 数ありそれらの類似度が等しいときは,下位ゴールを優 先して判別するというルールである.これは,親ゴール をより具体的な子ゴールに分解するというゴールモデル の特性を利用している.類似度が等しい場合には,より 具体的なゴールから共通ゴールのセットを作ることで, 正しい共通ゴールのセットを抽出可能となる. 0 searching in the search field by user name AND AND by words searching friends by name AND AND by e-mail address G1 G2 図 5: 「子ゴール共通性の反映」の例 また,「類似度の低い共通ゴール」は非共通ゴールと 判別されやすい.それを見分けるために,「子ゴール共 通性の反映」というルールを提案している.図 5 に「子 ゴール共通性の反映」の例を示す. これは,子ゴールの中に「明らかに共通なゴール」が 1 つでもあれば,その親ゴールは「明らかに可変なゴー ル」にはしないというルールである. これも同様に親ゴールをより具体的な子ゴールに分解 するというゴールモデルの特性を利用している.親ゴー ルが抽象的な表現をしていて,それにより共通かどうか の判断が難しい場合でも,より具体的な子ゴールの共通 性を反映することで共通かどうかの判断が可能となる. 5. 評価実験と考察 提案ルールおよびそれを含めた提案手法全体を評価 するために様々な既存システムのゴールモデルを用いて 実験を行った.表 1 に実験で用いたゴールモデルの特徴 を示す. これらのゴールモデルは対象とするシステムの取扱 説明書を参考にするとともに,実際にシステムを操作し ながら作成されている.また,取扱説明書から要求モデ ルを作成する Berry らの手法 [9] を参考にしている. 5.1 実験 1:提案ルールの評価 実験 1 では,提案ルール(「1 ゴール 1 共通」,「下位 ゴール優先」,「子ゴール共通性の反映」)の有効性を評 価するために,テレビ,SNS,就職支援システムに対す るゴールモデルを用いて実験を行った. 実験では,情報工学を専攻している修士の学生 5∼9 人が手作業で判別した「正解共通・可変ゴール」とツー ルが出力した「明らかに共通・可変なゴール」を比較し 評価した.評価項目は手戻りの発生可能性を完全に排除 した「適合率 100 %時の再現率」で,提案ルール適用前 後で比較した. その結果,テレビでは提案ルールを適用することで 「明らかに共通なゴール」の判別精度が 40.00 %向上し た.一方 SNS では,提案ルールを適用することで「明 らかに可変なゴール」の判別精度が 74.62 %向上した. 就職支援システムでは,提案ルールを適用してもあまり 判別精度が向上しなかった. 結果を分析すると,テレビでは「類似度の高い非共通 ゴール」が出現しており,SNS では「類似度の低い共 通ゴール」が出現していた.提案ルールを適用すること でこれらのゴールを正しく見分けられるようになり手 法の精度が向上した. しかし,就職支援システムでは「類似度の低い共通 ゴール」が出現していたにも関わらず,提案ルールがそ れらを正しく見分けられていなかった.これはリクナビ とマイナビでゴールモデルの作者が別だったことによ り,最下位ゴールの分解粒度が粗く統一されていなかっ たのが原因で,「子ゴール共通性の反映」が正しく機能 しなかったためであると考えられる. 5.2 実験 2:提案手法全体の評価 表 2: 実験 2 の実験結果 実験 2 では,提案ルールが有効な場合に提案手法が 効率化に与える影響を評価するために,カメラに対する ゴールモデルを用いて実験を行った. 実験では修士の学生 8 人を提案手法を用いないチー ム A と,提案手法を用いるチーム B の 2 チームに分け, それぞれの結果を比較した.評価項目は判別した共通 ゴールの適合率・再現率と作業時間である. 表 2 の結果を見ると,提案手法を用いたチーム B の 方が平均して 26.74 %短い作業時間で実験を完了してい る.またチーム B の方が適合率が平均して 10.74 %,再 現率が平均して 21.55 %高くなっている. これらの結果から,提案手法を用いた方がより効率よ く共通ゴールを判別できることがわかった. 6. まとめ 本研究では,効率よく共通ゴールを判別するための手 法を提案し,それをツールに実装した.手法の精度を上 げるために,ゴール名の類似度だけではなくゴールモデ ルの構造に基づいた判別ルールを提案した.複数のゴー ルモデルを用いた実験の結果から,提案ルールが有効な 場合とそうでない場合を明確化した.また,提案手法を 使うとより効率よく共通ゴールを判別できることが確 認された. 参考文献 [1] Klaus Pohl, Gunter Bockle, Frank Van Der Lin- den: Software Product Line Engineering: Foun- dations, Principles And Techniques, Springer- Verlag New York Inc 2005. [2] Lianping Chen, Muhammad Ali Babar, Nour Ali Lero: Variability Management in Software Prod- uct Lines: A Systematic Review, SPLC2009, pp.81-90. [3] Axel van Lamsweerde:Requirements Engineering, From System Goals to UML Models to Software Specifications, Wiley, 2009. [4] Uno K, Hayashi S, Saeki M: Constructing Feature Models using Goal Oriented Analysis, QSIC2009, pp.412-417. [5] Yijun Yu, Alexei Lapouchnian, Sotirios Liaskos, John Mylopoulos, and Julio C.S.P.Leite: From Goals to High-Variability Software Design, ICIST2008. [6] Mohsen Asadi, Ebrahim Bagheri, Dragan Gaevi, Marek Hatala, Bardia Mohabbati: Goal-Driven Software Product Line Engineering, SAC2011, pp.691-698. [7] Muhammad Ilyas , Josef Kung: A Similarity Mea- surement Framework for Requirements Engineer- ing, ICCGI2009, pp.31-34. [8] 中村祐貴, 本田耕三, 中川博之, 田原康之, 大須 賀昭彦: ゴールモデルの構造に基づいた共通ゴー ル判別手法の提案, ソフトウェア工学の基礎 XIX FOSE2012, pp.63-68. [9] M. Berry, K Daudjee, J Dong, I Fainchtein, A Nelson, T Nelson, L Ou: User ’s Manual as a Re- quirements Specification: Case Studies, Require- ments Engineering9.1 2004, pp.67-82 6