ＮＥＴｓ〜今だから学ぶ基礎知識　組み込みソフトウエアの検証手法（１）
日経エレクトロニクス　第910号　2005.10.10

組み込みソフトウエアの規模が拡大し，その品質向上が喫緊の課題となっている。しかし，その品質を確保するための工学的な検証手法は，あまり実践されているとは言い難い。テストやレビュー，モデル検査などソフトウエアを検証するための手法について，専門家が連載形式で解説する。（進藤　智則＝本誌）渡辺　政彦キャッツ　取締役副社長　携帯電話機や自動車のソフトウエアは５００万行を超え，近い将来１０００万行に達するとい…