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

作     者：唐和平 宋舜宏 黄曙光 田杰 TANG He-ping;SONG Shun-hong;HUANG Shu-guang;Tian Jie

作者机构：解放军电子工程学院网络系安徽合肥230037 

出 版 物：《小型微型计算机系统》 (Journal of Chinese Computer Systems)

年 卷 期：2011年第32卷第2期

页      码：295-298页

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

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

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

核心收录：

馆 藏 号：203419503...