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

IPSJ

Bibliographic Information

Other Title
  • Application of Domain Analysis Testing into BWDM which is a Test Case Generation Tool for the VDM++ Specification

Description

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

Journal

Keywords

Details 詳細情報について

  • CRID
    1050292572094432640
  • NII Article ID
    170000150608
  • Web Site
    http://id.nii.ac.jp/1001/00198862/
  • Text Lang
    ja
  • Article Type
    conference paper
  • Data Source
    • IRDB
    • CiNii Articles

Report a problem

Back to top