WEKO3
アイテム
{"_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": ["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", "download_preview_message": "", "file_order": 0, "filename": "jou_k_349.pdf", "filesize": [{"value": "4.3 MB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_note", "mimetype": "application/pdf", "size": 4300000.0, "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"], "permalink_uri": "https://doi.org/10.18997/00007775", "pubdate": {"attribute_name": "PubDate", "attribute_value": "2020-06-02"}, "publish_date": "2020-06-02", "publish_status": "0", "recid": "6567", "relation": {}, "relation_version_is_last": true, "title": ["プロダクトライン開発における組込み機器のテスト設計・実行の自動化 ――仕様書の論理記述変換によるテストケース自動生成とモデル検査技術を用いたテストケース自動実行環境の構築――"], "weko_shared_id": -1}
プロダクトライン開発における組込み機器のテスト設計・実行の自動化 ――仕様書の論理記述変換によるテストケース自動生成とモデル検査技術を用いたテストケース自動実行環境の構築――
https://doi.org/10.18997/00007775
https://doi.org/10.18997/00007775583591c9-f790-4bdb-9e5b-3a2145e9320b
名前 / ファイル | ライセンス | アクション |
---|---|---|
jou_k_349.pdf (4.3 MB)
|
|
Item type | 学位論文 = Thesis or Dissertation(1) | |||||||||
---|---|---|---|---|---|---|---|---|---|---|
公開日 | 2020-06-02 | |||||||||
資源タイプ | ||||||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_db06 | |||||||||
資源タイプ | doctoral thesis | |||||||||
タイトル | ||||||||||
言語 | ja | |||||||||
タイトル | プロダクトライン開発における組込み機器のテスト設計・実行の自動化 ――仕様書の論理記述変換によるテストケース自動生成とモデル検査技術を用いたテストケース自動実行環境の構築―― | |||||||||
タイトル | ||||||||||
言語 | en | |||||||||
タイトル | 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 | |||||||||
言語 | ||||||||||
言語 | 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 |