2012年2月17日
Sireum/Kiasan的初步使用
摘要： Sireum/Kiasan是一个类似于JPF的软件检测工具，可以进行基于合同的自动检测和测试用例的生成。Sireum/Kiasan for Java is aJMLcontract-based automatic verification and test case generation tool-set for Java program units. In contrast to regular unit testing methods, Kiasan does not need input parameters for checking units. Without assertions 阅读全文
posted @ 2012-02-17 15:53 zztian 阅读(387) 评论(0) 推荐(0)