特集 ソフトウエアは硬い〜形式検証編 バグをしらみつぶしに探索 仕様精査やテストの手段に
日経エレクトロニクス 第915号 2005.12.19
| 掲載誌 | 日経エレクトロニクス 第915号（2005.12.19） |
|---|---|
| ページ数 | 10ページ （全11778字） |
| 形式 | PDFファイル形式 （654kb） |
| 雑誌掲載位置 | 108〜117ページ目 |
形式的手法の一種であるモデル検査（ｍｏｄｅｌ ｃｈｅｃｋｉｎｇ）が流行の兆しを見せている。アルゴリズムの改良やコンピュータの高速化が後押ししＬＳＩ設計分野だけでなくソフトウエア分野においても実用段階に入りつつあるのだ。上流工程で仕様のバグを機械的に検出するモデル検査技術を人手に頼ることの多いテストやシミュレーションと組み合わせることでより多様な観点からバグをつぶせるようになる。現場のソフトウエア技…
記事の購入（ダウンロード）
購入には会員登録が必要です 会員登録はこちら
価格 550円（税込）
他のIDで購入する
G-Search ミッケ！は雑誌を記事ごとに販売するサービスです。
この記事は「10ページ（全11778字）」です。ご購入の前に記事の内容と文字数をお確かめください。
（注）特集のトビラ、タイトルページなど、図案が中心のページもございます。
特集 ソフトウエアは硬い〜１０分で分かる 形式的手法
特集 ソフトウエアは硬い〜ケース・スタディー編 国内でも成功事例が出現 形式的手法の壁は高くない
特集 ソフトウエアは硬い〜仕様記述編 実装者を迷わせない 詳細は形式記述言語で
Ｓｅｌｅｃｔｅｄ Ｓｈｏｒｔｓ〜米国版ｉＴＭＳがテレビ番組の販売を強化 「ヒッチコック劇場」や「ナイトライダー」も
Ｓｅｌｅｃｔｅｄ Ｓｈｏｒｔｓ〜ビデオｉＰｏｄ対抗は「動画レンタル」で ＳＣＮがＰＳＰ向け有料配信サービス開始
