摘要：本文介绍了性质测试的基本原理，分析了用性质测试方法解决参数化问题的可行性，并将同构性质进行了参数化。研究了二元关系的性质测试以及参数化框架同构性质的测试问题，对固定的距离参数，证明了测试复杂性低于标准判定程序的复杂性。

关键词：性质测试 二元关系 参数化 同构性质 询问复杂性 

单位：贵州大学计算机科学系 贵州贵阳550025