Ｎｅｗ Ｐｒｏｄｕｃｔｓ〜プログラム検証ツール 「ＭＩＳＲＡ−Ｃ」の検証をＬｉｎｕｘ環境でも
日経エレクトロニクス 第895号 2005.3.14
| 掲載誌 | 日経エレクトロニクス 第895号（2005.3.14） |
|---|---|
| ページ数 | 1ページ （全253字） |
| 形式 | PDFファイル形式 （226kb） |
| 雑誌掲載位置 | 55ページ目 |
ＮＥＣ通信システムは，自動車業界で生まれたＣ言語のコーディング規約「ＭＩＳＲＡ−Ｃ」に基づくプログラム検査をＬｉｎｕｘ環境で実行できる静的検証ツール「Ｒｅｖｉｅｗ−Ｃ ＭＩＳＲＡ ｆｏｒ Ｌｉｎｕｘ」を発売した。従来はＷｉｎｄｏｗｓ環境のみに対応していた。同じ内容の違反は一定件数しか出力しないなどの工夫を既存製品から受け継ぎ，規約を厳密に適用すると指摘件数が膨大になる問題に対処した。ＴＥＬ（０３）…
記事の購入（ダウンロード）
購入には会員登録が必要です 会員登録はこちら
価格 330円（税込）
他のIDで購入する
G-Search ミッケ！は雑誌を記事ごとに販売するサービスです。
この記事は「1ページ（全253字）」です。ご購入の前に記事の内容と文字数をお確かめください。
（注）特集のトビラ、タイトルページなど、図案が中心のページもございます。
Ｎｅｗ Ｐｒｏｄｕｃｔｓ〜ＶＯＣ測定器 ８分間で４種類のＶＯＣガス濃度を測定
Ｎｅｗ Ｐｒｏｄｕｃｔｓ〜暗号用開発キット 小規模なＩＰコアを利用する組み込み向け
Ｗｈａｔ’ｓ Ｎｅｗ〜ＬＥＤにも有機ＥＬにも 寿命と明るさ保つ放熱技術
Ｗｈａｔ’ｓ Ｎｅｗ〜Ｗｉｒｅｌｅｓｓ ＵＳＢが離陸へ 正式仕様を３月末に公開
Ｓｅｌｅｃｔｅｄ Ｓｈｏｒｔｓ〜ＰＳＰ映像ソフト，ついに始動
