基于信息流缺陷定位方法在软件测试中的应用

来源 :计算机与数字工程 | 被引量 : 0次 | 上传用户:bigfishing
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着软件产业的飞速发展,人们对软件质量的要求也越来越高.现在,软件已经直接影响到了我们项目的成功和设备的安全.而软件中的复杂缺陷难以排除,因为它们涉及到许多程序要素之间的相互作用.论文扩展了基于信息流覆盖的缺陷定位技术.扩展后的技术融合了语句覆盖和分支覆盖技术,它还能定位复杂缺陷.试验结果表明,文中方法比基于语句覆盖、分支覆盖和定义使用对覆盖的方法要更可靠、更精确.
其他文献
学校体育教学是学生获得体育知识、掌握运动技术最基本的途径,也是学生养成终身体育锻炼习惯的关键,体育课堂教学是促进学生身心全面发展的基本途径,是提高学生身体、心理和社会适应整体健康水平的重要手段。体育课是学校体育的基本组织形式,如何提高体育教学效果是体育教师始终面临的课题。下面笔者就影响体育教学效果的因素进行分析,与同行们进行商榷。  一、教师的基本功  1. 体育教师的基本能力  体育教师的基本能
随着微电子技术的发展,电子装备结构、功能日趋复杂,电子装备的保障面临的困难也越来越大。文章以多信号模型为基础,以提高电子装备故障诊断能力为目的,开展了测试性分析和基于蚁
2010年3月30日,在高校毕业生就业工作会上,湖北省教育厅一位副厅长批评当前一些高校毕业生就业观念不正确,称“有业不就”、频繁挑选岗位、毁约、岗位资源流失等现象时有发生。
国际科研团队表示,他们计划明年使用欧洲超级计算机的1900个处理器。对大爆炸以来宇宙中发生的最猛烈事件——黑洞碰撞进行模拟并绘制出图片,以破解爱因斯坦广义相对论等式。
摘要:本文总结了高中生物“生态因素”的教学体会,笔者认为搞好本节的教学关键在于“了解五个概念、讲清四个区别、阐明三个联系、把握两个观点、说明一个问题”。  关键词:生态因素;教学;体会    “生态因素”这一节涉及的知识面广,与教材其他章节内容和人们的生活实际联系得较为紧密,因此要讲好这节课,就不能将这节课的内容孤立地讲,而要紧密地联系教材其他章节的内容和人们生活的实际,笔者总结自身的教学经验,总
针对现有信息查询平台的受到上网条件的限制,设计实现了一种基于GSM的信息查询平台,该平台由数据库服务器和GSM模块组成。使用Visual C++6.0为开发工具,采用多线程程序设计实现用户
为降低能耗和最大化网络生存期,论文提出了在一定误差范围内的高效近似数据收集算法。首先利用节点感知数据的时间相关性生成局部估计模型,然后根据节点间估计数据的空间相关性
BUFFER空间分析是安全关键系统验证的重要组成部分,涉及到系统排队理论。通过对一般Buffer队列和周期任务Buffer进行了分析,并对BUFFER空间实例进行了验证,可缩短Buffer消息
近来,校园安全问题引起全社会普遍关注。温家宝总理指出,除了采取强有力的治安措施之外,我们还要注意解决造成这些问题的一些深层次的原因,包括处理一些社会矛盾,化解纠纷,加强基层
随着现代生活节奏的加快,计算机作为工作学习的必备品,人们对其的使用也越来越追求效率。文章针对现有的软件环境和条件,采用了通过设置钩子函数的方法,应用键盘钩子的方式实现了