特集　たたいてつくるソフトウエア〜設計段階で行う検証，アサーション・ベース設計へ
日経エレクトロニクス　第950号　2007.4.23

ソフトウエア・テストの効率化が課題になっている今開発者もテストを知り，テストのことを考慮しながら設計作業を進めるべき時期に来た。「検証しやすい設計」を実現するためにソフトウエアの仕様を設計段階から盛り込む。それが「アサーション・ベース設計」だ。　「テストとデバッグの違いすら，日本のソフトウエア技術者は，明確に区別して理解してこなかった」−−。日立ソフトウェアエンジニアリングで長年，敏腕ソフトウエア…