WEKO3
アイテム
VDM++ 仕様を対象としたテストケース自動生成ツール BWDM における適用範囲の拡大のための機能拡張
http://hdl.handle.net/10458/0002000020
http://hdl.handle.net/10458/00020000205542c53b-7d84-47d9-9d91-baff713e5193
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
本文
|
|
| Item type | 紀要論文 / Departmental Bulletin Paper(1) | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2022-12-07 | |||||||||||
| タイトル | ||||||||||||
| タイトル | VDM++ 仕様を対象としたテストケース自動生成ツール BWDM における適用範囲の拡大のための機能拡張 | |||||||||||
| 言語 | ja | |||||||||||
| タイトル | ||||||||||||
| タイトル | Extension to Expand the Scope of Application of BWDM to Generate Test Cases from VDM++ Specifications | |||||||||||
| 言語 | en | |||||||||||
| 言語 | ||||||||||||
| 言語 | jpn | |||||||||||
| キーワード | ||||||||||||
| 言語 | en | |||||||||||
| 主題Scheme | Other | |||||||||||
| 主題 | software testing | |||||||||||
| キーワード | ||||||||||||
| 言語 | en | |||||||||||
| 主題Scheme | Other | |||||||||||
| 主題 | formal methods | |||||||||||
| キーワード | ||||||||||||
| 言語 | en | |||||||||||
| 主題Scheme | Other | |||||||||||
| 主題 | test cases | |||||||||||
| キーワード | ||||||||||||
| 言語 | en | |||||||||||
| 主題Scheme | Other | |||||||||||
| 主題 | VDM++ | |||||||||||
| キーワード | ||||||||||||
| 言語 | en | |||||||||||
| 主題Scheme | Other | |||||||||||
| 主題 | automatic generation | |||||||||||
| 資源タイプ | ||||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||||||
| 資源タイプ | departmental bulletin paper | |||||||||||
| 著者 |
武藤, 崇史
× 武藤, 崇史
× 片山, 徹郎 |
|||||||||||
| 抄録 | ||||||||||||
| 内容記述タイプ | Abstract | |||||||||||
| 内容記述 | One of the methods to eliminate the ambiguity of specifications in software design is to use formal methods. One of the formal specification description languages is VDM++. Software testing is necessary in using formal methods, but generating test cases manually is time-consuming and labor-intensive. Therefore, we developed BWDM, which is an automatic test case generation tool for VDM++ specifications, in our laboratory. However, the existing BWDM does not support type definition blocks and conditional expressions for invariant conditions, pre-conditions, and postconditions. Moreover, it cannot generate test cases for operation definitions that manipulate a state of objects. Therefore, to improve the usefulness of BWDM, this research extends BWDM to solve the above three problems. Consequently, it is confirmed that the extended BWDM can save about 17 minutes in generating test cases compared to test cases generation by hand | |||||||||||
| 言語 | en | |||||||||||
| 書誌情報 |
ja : 宮崎大学工学部紀要 en : Memoirs of Faculty of Engineering, University of Miyazaki 巻 51, p. 141-146, 発行日 2022-11-30 |
|||||||||||
| 出版者 | ||||||||||||
| 出版者 | 宮崎大学工学部 | |||||||||||
| 言語 | ja | |||||||||||
| 出版者 | ||||||||||||
| 出版者 | Faculty of Engineering, University of Miyazaki | |||||||||||
| 言語 | en | |||||||||||
| ISSN | ||||||||||||
| 収録物識別子タイプ | ISSN | |||||||||||
| 収録物識別子 | 05404924 | |||||||||||
| 書誌レコードID | ||||||||||||
| 収録物識別子タイプ | NCID | |||||||||||
| 収録物識別子 | AA00732558 | |||||||||||
| 関連サイト | ||||||||||||
| 識別子タイプ | URI | |||||||||||
| 関連識別子 | https://www.miyazaki-.ac.jp/tech/research/memoirs/ | |||||||||||
| 関連名称 | 宮崎大学工学部 | |||||||||||
| 著者版フラグ | ||||||||||||
| 出版タイプ | VoR | |||||||||||
| 出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||||||||
