日経コンピュータ 2006/07/24号

特集2 バグ・ゼロ目指し 脚光浴びる「形式手法」
バグ・ゼロ目指し 脚光浴びる「形式手法」

「形式手法」を、システムの開発に活用するベンダーやユーザー企業が増えている。仕様の記述で漏れをなくす、従来型のテストでは発見しにくいバグを見つける、などが狙いだ。経済産業省が6月に公開した信頼性ガイドラインにも、推奨手法として掲載された。(60〜64ページ掲載記事から抜粋) *テキスト版記事の文字数:5183文字

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

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

この特集全体
特集2 バグ・ゼロ目指し 脚光浴びる「形式手法」(60〜64ページ掲載)
バグ・ゼロ目指し 脚光浴びる「形式手法」
関連カテゴリ・企業名
【記事に含まれる分類カテゴリ】
情報システム > システム設計・開発 > システム開発手法
update:19/09/24