assertion checkers; program verification; programming by contract; software testing;
机译:检验“当地食物最好”的断言:基于证据的方法的挑战。
机译:重用基于类的测试用例来测试面向对象的框架接口类
机译:使用断言进行编程的实用方法
机译:基于内部类的断言测试框架的实用方法
机译:SeSFJava:一种用于并发系统的设计和断言测试的框架。
机译:使用模糊逻辑技术确定基于断言的软件测试指标
机译:帮助医疗器械互操作性的原因:基于标准的测试方法,基于识别和获得可测试的断言