2020 Fiscal Year Research-status Report
拡張状態遷移モデルから生成されるVDM仕様に基づく体系的テストケース設計手法
| Project/Area Number |
17K00103
|
|---|
| Research Institution | Kagawa University |
|---|
Principal Investigator |
高木 智彦 香川大学, 創造工学部, 准教授 (70509124)
|
|---|
| Project Period (FY) |
2017-04-01 – 2022-03-31
|
| Keywords | ソフトウェア工学 |
|---|
| Outline of Annual Research Achievements |
主な成果は、以下の5つである。
（１） 拡張状態遷移モデルの一種であるEPN（Extended Place/transition Net）をさらに拡張したEPNAT（EPN with Attributed Tokens）を提案した。EPNATを用いれば、複数のサブシステムから構成されるシステムの振る舞い仕様を、よりコンパクトに表現することができる。EPNATの表記法や仕様の構築手順、VDM仕様への変換法について明らかにし、さらに支援ツールを試作した。（２） EPNATで記述された仕様のレビューを支援するために、対話形式で仕様を動作させてその結果を可視化する手法を提案した。そして、レビューの過程をテストケースとして記録し、仕様が更新された際の回帰テストに使用する手法を提案した。さらに、支援ツールを試作して予備実験を行った。提案手法によって仕様の品質の向上が期待できる。（３） EPNで仕様を記述できるようになるには、一定の訓練が必要である。そこで、その訓練を支援する手法と試作ツールを開発した。提案手法では、訓練者は、与えられたEPNの部品を用いて、要求を満たす仕様の構築を試みる。構築中の仕様については、VDM仕様や動作可視化によって訓練者にフィードバックされるので、理解を促すことができると考えられる。（４） 拡張状態遷移モデルの一種であるEFSM（Extended Finite State Machine）による仕様を効果的に構築するためのテストファーストを提案した。EFSMによる仕様とそのVDM仕様、テストケースの表記について整理したうえで、テストファーストの手順やテストケースの評価手法を構築した。さらに、支援ツールを試作した。（５） EPNATやEFSMによる仕様から生成されたVDM仕様に基づいて、最適化されたテストケースを生成する手法について検討した。
|
| Current Status of Research Progress |
Current Status of Research Progress
2: Research has progressed on the whole more than it was originally planned.
Reason
EPNATによる仕様の記述法や、レビュー支援・回帰テスト支援手法、EPNによる仕様記述の訓練手法、EFSMによる仕様のテストファーストなどを開発し、その成果を国際会議や国際論文誌で発表することができたため。
|
| Strategy for Future Research Activity |
EPNATやEFSMなどによる仕様からVDM仕様を生成する手法や、テスト充分性を評価するための基準を整理する。そして、その基準を満たすテストケースを生成するためのアルゴリズムおよび試作ツールを開発し、有効性を評価する。
|
| Causes of Carryover |
学会がオンラインでの開催となり旅費が不要だったこと、学会参加費が例年より低い金額だったこと、研究成果の一部を次年度に発表することにしたことなどの理由により、次年度使用額が生じた。次年度においては、研究成果を発表するための学会参加費や論文掲載料などに使用する予定である。
|
