2014 Fiscal Year Research-status Report
| Project/Area Number |
26330086
|
|---|
| Research Institution | Nara Institute of Science and Technology |
|---|
Principal Investigator |
門田 暁人 奈良先端科学技術大学院大学, 情報科学研究科, 准教授 (80311786)
|
|---|
| Project Period (FY) |
2014-04-01 – 2017-03-31
|
| Keywords | ソフトウェア工学 / ソフトウェア品質保証 / ソフトウェアテスト / ソフトウェアバグ予測 / シミュレーション |
|---|
| Outline of Annual Research Achievements |
バグ予測に基づく最適なテストケース数の配分を決定するための問題の定式化を行い，その解法を明らかにした．本問題の入力は，総テストケース数，各モジュールの特徴量（規模，条件分岐数，サイクロマティック数など），バグ予測結果（各モジュールの潜在バグ数の予測値）であり，各モジュールの期待バグ発見数の和を最大化することが目的関数となる．
モジュールの集合M={m_1,..., m_n}，総テストケース数t_totalとすると，本問題は，「maximize f(t_1, ..., t_n}=ΣH_i(t_i) subject to Σt_i=t_total」として定式化される．ここで，t_iは，モジュールm_iに割り当てられたテストケース数，H_i(t_i)はモジュールm_iの発見バグ数の期待値，f(t_1,..., t_n}はMの総発見バグ数の期待値である．
本定式化にあたって，テストケース数と発見バグ数との関係を表すモデル式H_i(t_i)が必要となる．本研究では，指数型SRGM(Software Reliability Growth Model)にモジュール規模（またはサイクロマティック数）をパラメータに加えたモデル式を採用した．このモデル式は単調増加かつ凹関数（上に凸）であるため，本問題は，分離凸資源配分問題として解くことが可能である．小規模なデータセットを用いて，greedy法により最適解が得られることを確認した．
|
| Current Status of Research Progress |
Current Status of Research Progress
2: Research has progressed on the whole more than it was originally planned.
Reason
平成２６年度の研究実施計画では，（１）コードカバレッジを考慮したテストシミュレーションモデルの構築，および，（２）資源配分問題としての定式化とその求解アルゴリズムの開発を予定していた．（１）については，コードカバレッジを考慮したモデルとして，サイクロマティック数をパラメータに持つモデル化を行った．また，（２）についても，資源配分問題としての定式化を行うことができ，本問題は，分離凸資源配分問題として解くことが可能であること，および，実際にgreedy法により最適解が得られることを確認した．
以上のことから，研究実施計画に従っておおむね順調に進展していると考える．
|
| Strategy for Future Research Activity |
平成２７年度以降は，平成２６年度に開発したシミュレーションモデルと資源配分問題の解法を多数のプロジェクトデータに適用し，（１）バグ予測誤差を含むことを前提としたテスト戦略の組み合わせ方法の確立，および，（２）バグ予測が有効となるコンテキストの解明を予定している．
|
Research Products
(3 results)
