{"id":190948,"updated":"2025-01-20T00:59:59.458179+00:00","links":{},"created":"2025-01-19T00:56:53.073285+00:00","metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00190948","sets":["6164:6165:6561:9543"]},"path":["9543"],"owner":"11","recid":"190948","title":["大規模複雑SimulinkモデルのためのテンプレートベースMonte-Carlo法に基づいたテスト自動生成ツール"],"pubdate":{"attribute_name":"公開日","attribute_value":"2018-08-23"},"_buckets":{"deposit":"2b2a3ec1-f394-41b5-aa42-15a5e1b47054"},"_deposit":{"id":"190948","pid":{"type":"depid","value":"190948","revision_id":0},"owners":[11],"status":"published","created_by":11},"item_title":"大規模複雑SimulinkモデルのためのテンプレートベースMonte-Carlo法に基づいたテスト自動生成ツール","author_link":["438426","438421","438427","438424","438425","438428","438430","438422","438423","438429"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"大規模複雑SimulinkモデルのためのテンプレートベースMonte-Carlo法に基づいたテスト自動生成ツール"},{"subitem_title":"Template-Based Monte-Carlo Test Generator for Large and Complex Simulink Models","subitem_title_language":"en"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"ソフトウェア工学","subitem_subject_scheme":"Other"}]},"item_type_id":"18","publish_date":"2018-08-23","item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_18_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"北陸先端科学技術大学院大学"},{"subitem_text_value":"福井大学"},{"subitem_text_value":"ガイオテクノロジー株式会社"},{"subitem_text_value":"ガイオテクノロジー株式会社"},{"subitem_text_value":"北陸先端科学技術大学院大学"}]},"item_18_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"Japan Advanced Institute of Science and Technology","subitem_text_language":"en"},{"subitem_text_value":"University of Fukui","subitem_text_language":"en"},{"subitem_text_value":"GAIO Technology Co., Ltd.","subitem_text_language":"en"},{"subitem_text_value":"GAIO Technology Co., Ltd.","subitem_text_language":"en"},{"subitem_text_value":"Japan Advanced Institute of Science and Technology","subitem_text_language":"en"}]},"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/190948/files/IPSJ-ESS2018019.pdf","label":"IPSJ-ESS2018019.pdf"},"date":[{"dateType":"Available","dateValue":"2020-08-23"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-ESS2018019.pdf","filesize":[{"value":"1.5 MB"}],"mimetype":"application/pdf","priceinfo":[{"tax":["include_tax"],"price":"660","billingrole":"5"},{"tax":["include_tax"],"price":"330","billingrole":"6"},{"tax":["include_tax"],"price":"330","billingrole":"42"},{"tax":["include_tax"],"price":"330","billingrole":"44"}],"accessrole":"open_date","version_id":"f321ad51-aadf-49e3-b3b0-ec5be2c95215","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 2018 by the Information Processing Society of Japan"}]},"item_18_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"冨田, 尭"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"石井, 大輔"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"村上, 徹"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"竹内, 成樹"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"青木, 利晃"}],"nameIdentifiers":[{}]}]},"item_18_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Takashi, Tomita","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Daisuke, Ishii","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Toru, Murakami","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Shigeki, Takeuchi","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Toshiaki, Aoki","creatorNameLang":"en"}],"nameIdentifiers":[{}]}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourceuri":"http://purl.org/coar/resource_type/c_5794","resourcetype":"conference paper"}]},"item_18_description_7":{"attribute_name":"論文抄録","attribute_value_mlt":[{"subitem_description":"車載システム等の制御ソフトウェアの開発では，MATLAB / Simulink を用いたモデルベース開発が広く用いられている．本稿では，モデル及びソフトウェアの開発効率化及び高品質化を目的とした，Simulink モデルのためのテスト自動生成ツールを紹介する．本ツールは，(1) 高カバレッジを達成するテストスイートを自動生成し，(2) 判定 ・ 条件 ・ MC / DC カバレッジを代表的既存ツールよりはるかに高速に計測することができる．このテストスイート自動生成では，各テストケース （入力時系列信号データ群） を予め用意したテンプレートを基にした Monte-Carlo 法を用いており，代表的既存ツールではテスト生成不能な大規模かつ複雑なモデルも扱うことが可能である．","subitem_description_type":"Other"}]},"item_18_description_8":{"attribute_name":"論文抄録(英)","attribute_value_mlt":[{"subitem_description":"MATLAB / Simulink is a de-facto standard tool in model-based development (MBD) for control software of automotive systems. In this paper, we introduce an automated test generation tool for developing a high-quality Simulink models efficiently. The tool provides functions for (1) generating automatically a high-coverage test-suite for practical models, which cannot be handled by SLDV, and (2) measuring decision, condition, MC / DC coverage much more efficiently than Simulink Coverage. This automatic test-suite generation is a Monte-Carlo method based on templates of test cases (i.e., groups of time-series signals for inputs).","subitem_description_type":"Other"}]},"item_18_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"90","bibliographic_titles":[{"bibliographic_title":"組込みシステムシンポジウム2018論文集"}],"bibliographicPageStart":"83","bibliographicIssueDates":{"bibliographicIssueDate":"2018-08-23","bibliographicIssueDateType":"Issued"},"bibliographicVolumeNumber":"2018"}]},"relation_version_is_last":true,"weko_creator_id":"11"}}