PR

NECは,北陸先端科学技術大学院大学 教授の片山卓也氏のグループらと共同で,組み込みソフトウエアの設計品質を検証する形式検証ツールを開発した。UMLで記述したソフトウエアの設計仕様を数式やパラメータに置き換え,正しく動作するかどうかを理論的に検証できる。設計工程におけるバグを最大で6割~7割,検出できるという。オープンソースの開発ツール「Eclipse」のプラグインとして動作する。

この記事は会員登録で続きをご覧いただけます

日経クロステック登録会員になると…

新着が分かるメールマガジンが届く
キーワード登録、連載フォローが便利

さらに、有料会員に申し込むとすべての記事が読み放題に!
【春割実施中】日経電子版セットで2カ月無料


日経クロステックからのお薦め

日経クロステック 春割 日経電子版セット 2カ月無料