独立したツールを使い、xml文書の正当性を自動的に検査する例を示す。