WEKO3
アイテム
VDM++ 仕様を対象としたテストケース自動生成ツールBWDM へのPICT の適用
http://hdl.handle.net/10458/6717
http://hdl.handle.net/10458/6717384e5386-40f9-4bf8-a390-4d406f08be5c
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
本文 (1.6 MB)
|
|
| Item type | 紀要論文 / Departmental Bulletin Paper(1) | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2020-06-21 | |||||||||||
| タイトル | ||||||||||||
| タイトル | VDM++ 仕様を対象としたテストケース自動生成ツールBWDM へのPICT の適用 | |||||||||||
| 言語 | ja | |||||||||||
| タイトル | ||||||||||||
| タイトル | Application of PICT into BWDM which is a Test Case Generation Tool for the VDM++ Specification | |||||||||||
| 言語 | en | |||||||||||
| 言語 | ||||||||||||
| 言語 | eng | |||||||||||
| キーワード | ||||||||||||
| 言語 | en | |||||||||||
| 主題Scheme | Other | |||||||||||
| 主題 | software testing, boundary value analysis, pairwise testing, PICT, VDM++ | |||||||||||
| 資源タイプ | ||||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||||||
| 資源タイプ | departmental bulletin paper | |||||||||||
| その他（別言語等）のタイトル | ||||||||||||
| その他のタイトル | VDM++ シヨウ オ タイショウ トシ タ テスト ケース ジドウセイセイ ツールBWDM ヘ ノPICT ノ テキヨウ | |||||||||||
| 言語 | ja-Kana | |||||||||||
| 著者 |
平木場, 風太
× 平木場, 風太× 片山, 徹郎
WEKO
6484
× Hirakoba, Futa |
|||||||||||
| 抄録 | ||||||||||||
| 内容記述タイプ | Abstract | |||||||||||
| 内容記述 | 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. | |||||||||||
| 言語 | en | |||||||||||
| 書誌情報 |
ja : 宮崎大学工学部紀要 en : Memoirs of Faculty of Engineering, University of Miyazaki 巻 48, p. 143-148, 発行日 2019-07 |
|||||||||||
| 出版者 | ||||||||||||
| 出版者 | 宮崎大学工学部 | |||||||||||
| 言語 | ja | |||||||||||
| 出版者 | ||||||||||||
| 出版者 | Faculty of Engineering, University of Miyazaki | |||||||||||
| 言語 | en | |||||||||||
| ISSN | ||||||||||||
| 収録物識別子タイプ | ISSN | |||||||||||
| 収録物識別子 | 05404924 | |||||||||||
| 書誌レコードID | ||||||||||||
| 収録物識別子タイプ | NCID | |||||||||||
| 収録物識別子 | AA00732558 | |||||||||||
| 著者版フラグ | ||||||||||||
| 出版タイプ | VoR | |||||||||||
| 出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||||||||
