WEKO3
アイテム
プロダクトライン開発における組込み機器のテスト設計・実行の自動化 ――仕様書の論理記述変換によるテストケース自動生成とモデル検査技術を用いたテストケース自動実行環境の構築――
https://doi.org/10.18997/00007775
https://doi.org/10.18997/00007775583591c9-f790-4bdb-9e5b-3a2145e9320b
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
jou_k_349.pdf (4.3 MB)
|
|
| アイテムタイプ | 学位論文 = Thesis or Dissertation(1) | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2020-06-02 | |||||||||
| 資源タイプ | ||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_db06 | |||||||||
| 資源タイプ | doctoral thesis | |||||||||
| タイトル | ||||||||||
| タイトル | プロダクトライン開発における組込み機器のテスト設計・実行の自動化 ――仕様書の論理記述変換によるテストケース自動生成とモデル検査技術を用いたテストケース自動実行環境の構築―― | |||||||||
| 言語 | ja | |||||||||
| タイトル | ||||||||||
| タイトル | Automation of Test Design and Test Execution for Embedded Devices in Product Line Engineering: Automatic Test Case Generation from Logical Specifications Converted from Natural Language Specifications and Automatic Test Execution Environment with a Model Checker | |||||||||
| 言語 | en | |||||||||
| 言語 | ||||||||||
| 言語 | jpn | |||||||||
| 著者 |
青山, 裕介
× 青山, 裕介
|
|||||||||
| 目次 | ||||||||||
| 内容記述タイプ | TableOfContents | |||||||||
| 内容記述 | 第1章 序論||第2章 プロダクトライン開発を用いた組込み機器の既存テスト技術||第3章 テストケース設計プロセスの再定義と支援ツール||第4章 モデル検査技術と実行テストを融合したテストケース実行環境||第5章 機能・シナリオを衝突させたテストケースの設計支援||第6章 結論と今後の課題 | |||||||||
| 備考 | ||||||||||
| 内容記述タイプ | Other | |||||||||
| 内容記述 | 九州工業大学博士学位論文 学位記番号: 情工博甲第349号 学位授与年月日:令和2年3月25日 | |||||||||
| キーワード | ||||||||||
| 主題Scheme | Other | |||||||||
| 主題 | テストケース設計プロセス | |||||||||
| キーワード | ||||||||||
| 主題Scheme | Other | |||||||||
| 主題 | テストケース自動生成 | |||||||||
| キーワード | ||||||||||
| 主題Scheme | Other | |||||||||
| 主題 | 自然言語処理 | |||||||||
| キーワード | ||||||||||
| 主題Scheme | Other | |||||||||
| 主題 | テスト実行環境 | |||||||||
| キーワード | ||||||||||
| 主題Scheme | Other | |||||||||
| 主題 | モデル検査 | |||||||||
| アドバイザー | ||||||||||
| 久代, 紀之 | ||||||||||
| 学位授与番号 | ||||||||||
| 学位授与番号 | 甲第349号 | |||||||||
| 学位名 | ||||||||||
| 学位名 | 博士（情報工学） | |||||||||
| 学位授与年月日 | ||||||||||
| 学位授与年月日 | 2020-03-25 | |||||||||
| 学位授与機関 | ||||||||||
| 学位授与機関識別子Scheme | kakenhi | |||||||||
| 学位授与機関識別子 | 17104 | |||||||||
| 学位授与機関名 | 九州工業大学 | |||||||||
| 学位授与年度 | ||||||||||
| 内容記述タイプ | Other | |||||||||
| 内容記述 | 令和元年度 | |||||||||
| 出版タイプ | ||||||||||
| 出版タイプ | VoR | |||||||||
| 出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||||||
| アクセス権 | ||||||||||
| アクセス権 | open access | |||||||||
| アクセス権URI | http://purl.org/coar/access_right/c_abf2 | |||||||||
| ID登録 | ||||||||||
| ID登録 | 10.18997/00007775 | |||||||||
| ID登録タイプ | JaLC | |||||||||
