9.4.2 基于垂直格式的候选码生成——测试的方法