首页    期刊浏览 2024年11月25日 星期一
登录注册

文章基本信息

  • 标题:Daikon生成表明改善のためのテストケース自動生成手法とその評価実験
  • 本地全文:下载
  • 作者:宮本 敬三 ; 堀 直哉 ; 岡野 浩三
  • 期刊名称:コンピュータ ソフトウェア
  • 印刷版ISSN:0289-6540
  • 出版年度:2011
  • 卷号:28
  • 期号:4
  • 页码:4_306-4_317
  • DOI:10.11309/jssst.28.4_306
  • 出版社:Japan Society for Software Science and Technology
  • 摘要:

    プログラム中に表明を記述することで,プログラムの保守性,信頼性を高めることができる.そのため,表明の自動生成手法が注目されている.表明の自動生成手法の1つに動的生成手法がある.動的生成手法は比較的少ないコストで表明を生成できる.しかし表明の妥当性がテストケースに依存するという問題がある.そこで著者らは,表明の妥当性向上のためにインバリアントカバレッジとモデル検査の技術を用いたテストケース自動生成手法を提案している.本論文では,提案手法および評価実験について報告する.提案手法を実装したツールは対象Javaプログラムに対しテストケース依存問題を改善したテストケースを自動生成する.評価実験の結果,生成されたテストケースによる表明の妥当性向上を確認した.

国家哲学社会科学文献中心版权所有