| Item type |
Symposium(1) |
| 公開日 |
2018-08-23 |
| タイトル |
|
|
タイトル |
大規模複雑SimulinkモデルのためのテンプレートベースMonte-Carlo法に基づいたテスト自動生成ツール |
| タイトル |
|
|
言語 |
en |
|
タイトル |
Template-Based Monte-Carlo Test Generator for Large and Complex Simulink Models |
| 言語 |
|
|
言語 |
jpn |
| キーワード |
|
|
主題Scheme |
Other |
|
主題 |
ソフトウェア工学 |
| 資源タイプ |
|
|
資源タイプ識別子 |
http://purl.org/coar/resource_type/c_5794 |
|
資源タイプ |
conference paper |
| 著者所属 |
|
|
|
北陸先端科学技術大学院大学 |
| 著者所属 |
|
|
|
福井大学 |
| 著者所属 |
|
|
|
ガイオテクノロジー株式会社 |
| 著者所属 |
|
|
|
ガイオテクノロジー株式会社 |
| 著者所属 |
|
|
|
北陸先端科学技術大学院大学 |
| 著者所属(英) |
|
|
|
en |
|
|
Japan Advanced Institute of Science and Technology |
| 著者所属(英) |
|
|
|
en |
|
|
University of Fukui |
| 著者所属(英) |
|
|
|
en |
|
|
GAIO Technology Co., Ltd. |
| 著者所属(英) |
|
|
|
en |
|
|
GAIO Technology Co., Ltd. |
| 著者所属(英) |
|
|
|
en |
|
|
Japan Advanced Institute of Science and Technology |
| 著者名 |
冨田, 尭
石井, 大輔
村上, 徹
竹内, 成樹
青木, 利晃
|
| 著者名(英) |
Takashi, Tomita
Daisuke, Ishii
Toru, Murakami
Shigeki, Takeuchi
Toshiaki, Aoki
|
| 論文抄録 |
|
|
内容記述タイプ |
Other |
|
内容記述 |
車載システム等の制御ソフトウェアの開発では，MATLAB / Simulink を用いたモデルベース開発が広く用いられている．本稿では，モデル及びソフトウェアの開発効率化及び高品質化を目的とした，Simulink モデルのためのテスト自動生成ツールを紹介する．本ツールは，(1) 高カバレッジを達成するテストスイートを自動生成し，(2) 判定 ・ 条件 ・ MC / DC カバレッジを代表的既存ツールよりはるかに高速に計測することができる．このテストスイート自動生成では，各テストケース （入力時系列信号データ群） を予め用意したテンプレートを基にした Monte-Carlo 法を用いており，代表的既存ツールではテスト生成不能な大規模かつ複雑なモデルも扱うことが可能である． |
| 論文抄録(英) |
|
|
内容記述タイプ |
Other |
|
内容記述 |
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). |
| 書誌情報 |
組込みシステムシンポジウム2018論文集
巻 2018,
p. 83-90,
発行日 2018-08-23
|
| 出版者 |
|
|
言語 |
ja |
|
出版者 |
情報処理学会 |
IPSJ-ESS2018019.pdf (1.5 MB)
