《表4 基于动态分析的不变量综合工具总结》

  提示：宽带有限、当前游客访问压缩模式

本系列图表出处文件名：随高清版一同展现

《基于动态分析的软件不变量综合技术》

1. 获取 高清版本忘记账户？点击这里登录

1. 下载图表忘记账户？点击这里登录

不变量综合工具是重要的基础软件框架，支持着验证、测试以及维护等多个研究方向，因此一直以来备受研究者的重视.本节总结前文中出现的重要的开源不变量综合工具，见表4.该表展示了工具的名称、相关文献、论文发表时间、最新版本发布时间、支持的语言和工具的网站.为方便读者查阅，该表按照工具的发表时间排序.其中，参考文献可以检索工作采用的不变量生成算法，发表时间是该工具最早提出的年份，最新版本发布时间可以展示工具的更新和维护情况，同时可供读者根据时间选择对应版本的工具链.支持语言可以方便读者选择合适的工具.表中工具的下载地址收集于2019年11月.