增加新的验证框架(Oval)