【摘 要】
:
变异测试是一种有效的基于故障的测试方法,但大量冗余变异体所带来的昂贵的测试成本问题,阻碍了它在实际工程开发中的应用.为解决该问题,本文针对程序中的顺序语句所产生的变
【机 构】
:
北京邮电大学网络与交换技术国家重点实验室,桂林电子科技大学广西云计算与大数据协同创新中心,桂林电子科技大学广西高校云计算与复杂系统重点实验室,长春汽车工业高等专科学校
【基金项目】
:
国家自然科学基金(No.91318301,No.61202080),广西云计算与大数据协同创新中心、广西高校云计算与复杂系统重点实验室资助(No.YD16508)
论文部分内容阅读
变异测试是一种有效的基于故障的测试方法,但大量冗余变异体所带来的昂贵的测试成本问题,阻碍了它在实际工程开发中的应用.为解决该问题,本文针对程序中的顺序语句所产生的变异体,基于故障的可达-感染-传播模型,提出了使用区间抽象域来表示程序状态,通过区间运算判断变异体之间冗余关系的算法;针对程序中的条件语句,基于谓词故障层级,分别给出了面向简单谓词和复合谓词的冗余变异体选择算法.并对这两种算法对冗余变异体的判定效果进行了分析,最后给出了在分层抽样背景下,非冗余变异体生成的约束边界条件.对Siemens和开源项目等
其他文献
通过对坪山近几年来配网故障统计分析,介绍了配电线路防雷常识、防雷措施和雷击故障停电原因,并对4回典型10 kV架空线路防雷措施现场应用效果进行了对比分析,提出了架空线路
“买一套房子,送一头奶牛”,时下开发商不仅在楼盘的价格上大动脑筋,就连楼盘广告也很雷很唬人。近日,南京新街口的一处巨幅房产海报,再次吸引了众多路人的眼球。
乳化沥青稀浆封层技术是一种既经济、又方便的路面快速养护方法,具有施工快、造价低、无污染、用途广等特点,在二级及以下公路的沥青路面养护中被广泛运用。文章阐述了稀浆封层
抗生素耐药性日益受到人们的重视。抗生素耐药机理包括酶对抗生素的修饰和破坏、减少抗生素向细菌内的摄入、增加抗生素的主动排出作用、新靶位的产生及药物作用靶位的过度表
分析高速公路沥青路面病害状况,对高速公路沥青路面养护施工中微表处技术的应用进行了阐述。
针对超声波无损检测的全聚焦算法(TFM)处理全矩阵数据耗时巨大的问题,本文基于椭圆弧扫描转换提出了一种单层物体超声波无损检测的新全聚焦算法DEA-TFM.相对于传统全聚焦算法的逆向处理过程,新算法结合计算机光栅图形学中的椭圆绘制算法,解释了全聚焦算法的计算过程实际上是一个正向处理过程;它将结果图像的绘制和生成转化为椭圆弧的扫描转换操作和叠加;同时对原Bresenham椭圆绘制算法进行扩展,提出了绘
通信传输网络在计算机与网络技术的支撑下,得到了极大的发展,有效满足了人们的信息传输需求,但是,毋庸置疑的是,设备的发展也不断的对通信传输网络的整体水平提出了更为严格
提出一种基于循环平稳差异的直扩信号盲提取抗干扰方法.针对源信号在统计域上的近似独立性,构建直扩通信盲源分离抗干扰模型,基于源信号的循环平稳差异,利用循环自相关函数的
<正>1 对象方法与分型标准1.1 对象方法 患者都是门诊及住院的经WHO糖尿病诊断标准确诊的Ⅰ型糖尿病人.男214例,女197例.平均年龄51岁,平均病程3.5年,高于5%以上的并发症有:
利用猪附红细胞体抗原玻片,通过IFAT方法,对96份疫区血清样本进行检测,并与血涂片镜检方法进行比较.结果显示IFAT法比血涂片法敏感性要高出40个百分点:用猪弓形体阳性血清、