マスワークス、ポリスペースコード検証ツール機能強化

 モデルベース開発ツール大手の米マスワークスはソースコードに特定のランタイムエラーが存在しないことを証明する「ポリスペース」組み込みコード検証製品を強化したと発表した。エンジニアは組込みソフトウエアの品質に関するメトリクスと閾値を選択し、追...

ここからは有料記事になります。ログインしてご覧ください。

関連記事