マスワークスがテスト／解析機能を拡充、故障注入の前倒しと動的テストが可能に

「Polyspace Test」の主要な機能［クリックで拡大］ 出所：MathWorks Japan