业界通用验证方法学。包内包括userguide,reference,sourcecode,examples.