近年システムの開発規模が増大する一方、品質が不十分なため製品のリコールが起こる事も多く、システムの品質や信頼性に対する関心も高まっています。 複雑化したシステムで適切な品質を維持するためには、従来の検証方法やテストの体制・作業者のスキルでは対応しきれなくなって来ています。