WEKO3
アイテム
振動法を用いたSOFL形式仕様に基づくテストケース自動生成支援ツールの開発
https://ipsj.ixsq.nii.ac.jp/records/209685
https://ipsj.ixsq.nii.ac.jp/records/2096850c9a7b40-2dd9-45d1-84cd-3b684891f2c7
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-SE21207028.pdf (1.4 MB)
|
Copyright (c) 2021 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | SIG Technical Reports(1) | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2021-02-22 | |||||||||
| タイトル | ||||||||||
| タイトル | 振動法を用いたSOFL形式仕様に基づくテストケース自動生成支援ツールの開発 | |||||||||
| タイトル | ||||||||||
| 言語 | en | |||||||||
| タイトル | Development of a Software Tool to Support the Vibration Method for Automatic Test Case Generation from SOFL Formal Specifications | |||||||||
| 言語 | ||||||||||
| 言語 | jpn | |||||||||
| キーワード | ||||||||||
| 主題Scheme | Other | |||||||||
| 主題 | テストケース自動生成とバグ予測 | |||||||||
| 資源タイプ | ||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||||
| 資源タイプ | technical report | |||||||||
| 著者所属 | ||||||||||
| 広島大学 | ||||||||||
| 著者所属 | ||||||||||
| 広島大学 | ||||||||||
| 著者所属(英) | ||||||||||
| en | ||||||||||
| Hiroshima University | ||||||||||
| 著者所属(英) | ||||||||||
| en | ||||||||||
| Hiroshima University | ||||||||||
| 著者名 |
佐伯, 賢弥
× 佐伯, 賢弥
× 劉, 少英
|
|||||||||
| 論文抄録 | ||||||||||
| 内容記述タイプ | Other | |||||||||
| 内容記述 | 振動法と呼ばれる形式仕様に基づくテストケース生成技術が近年提案されていたが，振動法を支援するツールが無いため，実際のソフトウェア開発の現場で振動法を応用することは難しい．本研究では，振動法の支援ツールの設計と実装を行った．本ツールでは，プログラムのテストケース生成だけではなく，定理証明を自動的に行うことが可能である． | |||||||||
| 書誌レコードID | ||||||||||
| 収録物識別子タイプ | NCID | |||||||||
| 収録物識別子 | AN10112981 | |||||||||
| 書誌情報 |
研究報告ソフトウェア工学（SE） 巻 2021-SE-207, 号 28, p. 1-8, 発行日 2021-02-22 |
|||||||||
| ISSN | ||||||||||
| 収録物識別子タイプ | ISSN | |||||||||
| 収録物識別子 | 2188-8825 | |||||||||
| Notice | ||||||||||
| SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||||
| 出版者 | ||||||||||
| 言語 | ja | |||||||||
| 出版者 | 情報処理学会 | |||||||||
