要求仕様の自動検証システムの開発