10.3969/j.issn.1008-0570.2006.30.077
基于合约的似然程序不变量动态发现
本文主要讨论基于合约的似然程序不变量的内涵,以及通过程序断言动态生成技术来发现程序不变量的意义.在此主要描述基于合约的似然程序不变量发现的基本理论模型以及该模型与动态不变量检测工具Daikon实体模型的比较,进一步论述程序断言动态生成技术.通过精确的程序断言动态生成,可以分析程序各变量之间的关联属性,以完成不变量的检测.从而有助于设计高质量的程序架构以及规范化的程序代码.
程序不变量、关联属性、程序断言、合约
22
TP311(计算技术、计算机技术)
湖南省自然科学基金05JJ30117
2006-11-26(万方平台首次上网日期,不代表论文的发表时间)
共4页
233-235,300