VDM++仕様を対象としたテストケース自動生成ツールBWDMへのドメイン分析テストの適用

情報処理学会

書誌事項

タイトル別名
  • Application of Domain Analysis Testing into BWDM which is a Test Case Generation Tool for the VDM++ Specification

抄録

形式手法を用いたソフトウェア開発は，仕様の曖昧さを防ぐ．我々は以前に，形式手法 VDM を用いたソフトウェア開発におけるテスト工程の効率化を目的として，テストケース自動生成ツール BWDM を試作した．既存の BWDM の問題点として，複数の変数を含む条件式を持つ仕様に対してテストケース生成ができないという点が挙げられる．本稿では，この問題点を解決するために，ドメイン分析テストのためのテストケース生成手法を提案し，BWDM に適用する拡張を行う．拡張した BWDM に，複数の変数を含む条件式を持つ VDM++仕様を適用した結果，ドメイン分析テストのためのテストケースの生成が可能なことを確認した．このことから，拡張した BWDM は，既存のテストケース生成処理の問題点を解決できたため，BWDM の有用性が向上したと言える．また，VDM++ 仕様からドメイン分析テストのためのテストケースを自動生成することが可能となったため，テストケース生成効率が向上したと言える．

収録刊行物

キーワード

詳細情報 詳細情報について

  • CRID
    1050292572094432640
  • NII論文ID
    170000150608
  • Web Site
    http://id.nii.ac.jp/1001/00198862/
  • 本文言語コード
    ja
  • 資料種別
    conference paper
  • データソース種別
    • IRDB
    • CiNii Articles

問題の指摘

ページトップへ