论文部分内容阅读
[!--newstext--]
[!--title--]
【摘 要】
：
自动化单元测试采用符号执行与约束求解的技术,通过动态执行程序,收集执行路径上的分支选择上的约束信息,通过约束求解生成覆盖该路径的测试用例,继而执行新的测试用例搜集新
【机 构】
：
华东师范大学
【出 处】
：
华东师范大学
【发表日期】
：
2011年期
其他文献
无线和移动网络技术近些年来得到了迅猛发展，层出不穷的无线通信系统为用户提供了异构的网络环境，包括无线个域网(如Bluetooth)、无线局域网(如WLAN)、无线城域网(如WiMAX)、公
Hadoop集群作为云计算、大数据技术的处理平台被广泛的应用于各种各样的领域,Hadoop集群无论在商用或是科学研究方面都具有重要的价值。Hadoop集群可以由若干台服务器构成不
随着数字多媒体技术的发展以及计算机网络的普及,图像等各种形式的数字作品大量出现,而由于数字作品易复制易传播,导致数字作品侵权问题越来越严重,数字水印便是版权保护的一
随着网络信息技术的快速发展,一些传统制造企业在经济全球化的浪潮冲击下,把网格技术应用到制造生产的各个环节。制造网格就是网格技术在制造生产中的具体应用,它利用网格技
上下文被定义为“任何用于描述实体状态的信息”，实体可以是“任何在人机交互中相关的对象”，如人，地点等。目前，在智能手机为代表的可移动设备中，上下文信息的来源十分广泛，从内置
随着信息化社会科技的飞速发展,人们对可视化的需求也越来越高：影片中洪水、海浪、漩涡等精彩的视觉特效；宇宙飞船在太空中的飞行过程；大气运动形成的雨、雪、风等自然场景的仿
H.264是最新的国际视频编码标准,它是由ITU-TVCEG和ISO／IEC MPEG专家组联合开发的,具有比以往编码标准都高出很多的压缩性能,而且其解码器的复杂度增加也不是很大,所以提出以
随着计算通信和互联网技术的发展,多媒体数据通过网络得到广泛的传播。大范围的侵权行为引起了音像、影视和软件行业的高度关注。如何保护数字产品的版权及防止非法复制等,均
随着近些年来微电子系统技术(MEMS),无线通信技术,以及数字电子电路技术的快速发展,使得低成本,低功耗,多功能的具有短距离无线通信功能的微型传感器节点的设计与发展成为可