特報〜Ｃプログラムの検証をモデル検査で ＮＥＣや松下が相次ぎ技術開発
日経エレクトロニクス 第965号 2007.11.19
| 掲載誌 | 日経エレクトロニクス 第965号（2007.11.19） |
|---|---|
| ページ数 | 2ページ （全2751字） |
| 形式 | PDFファイル形式 （303kb） |
| 雑誌掲載位置 | 12〜13ページ目 |
ＮＥＣおよび松下電器産業は，「モデル検査（ｍｏｄｅｌ ｃｈｅｃｋｉｎｇ）」†と呼ぶ技術を応用して，メモリ・リーク†などＣ言語プログラムの実行時エラーを検出する技術を，それぞれ開発した注１）。一般にメモリ・リークなどの実行時エラーは，プログラムを実際に実行するテスト，特に開発工程後半のシステム・テスト時に検出することが多いが，今回の技術は一種の静的検証ツールとして利用できるため，ソース・コードが出…
記事の購入（ダウンロード）
購入には会員登録が必要です 会員登録はこちら
価格 330円（税込）
他のIDで購入する
G-Search ミッケ！は雑誌を記事ごとに販売するサービスです。
この記事は「2ページ（全2751字）」です。ご購入の前に記事の内容と文字数をお確かめください。
（注）特集のトビラ、タイトルページなど、図案が中心のページもございます。
特報〜「見えない」二輪車をクルマが認識 光ビーコンとＤＳＲＣを併用
特報〜１Ｔビット／（インチ）２に向けた，ソニーのホログラフィック再生法
論文〜ハイブリッド車を支えるＩＧＢＴ，両面冷却で電流密度を向上
チュートリアル はんだ不良を熱設計で回避する（第１回）〜「桶屋がもうかる」元凶を断つ
チュートリアル モービル・パワー・エレクトロニクス入門 第１４回〜先行する航空機のｂｙ−Ｗｉｒｅ技術から自動車へ適用する際の課題を見る
