高信頼性ソフトウェアの独立検証確認(ソフトウェアテストと安全性)

抄録

ソフトウェアが社会のあらゆる分野に浸透してきた.とくに社会基盤で用いられるソフトウェアの高信頼性を保証する必要がある.ソフトウェアの高信頼性を保証する技術として独立検証確認が注目されている.本稿では,ソフトウェア独立検証確認技術についての標準と関連技術の動向について展望する.具体的には,標準化動向,保証ケース,導入事例などについて述べる.