{"created":"2025-01-19T00:47:43.980655+00:00","updated":"2025-01-20T05:08:03.186378+00:00","metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00178381","sets":["1164:1384:9129:9130"]},"path":["9130"],"owner":"11","recid":"178381","title":["変更要求に対する論理的な影響範囲分析に基づくソフトウェア動作検証方式の提案"],"pubdate":{"attribute_name":"公開日","attribute_value":"2017-03-05"},"_buckets":{"deposit":"e66c54e8-5d1a-47de-902e-16c5a4c63677"},"_deposit":{"id":"178381","pid":{"type":"depid","value":"178381","revision_id":0},"owners":[11],"status":"published","created_by":11},"item_title":"変更要求に対する論理的な影響範囲分析に基づくソフトウェア動作検証方式の提案","author_link":["381823","381821","381824","381822"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"変更要求に対する論理的な影響範囲分析に基づくソフトウェア動作検証方式の提案"},{"subitem_title":"An Approach of Software Verification Method using Logical Impact Analysis recommended for Change Management","subitem_title_language":"en"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"検証","subitem_subject_scheme":"Other"}]},"item_type_id":"4","publish_date":"2017-03-05","item_4_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"三菱電機(株)情報技術総合研究所"},{"subitem_text_value":"三菱電機(株)情報技術総合研究所"}]},"item_4_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"Mitsubishi Electric Corporation, Information Technology R & D Center","subitem_text_language":"en"},{"subitem_text_value":"Mitsubishi Electric Corporation, Information Technology R & D Center","subitem_text_language":"en"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_publisher":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"情報処理学会","subitem_publisher_language":"ja"}]},"publish_status":"0","weko_shared_id":-1,"item_file_price":{"attribute_name":"Billing file","attribute_type":"file","attribute_value_mlt":[{"url":{"url":"https://ipsj.ixsq.nii.ac.jp/record/178381/files/IPSJ-SE17195005.pdf","label":"IPSJ-SE17195005.pdf"},"date":[{"dateType":"Available","dateValue":"2019-03-05"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-SE17195005.pdf","filesize":[{"value":"1.3 MB"}],"mimetype":"application/pdf","priceinfo":[{"tax":["include_tax"],"price":"660","billingrole":"5"},{"tax":["include_tax"],"price":"330","billingrole":"6"},{"tax":["include_tax"],"price":"0","billingrole":"12"},{"tax":["include_tax"],"price":"0","billingrole":"44"}],"accessrole":"open_date","version_id":"4d33690e-30f5-4383-885c-543907265b78","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 2017 by the Information Processing Society of Japan"}]},"item_4_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"磯田, 誠"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"伊藤, 益夫"}],"nameIdentifiers":[{}]}]},"item_4_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Makoto, Isoda","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Masuo, Itoh","creatorNameLang":"en"}],"nameIdentifiers":[{}]}]},"item_4_source_id_9":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AN10112981","subitem_source_identifier_type":"NCID"}]},"item_4_textarea_12":{"attribute_name":"Notice","attribute_value_mlt":[{"subitem_textarea_value":"SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc."}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourceuri":"http://purl.org/coar/resource_type/c_18gh","resourcetype":"technical report"}]},"item_4_source_id_11":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"2188-8825","subitem_source_identifier_type":"ISSN"}]},"item_4_description_7":{"attribute_name":"論文抄録","attribute_value_mlt":[{"subitem_description":"我々は，製品ライフサイクルにわたる製品品質確保，省リソース，スケジュール遵守のバランス最適化を目的に，システム開発における重要度がますます高まっているソフトウェア生産技術に取り組んでいる．この取り組みの長期的な技術目標を 「2025 年に計算機上で仮想設計 ・ 仮想検証 ・ 仮想生産するバーチャル ・ エンジニアリングの実用化」 としている．従来は CAD を中心に機械 ・ 電気 ・ 熱 ・ 流体といった分野の設計 ・ 検証技術が整ってきている．しかし，これらの分野と電子システムはまだ十分に融合しておらず，電子システムがハードウェア主体からソフトウェア主体へ，さらにはネットワーク中心へと変化が進むことによる複雑さの急増に対処できていない．我々はこのような問題に対処するための施策立案，技術開発，および開発現場への導入を進めている．本稿では，我々のこれまでの仮想設計の施策の結果を受けて，仮想検証の施策の一つとして立案したソフトウェア動作検証方式について報告する．本報告では，「ソフトウェア主体に変化した製品の開発作業のほとんどが変更要求の実現」 であることに注目し，変更管理プロセスで求められる影響範囲分析を高度化するための要素技術である機能テスト生成と等価性検査の方式検討結果を報告する．バーチャル ・ エンジニアリングを実用化した際に得られる想定効果として，仮想設計では開発成果物の再利用量拡大による S / W 品質確保，仮想検証では作業量の大幅圧縮による省人員リソース，仮想生産ではリアルタイムな顧客からのフィードバックによる重大欠陥の撲滅およびスケジュール遵守を見込んでいる．","subitem_description_type":"Other"}]},"item_4_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"8","bibliographic_titles":[{"bibliographic_title":"研究報告ソフトウェア工学（SE）"}],"bibliographicPageStart":"1","bibliographicIssueDates":{"bibliographicIssueDate":"2017-03-05","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"5","bibliographicVolumeNumber":"2017-SE-195"}]},"relation_version_is_last":true,"weko_creator_id":"11"},"id":178381,"links":{}}