【摘 要】
:
本文针对测试生成难点提出了加速功能块级测试生成系统速度并提高其处理能力的辅助方法--功能块并法,并从理论上证明了算法的可行性,分析了算法可能引起的故障覆盖率损失,同时给出
论文部分内容阅读
本文针对测试生成难点提出了加速功能块级测试生成系统速度并提高其处理能力的辅助方法--功能块并法,并从理论上证明了算法的可行性,分析了算法可能引起的故障覆盖率损失,同时给出了补救方法。
其他文献
涉及指针访问的C语言for循环的向量化识别是一个令人棘手的问题。本文提出了一种指针循环等价变换为数组循环的方法,来解决这一问题,并且提出了一个C语言for循环的向量化识别
配方法是数学中的一种重要方法,虽然这种方法比较简单,但是它在解题中却有着十分广泛的应用,本文以近年来的中考题加以说明. 本文为全文原貌 未安装PDF浏览器用户请先下载安装 原版全文
城市公共交通的发展与服务质量是反映一个城市经济发达程度的重要指标,为提高市民出行效率,提升居民幸福指数,积极发展城市公共交通已成为各大城市管理者的共识。城市公共交
2008年集体林权制度改革从南方省区逐渐向全国推行,在全国范围内掀起新一轮的集体林权制度改革。我国现有集体林面积占全国林业总面积的一半以上,并且主要分布在西南等少数民
目的:研究右美托咪啶(Dexmedetomidine,DXM)对全麻术后苏醒期患者的安全性,镇静效果。为此类患者镇静用药提供临床依据。方法:妇科全麻开腹手术患者60例(均未启用止痛泵),年龄4
本文结合我系研制的几个实用专家系统,分析了专家系统的应用背景和实用专家系统的开发技术,并针对当前专家系统中存在的局限性,提出了新一代专家系统的设计目标和结构特征。
英特尔为上网本发布Atom平台已经接近2年,市场渐趋饱和,而升级版产品一直是只闻雷声,未见雨点。好在CULV(Cinsumer Ultra Low Voltage)及时诞生,笔记本厂商也乐得用这一同样以低价为卖点的轻薄平台主攻低价市场,更有部分新型号产品的尺寸越做越小,全面向上网本看齐。戴尔全新的Inspiron 11z笔记本,便采用了11.6英寸屏幕,以不到4000元的价格推出,为用户带来上网本
目的分析研究少见栓子脑栓塞的CT、MRI特点,提高临床医师对少见脑栓塞影像表现的认识。方法回顾性分析2016年1月至2019年6月于我院住院诊断为少见脑栓塞患者的一般资料,重点
随着多媒体技术的发展和WINDOWS环境的逐渐普及,开发多媒体WINDOWS环境下的AVI视频播入技术有着重要的意义。本文着重探讨了在多媒体WINDOWS环境下进行AVI视频播放的技术以及多媒体WINDOWSMC接口的使用方法。它们涉
绿色金融这一理念是基于金融经济的高速发展及生态文明的建设需求而出现,它的原理是通过施行相关激励机制,将资本市场中的资金引入到绿色产业中,让绿色产业获得充足的资金与资源,以促进低碳经济和循环经济的高速发展。由于发展时间过短,绿色金融对中小企业的融资约束影响,国内关于该方面的研究成果也相对较少,故需要认真审视和分析两者间的联系性,才能保证以绿色金融为主导的资本市场环境下中小企业融资业务的顺利开展。