| 可计算函数的程序理解方法 |
| |
| 引用本文： | 唐和平,宋舜宏,黄曙光,田杰. 可计算函数的程序理解方法[J]. 小型微型计算机系统, 2011, 32(2) |
| |
| 作者姓名： | 唐和平 宋舜宏 黄曙光 田杰 |
| |
| 作者单位： | 解放军电子工程学院网络系,安徽,合肥,230037 |
| |
| 摘 要： | 为满足大规模软件开发的需要,自动化成为软件工程迫切的要求,并贯彻到软件设计、开发和维护的各个阶段.提出一种以可计算函数为基础的程序理解方法,最大程度地识别函数功能、验证组件安全属性,实现对二进制代码的理解,以精简的函数表达式和并发赋值形式展示函数理解结果,提高人工阅读程序的效率.实验表明生成并发赋值语句的数量、时间与软件代码大小成线性关系,并得出了经验公式.
|
| 关 键 词： | 可计算函数语言 并发赋值形式 表达式传播 软件测试 |
Method of Program Understanding Based on Computational Function |
| |
| TANG He-ping,SONG Shun-hong,HUANG Shu-guang,Tian Jie. Method of Program Understanding Based on Computational Function[J]. Mini-micro Systems, 2011, 32(2) |
| |
| Authors: | TANG He-ping SONG Shun-hong HUANG Shu-guang Tian Jie |
| |
| Affiliation: | TANG He-ping,SONG Shun-hong,HUANG Shu-guang,Tian Jie(Network Engineering Department,School of Electrical Engineering of PLA,Hefei 230037,China) |
| |
| Abstract: | The large scale software systems of the future urgently require new forms of computational automation in software engineering artifacts development ranging from software designs,implementations,and maintains.This paper discusses an approach of program understanding with mathematical foundations for computation of software behavior.Computational analysis automatically compute to the maximum extent possible of the behavior,quality attributes of software components both for source file and binary execute.The o... |
| |
| Keywords: | computational function language concurrent assignments form expression propagation |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
