著者

西谷 一平 山口 智也 加賀 智之

出版者

公益社団法人 自動車技術会

雑誌

自動車技術会論文集 (ISSN:02878321)

巻号頁・発行日

vol.49, no.1, pp.118-123, 2018 (Released:2018-01-25)

参考文献数

8

---

大規模・複雑化する制御ソフトの品質確保は重要課題である。これに対し、望ましくない振る舞いにつながる入力シナリオを自動探索するサーチベーステストを開発してきた。本研究では探索効率の向上を目指し、実走行データより得られる実走行条件分布を基にした新たな入力シナリオ生成機能を開発した。

著者

山口 智也 足立 憲保 加賀 智之 大桑 芳宏

雑誌

組込みシステムシンポジウム2012論文集

巻号頁・発行日

vol.2012, pp.188-196, 2012-10-10

---

近年、自動車制御システムに対する要求は益々高くなってきており、それを実現する制御ソフトウェアの大規模・複雑化が避けられない状況である。一方で、制御ソフトウェアの開発期間の短縮が望まれており、高い品質を維持しつつ、これに対応する為には、開発プロセスの効率化が必須である。筆者らはソフトウェア要求の検証にモデル検査を導入し、網羅的な検査を実施することで、開発プロセスを効率化することを目指している。本稿では、自動車制御ソフトウェア開発プロセスへのモデル検査の適用に向けて、検証ツール開発の取り組み、モデル検査の自動車制御ソフトウェアへの適用事例とツールによるモデル検査の実施時間の低減効果について述べる。