切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
基于函数切片的插装优化在软件测试中的应用
基于函数切片的插装优化在软件测试中的应用
来源 :电子产品可靠性与环境试验 | 被引量 : 0次 | 上传用户:Heavenws
【摘 要】
:
首先对插装技术的基本理论和方法进行了介绍,指出了传统的插装方法应用在嵌入式软件逻辑覆盖测试中所面临的问题;然后针对插装后代码的膨胀情况,提出一种基于函数切片的插装
【作 者】
:
刘永恒
胡璇
【机 构】
:
工业和信息化部电子第五研究所
【出 处】
:
电子产品可靠性与环境试验
【发表日期】
:
2013年A01期
【关键词】
:
源代码覆盖
嵌入式软件
函数切片
逻辑覆盖测试
source code coverage embedded software function slice dy
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
首先对插装技术的基本理论和方法进行了介绍,指出了传统的插装方法应用在嵌入式软件逻辑覆盖测试中所面临的问题;然后针对插装后代码的膨胀情况,提出一种基于函数切片的插装优化方法.在使用同样测试工具的情况下,优化了插装程序的执行效率;最后通过实验验证了该方法的有效性.
其他文献
长江中下游平原区防洪排涝规划概述
长江中下游平原区,上起宜昌、下迄吴淞口,左右以各一级支流最下游的控制站为界,其地面高程约为吴淞基面45~3米,总面积12.6万平方公里。主要包括洞庭湖平原、江汉平原、鄱阳湖
期刊
防洪排涝
防洪规划
分洪区
控制站
治涝
华阳河
地面高程
平原区
长江防洪
圩区
浅谈电子计算机在教学领域的应用
自世界上第一台“ENJ AC”电子计算机问世三十多年来,电子计算机有了惊人的发展。一方面是由于电子技术特别是微电技术的重大突破,为电子计算机奠定了可靠的基础;另一面是由
期刊
工业自动控制
逻辑判断
运算速度
经济管理
另一面
高度灵活性
电钳
美国大学生
天盖
校党委
未来计算机或将拥有感情 能够“察言观色”
据英国广播公司网站报道,英国两组科学家正在对人脑神经细胞的沟通行为进行研究,据此从硬件和软件两方面来研发未来的计算机。科学家表示,研究神经细胞的工作原理可能会促进
期刊
计算机视觉
脑神经细胞
感情
公司网站
声音处理
工作原理
科学家
传感器
会议报道(三则)
△1996年1月6日至8日,全国水利水电中专《基础英语》教材编审会议在山东省水利学校举行。该教材1~3册的主编、王审及部分编写人员参加了会议。会上,各册主编通报了教材的编写
期刊
会议报道
水利水电
《基础英语》
成人高校
英语教研
教材编审
科学论文报告
职工大学
编写人员
新形势
煤矿固定设备的管理与维护
本文简要描述了煤矿固定设备的维护管理技术。针对煤矿固定设备的使用情况,其管理者要注意建立一套完整的管理体系、监控设施以及完善的维修技术。为了保证煤矿固定设备的正
期刊
煤矿设备
设备检查
设备维护
设备管理
教务委员会的成立及其工作趋向
一、具有改革意义的实践步骤高明的领导者,固然要有强烈的事业心和政治责任感,具有胜任领导工作的专业能力和知识水平;但在实际工作中,不在于自己能在所辖工作职权范围内,单
期刊
能力和知识
组织才能
职工大学
教学研究
校长领导
领导工作
改革意义
政治责任感
教学管理
理论与实践
移动互联网跑步向前进入一个新时代
作为继大型机、小型机、个人电脑、桌面互联网之后的第五个技术发展周期。移动互联网正跑步向前进人一个新的时代。截至2011年4月底,中国手机上网用户达到3.03亿。在北京、上海
期刊
移动互联网
跑步
iPhone
个人电脑
上网用户
文化程度
消费能力
大型机
建筑工程的静力弹塑性分析
本工程紧邻主厂房,而主厂房是与核安全有关的Ⅰ类物项,需对其在极限安全地震动下的变形性能进行验算。通过静力弹塑性分析方法,采用两种不同的模型对结构的弹塑性进行模拟,从
期刊
极限安全地震动
静力弹塑性分析
塑性铰模型
纤维铰模型
参数微变对滤波电路性能的影响分析
本文以二阶RC滤波电路为例,采用"微增量"法,分析了参数微变对滤波电路幅值增益和相角偏移的影响,给出了相关的理论推导和计算过程,具有一定的理论研究意义和工程实践价值。
期刊
滤波电路
参数微变
幅值增益
相角偏移
当代资本主义的新变化与资本主义生产方式的部分质变——兼与徐崇温先生商榷
当代资本主义的新变化既不是资本主义本质的根本改变,也不只是资本主义统治与剥削的手段、形式和斗争策略的改变,而是资本主义社会经济结构的部分质变。当代资本主义生产方式的
期刊
当代资本主义
自我扬弃
部分质变
与本文相关的学术论文