()相对于细节测试，实质性分析程序能够达到的精确度可能受到种种限制，因此证明力相对较弱