研究課題
基盤研究(C)
本研究では、平成18年から19年までの二年間に渡って、ソフトウェアの形式仕様に基づくプログラムテストの理論、方法及び支援ツールについての研究を行い、いくつかの新たな成果を取得した。第一、事前条件と事後条件で表した操作の形式仕様は、「機能シナリオ式」(functional scenario form)へ変換されられるなら、その仕様によって適切なテストケースを生成することができるという観点を確立した。第二、テストケースの生成を活かして、形式仕様のバグを発見する検査方法を確立した。第三、操作仕様の機能シナリオ式によって具体的なテストケースの生成方法を開発した。一つの機能シナリオのguard条件を満たすテストケースを生成すれば、そのシナリオを実装したプログラムパスが存在しているかどうかを確認することができる。また、ソフトウェアレビュー技術をテストケースの生成とテスト結果の分析のために利用される技術も開発した。第四、仕様とプログラムパスとともに基づく効率なテスト方法を提案した。この方法では、入力値の関係によってテストケースを自動的に生成し、生成されたテストケースから仕様を満たすテストケースが選ばれ、そのテストケースでプログラムをテストする。第五、形式仕様とプログラムソースコードと共に把握できない場合は、そのプログラムをどのようにテストするのかという問題点が解決された。その解決方法としては、プログラムのインタフェースシナリオを簡単なテストケースで発見し、そのシナリオによって形式仕様を作成する。作成された仕様によってテストケースを生成する方法である。第六、形式仕様記述言語SOFL(Structured Object-Oriented Formal Language)で書いた仕様に基づくJavaプログラムをテストする方法の支援ツールを開発した。
すべて 2008 2007 2006 その他
すべて 雑誌論文 (6件) (うち査読あり 3件) 学会発表 (18件) 備考 (1件)
International Journal of Software Engineering and Knowledge Engineering(IJSEKE) Vol.18,No.8(to appear)
Journal of Systems and Software Vol.81,No.2
ページ: 234-248
International Journal of Software Engineering and Knowledge Eegineering(IJSEKE) Vol.18, No.8(to appear)
Journal of Systems and Software Vol.81, No.2
Journal of Systems and Software Vol.80,No.8
ページ: 1271-1285
Journal of Systems and Software Vol.80, No.8
http://cis.k.hosei.ac.jp/~sliu/
