java - 在 Java 中向接口(interface)添加不变量

Question

我一直在考虑创建一个 Java 框架，允许程序员在接口(interface)上指定不变量(前置条件和后置条件)。目的是使代码更健壮，并减少需要为同一接口(interface)的不同实现编写的单元测试的数量。

我设想创建一些方法来注释带有程序员也会编写的不变量的方法。例如。

interface Sort {
    int [] sort(int [] nums);
}

将用注解装饰，以确保任何实现都返回一个排序列表。此注释将链接到可以在编译时针对任何实现运行的单元测试。

这是一个疯狂的想法还是对更广泛的编程社区有用？

Answer 1

这听起来可能与 JML 有关和 ESC/Java ，两者都在需要比通常的技术集提供的软件质量更高的软件质量的项目中得到了相当广泛的采用。