可计算函数的程序理解方法

摘要：

为满足大規模软件开发的需要,自动化成为软件工程迫切的要求,并贯彻到软件设计、开发和维护的各个阶段.提出一种以可计算函数为基础的程序理解方法,最大程度地识别函数功能、验证组件安全属性,实现对二进制代码的理解,以精简的函数表达式和并发赋值形式展示函数理解结果,提高人工阅读程序的效率.实验表明生成并发赋值语句的数量、时间与软件代码大小成线性关系,并得出了经验公式.

关键词：可计算函数语言、并发赋值形式、表达式传播、软件测试

所属期刊栏目：32

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

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

页数：共4页

页码：295-298