期刊文献+
共找到3篇文章
< 1 >
每页显示 20 50 100
基于内存建模的复杂结构类型测试数据自动生成方法 被引量:2
1
作者 李飞宇 宫云战 王雅文 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2012年第2期262-270,共9页
针对链表、树和图等这类复杂结构类型的测试数据自动生成问题,提出一种面向路径的基于内存建模的测试数据生成方法.采用一种将结构变量和数值变量分别建模的抽象内存模型,并利用此模型辅助符号执行被测路径;把路径执行过程中语句的语义... 针对链表、树和图等这类复杂结构类型的测试数据自动生成问题,提出一种面向路径的基于内存建模的测试数据生成方法.采用一种将结构变量和数值变量分别建模的抽象内存模型,并利用此模型辅助符号执行被测路径;把路径执行过程中语句的语义操作映射到对抽象内存的操作,解决指针引起的别名问题,并且在抽象内存中精准地记录了路径的约束条件;最后通过约束求解得到测试数据.文中方法已应用于自主开发的自动单元测试系统———UATS,通过实验证明了该方法的可行性. 展开更多
关键词 路径测试数据生成 复杂结构类型 别名 符号执行 内存建模
下载PDF
基于领域消息驱动的轻量级Spring-DDD插件设计与实现 被引量:1
2
作者 王薇 黄强 《现代电子技术》 北大核心 2015年第24期62-65,68,共5页
领域驱动开发(DDD)是完全基于内存的业务对象建模(In-Memory)方法,而目前的DDD框架不能完全覆盖系统业务,也不成熟稳定,无法应用于实际项目的开发。在Spring框架的基础上,实现了一个基于领域消息驱动和内存建模的DDD插件,在不影响目前... 领域驱动开发(DDD)是完全基于内存的业务对象建模(In-Memory)方法,而目前的DDD框架不能完全覆盖系统业务,也不成熟稳定,无法应用于实际项目的开发。在Spring框架的基础上,实现了一个基于领域消息驱动和内存建模的DDD插件,在不影响目前系统架构的基础上,让项目实施完全兼容DDD设计。同时基于JDK和Disruptor并发框架实现的领域事件消息和领域对象缓存模型,有效地降低了系统的解耦关系,并提高了系统的整体性能及效率。 展开更多
关键词 领域消息驱动 内存建模 领域事件 领域缓存
下载PDF
The implementation of an improved NPML absorbing boundary condition in elastic wave modeling 被引量:21
3
作者 Qin Zhen Lu Minghui +3 位作者 Zheng Xiaodong Yao Yao Zhang Cai Song Jianyong 《Applied Geophysics》 SCIE CSCD 2009年第2期113-121,共9页
In elastic wave forward modeling, absorbing boundary conditions (ABC) are used to mitigate undesired reflections from the model truncation boundaries. The perfectly matched layer (PML) has proved to be the best av... In elastic wave forward modeling, absorbing boundary conditions (ABC) are used to mitigate undesired reflections from the model truncation boundaries. The perfectly matched layer (PML) has proved to be the best available ABC. However, the traditional splitting PML (SPML) ABC has some serious disadvantages: for example, global SPML ABCs require much more computing memory, although the implementation is easy. The implementation of local SPML ABCs also has some difficulties, since edges and corners must be considered. The traditional non-splitting perfectly matched layer (NPML) ABC has complex computation because of the convolution. In this paper, based on non-splitting perfectly matched layer (NPML) ABCs combined with the complex frequency-shifted stretching function (CFS), we introduce a novel numerical implementation method for PML absorbing boundary conditions with simple calculation equations, small memory requirement, and easy programming. 展开更多
关键词 PML absorbing boundary condition non-splitting forward modeling
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部