诊断Java代码: Java编程中的断言和时态逻辑 - 编程入门网

/* TRAssert{<assertion> => <output string>}

<output string> 是在断言无法保持有效时显示的。这样， TRAssert 语句就可以嵌入到有效的 Java 程序，并且这些程序仍可以不用 Temporal Rover 进行编译（当然，不用 Temporal Rover 进行编译可以使断言免受任何影响）。

结束语

这类时态逻辑可以帮助您将单元测试提升到更高的程度，因为每个时态逻辑断言都可以与许多传统断言对应。这意味着这些断言是如此强大，以致可以有力地帮助消除本专栏文章中讨论的许多典型的错误模式。

在下一篇文章中，我将重新检查时态逻辑断言环境中的几种错误模式，并演示如何使用这些断言来消除该模式的出现。

凌众科技专业提供服务器租用、服务器托管、企业邮局、虚拟主机等服务，公司网站：http://www.lingzhong.cn 为了给广大客户了解更多的技术信息，本技术文章收集来源于网络,凌众科技尊重文章作者的版权，如果有涉及你的版权有必要删除你的文章，请和我们联系。以上信息与文章正文是不可分割的一部分,如果您要转载本文章,请保留以上信息，谢谢!