{"created":"2023-05-15T11:59:55.839008+00:00","id":6567,"links":{},"metadata":{"_buckets":{"deposit":"72a01dc8-74c8-4947-b2b4-e038ffacdd76"},"_deposit":{"created_by":18,"id":"6567","owners":[18],"pid":{"revision_id":0,"type":"depid","value":"6567"},"status":"published"},"_oai":{"id":"oai:kyutech.repo.nii.ac.jp:00006567","sets":["6:7"]},"author_link":[],"item_20_date_granted_61":{"attribute_name":"学位授与年月日","attribute_value_mlt":[{"subitem_dategranted":"2020-03-25"}]},"item_20_degree_grantor_59":{"attribute_name":"学位授与機関","attribute_value_mlt":[{"subitem_degreegrantor":[{"subitem_degreegrantor_name":"九州工業大学"}],"subitem_degreegrantor_identifier":[{"subitem_degreegrantor_identifier_name":"17104","subitem_degreegrantor_identifier_scheme":"kakenhi"}]}]},"item_20_degree_name_58":{"attribute_name":"学位名","attribute_value_mlt":[{"subitem_degreename":"博士（情報工学）"}]},"item_20_description_30":{"attribute_name":"目次","attribute_value_mlt":[{"subitem_description":"第1章 序論||第2章 プロダクトライン開発を用いた組込み機器の既存テスト技術||第3章 テストケース設計プロセスの再定義と支援ツール||第4章 モデル検査技術と実行テストを融合したテストケース実行環境||第5章 機能・シナリオを衝突させたテストケースの設計支援||第6章 結論と今後の課題","subitem_description_type":"TableOfContents"}]},"item_20_description_5":{"attribute_name":"備考","attribute_value_mlt":[{"subitem_description":"九州工業大学博士学位論文 学位記番号: 情工博甲第349号 学位授与年月日:令和2年3月25日","subitem_description_type":"Other"}]},"item_20_description_60":{"attribute_name":"学位授与年度","attribute_value_mlt":[{"subitem_description":"令和元年度","subitem_description_type":"Other"}]},"item_20_dissertation_number_62":{"attribute_name":"学位授与番号","attribute_value_mlt":[{"subitem_dissertationnumber":"甲第349号"}]},"item_20_identifier_registration":{"attribute_name":"ID登録","attribute_value_mlt":[{"subitem_identifier_reg_text":"10.18997/00007775","subitem_identifier_reg_type":"JaLC"}]},"item_20_select_64":{"attribute_name":"査読の有無","attribute_value_mlt":[{"subitem_select_item":"yes"}]},"item_20_text_34":{"attribute_name":"アドバイザー","attribute_value_mlt":[{"subitem_text_value":"久代, 紀之"}]},"item_20_version_type_63":{"attribute_name":"出版タイプ","attribute_value_mlt":[{"subitem_version_resource":"http://purl.org/coar/version/c_970fb48d4fbd8a85","subitem_version_type":"VoR"}]},"item_access_right":{"attribute_name":"アクセス権","attribute_value_mlt":[{"subitem_access_right":"open access","subitem_access_right_uri":"http://purl.org/coar/access_right/c_abf2"}]},"item_creator":{"attribute_name":"著者","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"青山,  裕介","creatorNameLang":"ja"},{"creatorName":"アオヤマ,  ユウスケ","creatorNameLang":"ja-Kana"}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2020-06-02"}],"displaytype":"detail","filename":"jou_k_349.pdf","filesize":[{"value":"4.3 MB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"jou_k_349.pdf","objectType":"fulltext","url":"https://kyutech.repo.nii.ac.jp/record/6567/files/jou_k_349.pdf"},"version_id":"85104ae6-149d-45f7-b40b-ea9cfe66265b"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"テストケース設計プロセス","subitem_subject_scheme":"Other"},{"subitem_subject":"テストケース自動生成","subitem_subject_scheme":"Other"},{"subitem_subject":"自然言語処理","subitem_subject_scheme":"Other"},{"subitem_subject":"テスト実行環境","subitem_subject_scheme":"Other"},{"subitem_subject":"モデル検査","subitem_subject_scheme":"Other"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourcetype":"doctoral thesis","resourceuri":"http://purl.org/coar/resource_type/c_db06"}]},"item_title":"プロダクトライン開発における組込み機器のテスト設計・実行の自動化 ――仕様書の論理記述変換によるテストケース自動生成とモデル検査技術を用いたテストケース自動実行環境の構築――","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"プロダクトライン開発における組込み機器のテスト設計・実行の自動化 ――仕様書の論理記述変換によるテストケース自動生成とモデル検査技術を用いたテストケース自動実行環境の構築――","subitem_title_language":"ja"},{"subitem_title":"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","subitem_title_language":"en"}]},"item_type_id":"20","owner":"18","path":["7"],"pubdate":{"attribute_name":"PubDate","attribute_value":"2020-06-02"},"publish_date":"2020-06-02","publish_status":"0","recid":"6567","relation_version_is_last":true,"title":["プロダクトライン開発における組込み機器のテスト設計・実行の自動化 ――仕様書の論理記述変換によるテストケース自動生成とモデル検査技術を用いたテストケース自動実行環境の構築――"],"weko_creator_id":"18","weko_shared_id":-1},"updated":"2024-01-16T02:50:32.151790+00:00"}