OVal 是一个通用的验证框架，它通过 AOP 支持简单的 DBC 结构并明确地允许：
- 为类字段和方法返回值指定约束条件
- 为结构参数指定约束条件
- 为方法参数指定约束条件
此外，OVal 还带来大量预定义的约束条件，这让创建新条件变得相当容易。
由于 OVal 使用 AspectJ 的 AOP 实现来为 DBC 概念定义建议，所以必须将 AspectJ 并入一个使用 OVal 的项目中。对于不熟悉 AOP 和 AspectJ 的人们来说，好消息是这不难实现，且使用 OVal （甚至是创建新的约束条件）并不需要真正对方面进行编码，只需编写一个简单的自引导程序即可，该程序会使 OVal 所附带的默认方面植入您的代码中。
在创建这个自引导程序方面前，要先下载 AspectJ。具体地说，您需要将 aspectjtools 和 aspectjrt JAR 文件并入您的构建中来编译所需的自引导程序方面并将其编入您的代码中。