日経エレクトロニクス 2005/10/24号

NETs
組み込みソフトウエアの検証手法(2) 今だから学ぶ基礎知識
モデル検査やレビューなど7つの手法を俯瞰ふかん

前回に引き続いて,組み込みソフトウエアの検証手法について解説する。今回は,モデル解析やモデル・シミュレーションといったモデル・ベースの検証手法,およびソース・コード・ベースの開発手法を取り上げる。(進藤 智則=本誌)渡辺 政彦キャッツ取締役副社長 モデル・ベースの検証手法には,モデル検査,モデル解析,モデル・シミュレーションなどがある。(143〜147ページ掲載記事から抜粋) *テキスト版記事の文字数:4022文字

この記事をオンラインで読む
買い物カゴに入れる324円
買い物カゴに入れる(読者特価)162円
 特価が表示されない場合は下の (※)をご覧ください
この雑誌を購入する
お得な定期購読 (手続き画面へ移動します)

(※) 「読者特価」でご購入の際、日経IDに未ログインの場合は途中で通常価格が表示されることがあります。ご購入画面をそのまま進んでいただき、「次へ(お客様情報の入力へ)」のボタン押下後に表示されるログイン画面で日経IDをご入力ください。特価適用IDであれば、表示が特価に変わります。

この連載全体

NETs
関連カテゴリ・企業名
【記事に含まれる分類カテゴリ】
エレクトロニクス > その他(エレクトロニクス) > その他(エレクトロニクス)
update:18/07/31