ＮＥＴｓ連載講座　最新理論に基づくソフトウエアの検証手法集（１）〜最新理論に基づくソフトウエアの検証手法集●第１回
日経エレクトロニクス　第737号　1999.2.22

この記事の情報
掲載誌	日経エレクトロニクス　第737号（1999.2.22）
ページ数	2ページ　（全2825字）
形式	PDFファイル形式　（23kb）
雑誌掲載位置	221〜222ページ目

ディジタル家電をはじめとする組み込み機器のソフトウエアは，ここにきて急速に大規模化してきた。一方で機器の開発期間は短くなっており，開発に割ける時間は減っている。ソフトウエア開発の中で検証作業は，費やす時間が長い割には付加価値を生みにくい作業である。限られた時間で効率的に組み込み機器向けソフトウエアを検証するための最新手法を，国内外のさまざまなソフトウエア開発者と接してきた米Ａｐｐｌｉｅｄ　Ｍｉｃｒ…