トヨタ自動車(株)
2015 年 46 巻 4 号 p. 839-844
(EndNote、Reference Manager、ProCite、RefWorksとの互換性あり)
(BibDesk、LaTeXとの互換性あり)
近年,自動車制御システムへの機能要求は著しく高度化し,制御ソフトウェアが複雑化・大規模化しているため,開発プロセスの効率向上が望まれている. 本稿では,検証プロセス効率化のための動的テスト自動生成に着目し,静的解析技術を組み合わせることで制御ソフトウェアの検証能力が向上することを示す.
すでにアカウントをお持ちの場合 サインインはこちら