@Requires("d >= 0") //pre-condition
@Ensures("data == d") //post-condition
public Natural(int d) {
data = d;
}
如何在不使用assert的情况下在JUnit上测试“data == d”?
答案 0 :(得分:2)
您不应该依赖assert
语句进行测试,因为这可以被禁用。
您应该查看JUnit中的answer类,它有许多测试结果的方法。
在您的情况下,我认为您可以访问data
,或者可以确定data
的副作用,可以对其进行测试。