论文部分内容阅读
首先对插装技术的基本理论和方法进行了介绍,指出了传统的插装方法应用在嵌入式软件逻辑覆盖测试中所面临的问题;然后针对插装后代码的膨胀情况,提出一种基于函数切片的插装优化方法.在使用同样测试工具的情况下,优化了插装程序的执行效率;最后通过实验验证了该方法的有效性.
基于函数切片的插装优化在软件测试中的应用
【摘 要】
：
首先对插装技术的基本理论和方法进行了介绍,指出了传统的插装方法应用在嵌入式软件逻辑覆盖测试中所面临的问题;然后针对插装后代码的膨胀情况,提出一种基于函数切片的插装
【机 构】
：
工业和信息化部电子第五研究所
【出 处】
：
电子产品可靠性与环境试验
【发表日期】
：
2013年A01期
其他文献
长江中下游平原区,上起宜昌、下迄吴淞口,左右以各一级支流最下游的控制站为界,其地面高程约为吴淞基面45～3米,总面积12.6万平方公里。主要包括洞庭湖平原、江汉平原、鄱阳湖
自世界上第一台“ENJ AC”电子计算机问世三十多年来,电子计算机有了惊人的发展。一方面是由于电子技术特别是微电技术的重大突破,为电子计算机奠定了可靠的基础;另一面是由
据英国广播公司网站报道,英国两组科学家正在对人脑神经细胞的沟通行为进行研究,据此从硬件和软件两方面来研发未来的计算机。科学家表示,研究神经细胞的工作原理可能会促进
△1996年1月6日至8日,全国水利水电中专《基础英语》教材编审会议在山东省水利学校举行。该教材1~3册的主编、王审及部分编写人员参加了会议。会上,各册主编通报了教材的编写
本文简要描述了煤矿固定设备的维护管理技术。针对煤矿固定设备的使用情况,其管理者要注意建立一套完整的管理体系、监控设施以及完善的维修技术。为了保证煤矿固定设备的正
一、具有改革意义的实践步骤高明的领导者,固然要有强烈的事业心和政治责任感,具有胜任领导工作的专业能力和知识水平;但在实际工作中,不在于自己能在所辖工作职权范围内,单
作为继大型机、小型机、个人电脑、桌面互联网之后的第五个技术发展周期。移动互联网正跑步向前进人一个新的时代。截至2011年4月底，中国手机上网用户达到3．03亿。在北京、上海
本工程紧邻主厂房,而主厂房是与核安全有关的Ⅰ类物项,需对其在极限安全地震动下的变形性能进行验算。通过静力弹塑性分析方法,采用两种不同的模型对结构的弹塑性进行模拟,从
本文以二阶RC滤波电路为例,采用＂微增量＂法,分析了参数微变对滤波电路幅值增益和相角偏移的影响,给出了相关的理论推导和计算过程,具有一定的理论研究意义和工程实践价值。
当代资本主义的新变化既不是资本主义本质的根本改变，也不只是资本主义统治与剥削的手段、形式和斗争策略的改变，而是资本主义社会经济结构的部分质变。当代资本主义生产方式的