【摘 要】
：
变异测试是一种面向缺陷的软件测试方法,利用人为注入的缺陷引导测试数据生成,评价测试数据的有效性,在软件工程领域得到了广泛关注.依托多核架构,开发可靠的并发程序越来越
【机 构】
：
山东建筑大学计算机科学与技术学院,中国矿业大学信息与控制工程学院
【基金项目】
：
国家自然科学基金(No.61773384,No.61503220),国家重点研发计划(No.2018YFB1003800-02-01)
论文部分内容阅读
变异测试是一种面向缺陷的软件测试方法,利用人为注入的缺陷引导测试数据生成,评价测试数据的有效性,在软件工程领域得到了广泛关注.依托多核架构,开发可靠的并发程序越来越迫切.近年来,很多学者尝试将变异测试技术应用于并发程序,以提高并发程序测试的效率和可靠性.首先,介绍了本文工作与已有综述的不同;然后,阐述了与并发程序和变异测试技术相关的知识;接着,从变异实施、变异测试准则、测试数据生成等3方面,综述并发程序变异测试的研究进展,包括:变异算子设计、选择变异、高阶变异、弱变异、测试数据生成方法、变异测试工具等;最
其他文献
介绍了碱焙烧化学提纯方法制取硅酸钠水浸出溶液,实现中澳铁矿提铁降硅的目的,研究该方案的技术可行性。同时采用高硅铁矿进行对比试验。
在“得语文者得高考,得阅读者得语文”逐渐成为教育共识的当下,整本书阅读以其深远的意义在语文教育中占据重要地位,“整本书阅读与研讨”更是位列新课标18个学习任务群之首
对心功能不全病人使用β受体阻滞剂的指征虽有所放宽，但多数仍主张只能慎用于常规抗心衰方法无效的轻、中度慢性左心功能不全病人，不能用于抢救急性心力衰竭病人。近日我院对一
即使是“豆芽学科”,也要配优师资“我喜欢刺绣,刺绣让我更加专注学习。”2019年,利州中学小学三年级学生王梅玲荣获广元市出彩红领巾第四季CCTV《中华星少年》少儿才艺大赛(
为了响应国家精准扶贫号召,增加农户收入,扩大乡村旅游区域覆盖率。学校艺启创工作室联合当地政府机关,为李家庄部分户主房屋进行民宿改造。"民宿"主要指的就是将自家的空闲
1985年美国“浴室设计”的作者说：70年代热水和浴缸对我们生活的影响是明显的，然后旋流式浴缸、蒸汽浴室、桑拿浴室以及其它健身设备纷纷出现在我们的家庭浴室里，这些新添的设备
针对陈四楼煤矿井下钻场钻孔验收时钻杆数量难于清点的问题,本文提出了采用钻场智能化钻杆清点控制系统代替旧有的人工验收模式,并对智能化钻杆清点控制系统的结构组成、工作
6月1日起正式开始实施的《绿色建筑评价标准》（以下简称《标准》）是我国第一部从住宅和公共建筑全寿命周期出发，多目标、多层次地对绿色建筑进行综合性评价的推荐性国家标准。
染色大小样色差是困扰染色生产的最主要问题。染色大小样不符的一个重要原因就是大小样染色工艺差异太大。文章以羊绒绞纱染色为例。主要从染色工艺方面着手，通过正交试验设计
为家蚕育种提供参考,对H71、H78、H80组合和洞·庭×碧·波品种添食病毒(NPV)试验,并调查喂食后蚕的生长状况和饲养成绩。结果表明:供试验组合H71、H78、H80的五