懂的人自然就明白,是一种类似系统验证的工具