@article{oai:miyazaki-u.repo.nii.ac.jp:00005884,
 author = {平木場, 風太 and Katayama, Tetsuro and 片山, 徹郎 and Hirakoba, Futa},
 journal = {宮崎大学工学部紀要, Memoirs of Faculty of Engineering, University of Miyazaki},
 month = {Jul},
 note = {In recent years, specifications using specification language become more important. It is necessary to test the developed software, but it takes much time and effort to design test cases manually. So, we developed BWDM(Boundary Value Vienna Develop Method). BWDM is a test case generation tool for the VDM++ specification. However, the existing BWDM could cause a combinatorial explosion of the generated test cases. There is a pairwise testing as an effective testing method to reduce the total number of the combinations because the pairwise testing only generates test cases which satisfy combinations of two pairs. We apply the pairwise testing into BWDM. In applying the pairwise testing, we use PICT (Pairwise Independent Combinatorial Testing Tool) developed by Microsoft Corporation. However, BWDM cannot call PICT library directly. Hence, we have developed PICT-wrapper. It is an interface to connect PICT and BWDM. We extend BWDM in that PICT-wrapper is embedded. The extended BWDM eliminate the possibility of the combinatorial explosion.},
 pages = {143--148},
 title = {VDM++ 仕様を対象としたテストケース自動生成ツールBWDM へのPICT の適用},
 volume = {48},
 year = {2019},
 yomi = {ヒラコバ, フウタ and カタヤマ, テツロウ}
}