WEKO3
アイテム
テストケース自動生成ツールBWDM の現状と課題
http://hdl.handle.net/10458/6091
http://hdl.handle.net/10458/60913656d6f5-552a-4a68-a803-699a12af54a4
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
本文 (1.4 MB)
|
|
| Item type | 紀要論文 / Departmental Bulletin Paper(1) | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2020-06-21 | |||||||||||
| タイトル | ||||||||||||
| タイトル | テストケース自動生成ツールBWDM の現状と課題 | |||||||||||
| 言語 | ja | |||||||||||
| タイトル | ||||||||||||
| タイトル | Current Status and Issues of Test Cases Automatic Generation Tool BWDM | |||||||||||
| 言語 | en | |||||||||||
| 言語 | ||||||||||||
| 言語 | jpn | |||||||||||
| キーワード | ||||||||||||
| 言語 | en | |||||||||||
| 主題Scheme | Other | |||||||||||
| 主題 | Software Testing, Boundary Value Analysis, Formal Methods, VDM++ | |||||||||||
| 資源タイプ | ||||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||||||
| 資源タイプ | departmental bulletin paper | |||||||||||
| その他（別言語等）のタイトル | ||||||||||||
| その他のタイトル | テスト ケース ジドウ セイセイ ツールBWDM ノ ゲンジョウ ト カダイ | |||||||||||
| 著者 |
立山, 博基
× 立山, 博基× 片山, 徹郎
WEKO
6484
× Tachiyama, Hiroki |
|||||||||||
| 抄録 | ||||||||||||
| 内容記述タイプ | Abstract | |||||||||||
| 内容記述 | For software development using Formal Methods, we have developed a prototype of the boundary value test case automatic generation tool BWDM. The main two topics of our tool are (1) automatically generation of test cases and (2) boundary value analysis. Our tool improves the efficiency of software testing process in using VDM++ that is one of the Formal Methods. In this research, we show the structure of our tool, implemented functions, application example, evaluation of the usefulness, relative research, and future issues. | |||||||||||
| 言語 | en | |||||||||||
| 書誌情報 |
ja : 宮崎大学工学部紀要 en : Memoirs of Faculty of Engineering, University of Miyazaki 巻 46, p. 269-273, 発行日 2017-07-31 |
|||||||||||
| 出版者 | ||||||||||||
| 出版者 | 宮崎大学工学部 | |||||||||||
| 言語 | ja | |||||||||||
| 出版者 | ||||||||||||
| 出版者 | Faculty of Engineering, University of Miyazaki | |||||||||||
| 言語 | en | |||||||||||
| ISSN | ||||||||||||
| 収録物識別子タイプ | ISSN | |||||||||||
| 収録物識別子 | 05404924 | |||||||||||
| 書誌レコードID | ||||||||||||
| 収録物識別子タイプ | NCID | |||||||||||
| 収録物識別子 | AA00732558 | |||||||||||
| 著者版フラグ | ||||||||||||
| 出版タイプ | VoR | |||||||||||
| 出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||||||||
