大規模複雑SimulinkモデルのためのテンプレートベースMonte-Carlo法に基づいたテスト自動生成ツール

情報処理学会

書誌事項

タイトル別名
  • Template-Based Monte-Carlo Test Generator for Large and Complex Simulink Models

説明

車載システム等の制御ソフトウェアの開発では，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).

収録刊行物

キーワード

詳細情報 詳細情報について

問題の指摘

ページトップへ