@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00190948,
 author = {冨田, 尭 and 石井, 大輔 and 村上, 徹 and 竹内, 成樹 and 青木, 利晃 and Takashi, Tomita and Daisuke, Ishii and Toru, Murakami and Shigeki, Takeuchi and Toshiaki, Aoki},
 book = {組込みシステムシンポジウム2018論文集},
 month = {Aug},
 note = {車載システム等の制御ソフトウェアの開発では，MATLAB / Simulink を用いたモデルベース開発が広く用いられている．本稿では，モデル及びソフトウェアの開発効率化及び高品質化を目的とした，Simulink モデルのためのテスト自動生成ツールを紹介する．本ツールは，(1) 高カバレッジを達成するテストスイートを自動生成し，(2) 判定 ・ 条件 ・ MC / DC カバレッジを代表的既存ツールよりはるかに高速に計測することができる．このテストスイート自動生成では，各テストケース （入力時系列信号データ群） を予め用意したテンプレートを基にした Monte-Carlo 法を用いており，代表的既存ツールではテスト生成不能な大規模かつ複雑なモデルも扱うことが可能である．, 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).},
 pages = {83--90},
 publisher = {情報処理学会},
 title = {大規模複雑SimulinkモデルのためのテンプレートベースMonte-Carlo法に基づいたテスト自動生成ツール},
 volume = {2018},
 year = {2018}
}