プロダクトライン開発における組込み機器のテスト設計・実行の自動化 ――仕様書の論理記述変換によるテストケース自動生成とモデル検査技術を用いたテストケース自動実行環境の構築――

• 資料種別: 博士論文
• タイトル: プロダクトライン開発における組込み機器のテスト設計・実行の自動化 ――仕様書の論理記述変換によるテストケース自動生成とモデル検査技術を用いたテストケース自動実行環境の構築――
• 著者・編者: 青山, 裕介
• 著者標目: 青山, 裕介
• 出版年月日等: 2020-03-25
• 出版年（W3CDTF）: 2020-03-25
• 並列タイトル等: 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
• 寄与者: 久代, 紀之
• 授与機関名: 九州工業大学
• 授与年月日: 2020-03-25
• 授与年月日（W3CDTF）: 2020-03-25
• 報告番号: 甲第349号
• 学位: 博士（情報工学）
• 博論授与番号: 甲情工第349号
• 本文の言語コード: jpn
• 件名標目: テストケース設計プロセス; テストケース自動生成; 自然言語処理; テスト実行環境; モデル検査
• 対象利用者: 一般
• 一般注記: 九州工業大学博士学位論文 学位記番号: 情工博甲第349号 学位授与年月日:令和2年3月25日; 令和元年度
• DOI: 10.18997/00007775; https://doi.org/10.18997/00007775
• 国立国会図書館永続的識別子: info:ndljp/pid/11511613; https://dl.ndl.go.jp/pid/11511613
• コレクション（共通）: 障害者向け資料
• コレクション（障害者向け資料：レベル1）: テキストデータ
• コレクション（個別）: 国立国会図書館デジタルコレクション > デジタル化資料 > 博士論文; https://dl.ndl.go.jp/collections/A00014
• 収集根拠: 博士論文（自動収集）
• 受理日（W3CDTF）: 2020-07-06T20:31:19+09:00
• 作成日（W3CDTF）: 2020-06-02
• 記録形式（IMT）: application/pdf
• オンライン閲覧公開範囲: 国立国会図書館内限定公開
• デジタル化資料送信: 図書館・個人送信対象外
• 遠隔複写可否（NDL）: 可
• 掲載誌（URI）: https://doi.org/10.18997/00007775; http://hdl.handle.net/10228/00007775
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館デジタルコレクション; https://dl.ndl.go.jp

目次

2023-08-05 再収集

2023-10-11 再収集