确定主题词 查找主题词的所有同义词，比如符号执行 如何确定：通过Mesh检索，随便输入一个同义词即可找到主题词 确定副主题词 在主题词范围的限定下，比如符号执行的语义冲突 如何确定：通过Mesh检索，找到主题词后，就可以找到所有同义词
