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

• 作者: 唐和平 宋舜宏 田杰 黄曙光
• 来源期刊: 小型微型计算机系统
• 学科: 工学
• 关键词: 可计算函数语言 并发赋值形式 表达式传播 软件测试
• 年，卷（期）: 2011,（2）
• 所属期刊栏目: 软件与数据库技术
• 页码范围: 295-298
• 分类号: TP311
• 字数: 3575字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	黄曙光	解放军电子工程学院网络系	17	119	5.0	10.0
2	田杰	解放军电子工程学院网络系	4	2	1.0	1.0
3	唐和平	解放军电子工程学院网络系	7	32	4.0	5.0
4	宋舜宏	解放军电子工程学院网络系	3	8	2.0	2.0