2014 Fiscal Year Research-status Report
ペトリネットを用いたモデルベースドミューテーションテスト法の開発と評価
| Project/Area Number |
26730038
|
|---|
| Research Institution | Kagawa University |
|---|
Principal Investigator |
高木 智彦 香川大学, 工学部, 講師 (70509124)
|
|---|
| Project Period (FY) |
2014-04-01 – 2017-03-31
|
| Keywords | ソフトウェアテスト |
|---|
| Outline of Annual Research Achievements |
並行ソフトウェア（複数のコンポーネントが相互作用を行いながら並行動作するソフトウェア）は、その複雑な振舞いを把握することが困難であると同時に、テストするべき状態空間が広大であることから、開発工程において信頼性を効果的に確保するためのテスト技術の確立が必要とされている。そこで本研究では、状態空間全体を網羅するのではなく、想定される故障（潜在する可能性の高い故障や、発生すると深刻な被害につながる故障など）に関係する状態のみに着目してテストケースを生成する手法を検討している。本手法ではまず、並行ソフトウェアの期待される振舞いを、ペトリネットの一種であるプレース／トランジションネットによって定義し、これに想定される故障を顕在化させる欠陥を挿入する。欠陥を挿入したプレース／トランジションネットをミュータントモデルというが、これを遺伝的アルゴリズムを応用したアルゴリズムによって生成する方法を検討した。さらに、ミュータントモデルに基づいて、想定される故障を顕在化させるためのテストケース生成方法について検討した。本手法はフレームワーク（ツール群）によって自動化される必要があるが、このフレームワークの主要な構成要素として、ミュータント生成器とテストケース生成器を位置づけ、実装を行うための具体化を行うことができた。また、成果の一部をまとめて国内の研究集会において発表したり、国際会議の原稿を執筆したりすることができた。
|
| Current Status of Research Progress |
Current Status of Research Progress
2: Research has progressed on the whole more than it was originally planned.
Reason
プレース／トランジションネットに基づく手法を具体化するとともに、その手法を実現するためのフレームワークについて検討し、ツールとして実装を開始できる段階に到達したため。
|
| Strategy for Future Research Activity |
平成26年度に具体化した手法をツールとして実装し、例題に対して試験適用することによって有効性の評価を行いつつ、問題点の改善を行う。
|
| Causes of Carryover |
得られた成果の一部は次年度に発表を行う予定としたため、その分の学会参加費や旅費などについて次年度使用額が生じた。
|
| Expenditure Plan for Carryover Budget |
得られた成果について発表を行うため、学会参加費や旅費、論文掲載料などとして使用する。
|
Research Products
(1 results)
