基于内存建模的复杂结构类型测试数据自动生成方法

来源 :计算机辅助设计与图形学学报 | 被引量 : 19次 | 上传用户：peng88888888

【摘要】

：

针对链表、树和图等这类复杂结构类型的测试数据自动生成问题,提出一种面向路径的基于内存建模的测试数据生成方法.采用一种将结构变量和数值变量分别建模的抽象内存模型,并利用此模型辅助符号执行被测路径;把路径执行过程中语句的语义操作映射到对抽象内存的操作,解决指针引起的别名问题,并且在抽象内存中精准地记录了路径的约束条件;最后通过约束求解得到测试数据.文中方法已应用于自主开发的自动单元测试系统———UAT

【作者】

：

李飞宇宫云战王雅文

【机构】

：

北京邮电大学网络与交换技术国家重点实验室

【出处】

：

计算机辅助设计与图形学学报

【发表日期】

：

2012年02期

【关键词】

：

路径测试数据生成复杂结构类型别名符号执行内存建模 path test data generation complex structure alias

【基金项目】

：

国家自然科学基金（91018002）, 国家“八六三”高技术研究发展计划（2009AA012404）

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

其他文献

基于GEO—SLOPE对某库岸堆积体的治理效果评价

某库岸堆积体，通过预应力锚索与抗滑桩相结合工程治理后，利用二维GEO—SLOPE计算软件，复核其治理后的稳定性，并对其治理效果进行了评价。

期刊

堆积体抗滑桩稳定性

移动设备上富媒体场景渲染优化策略

随着移动设备上越来越多的富媒体应用,对富媒体引擎提出了更高的要求.为了提高引擎性能,提出移动设备上富媒体场景渲染优化策略.该优化策略从局部渲染和多边形填充2个方面进行:通过跟踪场景变化的失效区域来体现局部渲染;在多边形填充方面提出一种Grid算法,通过记录多边形的边与屏幕扫描线的交点信息来进行边的反走样计算以及多边形光栅化填充,且支持复杂自交多边形填充.经过推导证明,Grid算法在时间复杂度与空间

期刊

富媒体失效区域计算局部渲染多边形填充rich media invalid area calculation partial rendering p

我院国资管理的现状及思考

阐述了高职院校国有资产管理的内涵和意义;范畴和分类;分析了院国有资产管理的现状与问题：资产投入需要广辟渠道,资产配置需要科学合理,资产流失需要严格控制,物资采购需要提

期刊

高职院校国有资产管理现状思考

滚装船绑扎件安装工艺与加强开孔优化

滚装船由于其装卸速率快、费用低,对码头要求不高,便于多式联运,实现'门对门'服务,迎合了现代航运的发展趋势,滚装船需求在不断增长。滚装船通过绑扎件来固定货物,本

期刊

滚装船绑扎件安装工艺加强开孔

浅析发变组差动保护回路缺陷技术改造

以九甸峡水电站发变组保护技术改造为例,阐述了单元式接线发变组差动保护前期设计存在的问题,并针对此问题,采取相应的技术改造措施,有效消除了差动保护回路设计缺陷,确保主

期刊

发变组差动保护缺陷技改九甸峡水电站

金沙峡水电站枢纽工程土坝渗水处理

金沙峡水电站2006年底建成蓄水发电至今，土坝坝后一直有渗水，曾多次对防渗体进行堵漏修补，但始终没有彻底根治。通过现场勘察、综合分析渗水原因、设计方案论证和技术经济比较，提

期刊

土坝渗水原因分析方案论证金沙峡水电站

基于内存建模的复杂结构类型测试数据自动生成方法

其他学术论文