【摘 要】
：
软件测试过程是软件生命周期中提高软件质量的重要阶段，但无论结构测试还是接收测试（AT），都很难测试程序的所有分枝，对于容错软件的异常处理和故障恢复代码的测试尤其困难。使得这
【基金项目】
：
总装备部“十五”预研基金资助项目 ( 4 1316 .1.2 )
论文部分内容阅读
软件测试过程是软件生命周期中提高软件质量的重要阶段，但无论结构测试还是接收测试（AT），都很难测试程序的所有分枝，对于容错软件的异常处理和故障恢复代码的测试尤其困难。使得这些代码中可能包含软件故障，反而成为软件质量的隐患，为此采用程序变异的方法对被测软件进行故障注入，用强制的方法执行被测分支，从而提高软件的测试覆盖率。
其他文献
流传度:6000000+众所周知,动脉粥样硬化及其引起的心脑血管缺血是导致死亡的主要原因。无论动脉粥样硬化的早期还是晚期病变,均和脂质代谢关系密切。随着动脉粥样硬化病变的
介绍了三点式电压型逆变器基本工作原理,分析了电压空间矢量控制方法,给出了实验波形,阐述了抑制中点电位偏移的控制方法,并给出了仿真结果.
【摘要】叶兆言小说《白天不懂夜的黑》发表于《人民文学》2014年第7期，以第一人称“我”的视角叙述了老师皆友人林放——一个典型在市井沉浮的文人——跌宕起伏的一生。建构了“二十世纪末文学和文人社会位置的变迁”的严肃话题，又以语言逐一消解。本文即从“句式中的语言”和“叙述中的语言”两个不同角度来论述该小说叙事的语言特点。 【关键词】叶兆言；小说；语言；建构；消解 【中图分类号】G642 【文献标识
本文就落实科学评价理念,促进学生能力发展这一问题,从三个方面发表了作者的一些观点：（一）注重过程性评价,促进知识的发现与能力的形成;（二）准确定位评价切入点,引导学生步入正确
农产品是全世界的人类赖以生存的必需品,时代在进步,科学家们为满足绿色健康的消费理念,不断地进行创新和升级,绿色种植技术在各个地区进行了大范围的推广。本文将会就新时期
实际生活中,许多肿瘤患者和家属也因为受一些传统观念的影响,陷入了各种饮食误区,营养成分摄取不足、质量不高及比例失衡等一系列问题显现,导致患者营养不良的状况加重,生活
在软土各向异性弹塑性损伤模型的基础上,把小应变模型扩展到有限应变模型,推导出不排水平面应变条件下的剪切带形成条件,分析K0固结状态下向各异性损伤对剪切带形成的影响.计
针对层状分布土体中的坑道渗流,建立一个均质、各向异性稳定渗流的数学模型;采用坐标变换法,推出等效潜水层中圆形断面水平坑道二维稳定渗流场的流量、水头及流函数公式;定义
环境监测与监理是环境管理体系的两个重要组成部分,探寻二者的内在属性与相互关联性,是环保效果提升的重要保障。本文首先对环境监测与环境监理的概念进行了界定,分析二者本
以2，6－二叔丁基苯酚为原料，通过氧化偶联，还原，再利用芳烃作溶剂，对甲苯磺酸作催化剂脱叔丁基来制备4，4′－联苯二酚，总收率81％。