ソフトウェアの高信頼化手法の実践にむけて

抄録

本稿では、統合系プロジェクトの2010年度の活動として、欠陥挿入の抑止、製品の検証と妥当性確認に関する技法として、「形式手法」、「高信頼性のための手法」、「高信頼化ソフトウェアのための開発手法」、「信頼性自己診断ツール」の主な活動成果の概要を紹介する。