一起学习
时态逻辑（temporal logic）是一种用来描述程序状态如何随时间而更改的形式体系。本文是 Eric Allen 关于时态逻辑和断言的第二篇专栏文章，他讨论了如何通过使用时态逻辑断言防止几种最常见的错误模式。请单击文章顶部或底部的讨论参与本文的论坛，与作者和其他读者分享您关于本文的想法。
尽管传统的断言可以增加对 Java 代码所作的检查次数，但仅用它们，还是有许多检查无法完成。处理这种情况的方法之一就是使用时态逻辑。请回忆上个月的文章“Assertions and temporal logic in Java programming”，时态逻辑有助于提供比程序中的方法更有力的断言，从而有助于增强用其它方式难以正式表达的不变量。
详细请参看：
http://www-900.ibm.com/developerWorks/cn/java/j-diag0827/index.shtml
下载本文示例代码
诊断 Java 代码：将时态逻辑用于错误模式诊断 Java 代码：将时态逻辑用于错误模式诊断 Java 代码：将时态逻辑用于错误模式诊断 Java 代码：将时态逻辑用于错误模式诊断 Java 代码：将时态逻辑用于错误模式诊断 Java 代码：将时态逻辑用于错误模式诊断 Java 代码：将时态逻辑用于错误模式诊断 Java 代码：将时态逻辑用于错误模式诊断 Java 代码：将时态逻辑用于错误模式诊断 Java 代码：将时态逻辑用于错误模式诊断 Java 代码：将时态逻辑用于错误模式诊断 Java 代码：将时态逻辑用于错误模式
阅读(165) | 评论(0) | 转发(0) |
