一个良好的验证框架,导入到eclipse里就可以运行 使用方便,一看就会用了。