程序不变量检测技术研究进展

摘要：

伴随着经济的迅猛发展,软件更新速度日益加快,传统的软件测试方法已不能有效保障软件质量.对软件测试起到重要影响作用的不变量,受到了广泛的关注.经过近二十年的研究,程序不变量检测技术已经在软件开发、软件测试、逆向工程等领域得到了广泛应用.该文对程序不变量检测技术在国内外的研究现状进行了总结.主要论述了较成熟的程序不变量检测工具的工作原理、基于合约的程序不变量检测等各种方法的检测过程、不变量的应用范围,并分析了以上各种检测工具和方法的优缺点,最后,针对已有程序不变量检测技术及应用中待探究的问题进行了展望.

关键词：程序不变量、动态检测、Daikon

所属期刊栏目：14

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金青年基金61502221

在线出版日期：2018-02-05（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：216-218