Ｗｈａｔ’ｓ　Ｎｅｗ〜モデル検査でバグ発見　富士ゼロックスがＭＤＤで
日経エレクトロニクス　第937号　2006.10.23

この記事の情報
掲載誌	日経エレクトロニクス　第937号（2006.10.23）
ページ数	2ページ　（全3096字）
形式	PDFファイル形式　（253kb）
雑誌掲載位置	34〜35ページ目

人手に頼らない　富士ゼロックスは，ソフトウエアの振る舞いを網羅的に検証する手法として注目を集めている「モデル検査」注１），１）を，同社の複合機「ＡｐｅｏｓＰｏｒｔ」シリーズの組み込みソフトウエア開発に適用した。現在，ソフトウエアの品質確保で主体となっているソフトウエア・テストでは発見が難しい，微妙なタイミングに起因するバグを２件検出するなど先駆的な成果を上げた。２００６年９月に開催されたソフトウエ…