WEKO3
アイテム
Extending BWDM to Support Various Types and Recursive Definitions in VDM++ Test Case Generation
http://hdl.handle.net/10458/0002001845
http://hdl.handle.net/10458/00020018455b9b2493-646c-4de4-979c-e69900540a51
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
fulltext (789 KB)
|
.png)
|
| アイテムタイプ | 学術雑誌論文 / Journal Article(1) | |||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2025-10-20 | |||||||||||||||||||||||||||||||||
| タイトル | ||||||||||||||||||||||||||||||||||
| タイトル | Extending BWDM to Support Various Types and Recursive Definitions in VDM++ Test Case Generation | |||||||||||||||||||||||||||||||||
| 言語 | en | |||||||||||||||||||||||||||||||||
| 言語 | ||||||||||||||||||||||||||||||||||
| 言語 | eng | |||||||||||||||||||||||||||||||||
| キーワード | ||||||||||||||||||||||||||||||||||
| 言語 | en | |||||||||||||||||||||||||||||||||
| キーワード | Software testing | |||||||||||||||||||||||||||||||||
| キーワード | ||||||||||||||||||||||||||||||||||
| 言語 | en | |||||||||||||||||||||||||||||||||
| キーワード | Formal methods | |||||||||||||||||||||||||||||||||
| キーワード | ||||||||||||||||||||||||||||||||||
| 言語 | en | |||||||||||||||||||||||||||||||||
| キーワード | VDM++ | |||||||||||||||||||||||||||||||||
| キーワード | ||||||||||||||||||||||||||||||||||
| 言語 | en | |||||||||||||||||||||||||||||||||
| キーワード | Automatic generation | |||||||||||||||||||||||||||||||||
| キーワード | ||||||||||||||||||||||||||||||||||
| 言語 | en | |||||||||||||||||||||||||||||||||
| キーワード | Test cases | |||||||||||||||||||||||||||||||||
| 資源タイプ | ||||||||||||||||||||||||||||||||||
| 資源タイプ | journal article | |||||||||||||||||||||||||||||||||
| アクセス権 | ||||||||||||||||||||||||||||||||||
| アクセス権 | open access | |||||||||||||||||||||||||||||||||
| 著者 |
Takakura, Shota
× Takakura, Shota
× 片山, 徹郎
WEKO
6484
× Kita, Yoshihiro
× 山場, 久昭
WEKO
14888
× 油田, 健太郎
WEKO
11847
× 岡崎, 直宣
WEKO
11839
|
|||||||||||||||||||||||||||||||||
| 抄録 | ||||||||||||||||||||||||||||||||||
| 内容記述タイプ | Abstract | |||||||||||||||||||||||||||||||||
| 内容記述 | Generating test cases from VDM++ formal specifications, which help to eliminate ambiguities, is both time-consuming and labor-intensive. To solve this problem, our laboratory has developed BWDM, a tool for automatic test case generation from VDM++ specifi | |||||||||||||||||||||||||||||||||
| 言語 | en | |||||||||||||||||||||||||||||||||
| 書誌情報 |
en : Journal of Advances in Artificial Life Robotics 巻 4, 号 3, p. 167-171, 発行日 2025 |
|||||||||||||||||||||||||||||||||
| 出版者 | ||||||||||||||||||||||||||||||||||
| 出版者 | ALife Robotics | |||||||||||||||||||||||||||||||||
| 言語 | en | |||||||||||||||||||||||||||||||||
| ISSN | ||||||||||||||||||||||||||||||||||
| 収録物識別子タイプ | EISSN | |||||||||||||||||||||||||||||||||
| 収録物識別子 | 24358061 | |||||||||||||||||||||||||||||||||
| DOI | ||||||||||||||||||||||||||||||||||
| 関連タイプ | isVersionOf | |||||||||||||||||||||||||||||||||
| 識別子タイプ | DOI | |||||||||||||||||||||||||||||||||
| 関連識別子 | https://doi.org/10.57417/jaalr.4.3_167 | |||||||||||||||||||||||||||||||||
| 著者版フラグ | ||||||||||||||||||||||||||||||||||
| 出版タイプ | VoR | |||||||||||||||||||||||||||||||||
