| 结构体对象的赋值运算方法研究 |
| |
| 引用本文： | 闫鑫,金大海,宫云战.结构体对象的赋值运算方法研究[J].软件,2013(11):67-70. |
| |
| 作者姓名： | 闫鑫 金大海 宫云战 |
| |
| 作者单位： | [1]北京邮电大学网络技术研究院,北京100876 [2]北京邮电大学网络与交换技术国家重点实验室,北京100876 |
| |
| 基金项目： | 国家自然科学基金重大研究计划可信软件理论、方法集成与综合试验平台（91318301）;国家高技术研究发展计划（863计划）“网构化软件协同生产和运行演化集成平台及服务环境”子课题“大型网构化软件的可信开发、运行和演化技术体系与服务支撑环境”（2012AA011201）;国家自然科学基金项目“基于抽象内存模型的复杂类型测试用例生成方法研究”（61202080） |
| |
| 摘 要： | 随着计算机技术的飞速发展，软件的覆盖面越来越广，软件质量的保证成为了一个越来越重要的环节。结构体在程序设计语音中被广泛使用，在静态代码检测的时，对结构体变量进行区间运算的时候不能给出其明确的区间信息，会对其相关运算的判断精度造成影响，本文介绍了一种对结构体赋值运算的区间计算方法。首先，从抽象语法树中识别结构体变量节点，其次为他们建立抽象内存模型，再次根据控制流图节点在其进行赋值运算的时候对它的子成员变量进行运算。
|
| 关 键 词： | 软件测试 区间 赋值运算 控制流图 |
Research on the Method of Structure Assignment |
| |
| YAN Xinl,JIN Da-hai,GONG Yun-zhan.Research on the Method of Structure Assignment[J].Software,2013(11):67-70. |
| |
| Authors: | YAN Xinl JIN Da-hai GONG Yun-zhan |
| |
| Affiliation: | 1 (Beijing university of Post and Telecommunication, Beijing, lO0876,China) 2 (State Key Laboratory of Networking and Switching Technology, Beijing University of Posts and Telecommunications, Beijing, 100876,China) |
| |
| Abstract: | With the rapid development of computer technology, more and more people use software to do their work, software quality assurance has become an increasingly important link. The structure is widely used in programming language. In the Static testing, it always cannot give correct interval information when you use structure variables to calculate, so it could affect the accuracy of the judgment to related defect test. This paper introduces a kind of structure assignment operation interval calculation method. First of all, to identify a structure variable nodes from the abstract syntax tree, secondly to establish Abstract memory model for them, again according to the control flow ~ranh node when the assimmaent ol0erators to its sub member variables. |
| |
| Keywords: | structure interval calculation assignment operation control flow graph |
| 本文献已被 维普 等数据库收录！ |
