![](https://cdn-ak-scissors.b.st-hatena.com/image/square/bed39b5962a5d552c95b6d796db8f55e72d32943/height=288;version=1;width=512/https%3A%2F%2Fxtech.nikkei.com%2Fimages%2Fn%2Fxtech%2F2020%2Fogp_nikkeixtech_hexagon.jpg%3F20220512)
エントリーの編集
![loading...](https://b.st-hatena.com/bdefb8944296a0957e54cebcfefc25c4dcff9f5f/images/v4/public/common/loading@2x.gif)
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
記事へのコメント1件
- 注目コメント
- 新着コメント
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
![アプリのスクリーンショット](https://b.st-hatena.com/bdefb8944296a0957e54cebcfefc25c4dcff9f5f/images/v4/public/entry/app-screenshot.png)
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
組み込みソフトウエアの検証手法(2)
前回に引き続いて,組み込みソフトウエアの検証手法について解説する。今回は,モデル解析やモデル・シ... 前回に引き続いて,組み込みソフトウエアの検証手法について解説する。今回は,モデル解析やモデル・シミュレーションといったモデル・ベースの検証手法,およびソース・コード・ベースの開発手法を取り上げる。 (進藤 智則=本誌) 渡辺 政彦 キャッツ 取締役副社長 モデル・ベースの検証手法には,モデル検査,モデル解析,モデル・シミュレーションなどがある。前回は,モデル検査について解説した。2回目となる今回は,モデル解析から説明する。 モデル解析とは,モデルの構文と整合性を静的にチェックする検証手法である。構文チェックでは通常,1ステートメント中のエラーを検出する。
2005/12/09 リンク