Daikon 5.62
5星
- 浏览量: 0
- 大小:None
- 文件类型：None
简介：
Daikon 5.62是一款功能强大的不变性检测工具，专门用于Java程序。它能自动识别并记录程序执行过程中的变量值，帮助开发者发现潜在错误和不一致性。
Daikon工具可以用来分析不变量，非常实用。
全部评论 (0)
还没有任何评论哟~
简介：
Daikon 5.62是一款功能强大的不变性检测工具，专门用于Java程序。它能自动识别并记录程序执行过程中的变量值，帮助开发者发现潜在错误和不一致性。
Daikon工具可以用来分析不变量，非常实用。
