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

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

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