【摘 要】
：
故障修复后,程序员还需验证那些与修复故障相关的区域是否还存在故障或者引人了新的故障,这时有可能需要补充新的测试用例.现有研究大多依赖符号执行等技术,这样可能导致状态
【机 构】
：
北方工业大学计算机学院,北京航空航天大学计算机学院
【基金项目】
：
国家自然科学基金(61502011,61370051,61402016);北京市教委科技计划(KM201610009007);北京市大学生科研训练计划深化项目(XN003-16);北方工业大学科研启动基金项目;北方工业大学开放实验项目资助~~
论文部分内容阅读
故障修复后,程序员还需验证那些与修复故障相关的区域是否还存在故障或者引人了新的故障,这时有可能需要补充新的测试用例.现有研究大多依赖符号执行等技术,这样可能导致状态空间过大. 且现有的研究统一地来考虑程序中控制流相关的故障和数据流相关的故障,但程序中控制流相关的故障与数据流相关的故障存在区别.由于程序运行时的行为与变量密切相关,并且在人工程序调试时程序员经常会关注变量的状态变化. 因此该文提出了一种基于变量影响分析和数据变异的回归测试用例方法,通过分析程序中动态执行的变量状态的变化,提炼出了一种变量行为模
其他文献
<正>强奸犯罪具有暴力犯罪和性犯罪的双重性质,是一种极其严重的犯罪行为,给社会带来了极大的危害。本文通过对山东省枣庄市2008年1月至2012年12月期间的193例强奸案件进行法
建立了用凝胶渗透色谱净化-液相色谱-串联质谱分析烟草中3种抑芽剂残留的方法。卷烟中的待测抑芽剂组分用V（乙酸乙酯）∶V（环己烷）=1∶1超声提取后通过凝胶渗透色谱净化;凝胶色谱
在幼儿园,幼儿的游戏行为并非是完全自发的,与自然状态下的幼儿游戏相比,教育背景下的幼儿游戏中教师的有效介入会极大提升游戏在幼儿成长中发挥的作用,有效地引导能够拓展幼
本文了在辽宁朝阳地区，早白垩世地层中发现的一种新的小型鸟类。依据所具有的以下几点特征：（１）胫跗骨远端髁间沟窄，运视肉髁前缘较为平缓；（２）第四庶骨相对较为细弱；（３）坐骨逝端向背方伸出一
初步研究了山西省永和县桑壁镇铜川组二段产出的两件初龙形类化石标本(IVPP V12378,V 12379),在此基础上建立了一新属新种--桑壁永和鳄(Yonghesuchus sangbiensisgen.et sp.n
目的:随着全球经济出现的重组、多样化和竞争等组织外部环境的变化,使得组织的一些政策不适合环境与自身发展的需求。为了使组织焕发活力及员工体会到更多的生活意义,需要重
<正>目前,通常用COHb百分比来表示CO的吸收量。据报道,COHb在吸烟者体内的百分比浓度通常是4%-10%,达到10%的为重度吸烟者(烟瘾大)。然而,COHb百分比的测定受很多因素的影响,
目的:探讨研究腰椎退行性疾病脊柱内镜术后复发的相关危险因素,为临床脊柱内镜治疗的病例选择提供依据。方法:回顾分析本科同一治疗组自2017.1-2018.12收治的腰椎退行性疾病
词汇教学在小学英语教学中是非常重要的教学内容之一。但是,孤立的词汇学习往往显得枯燥,与小学生活泼好动的性格相悖,而教育游戏就是在教学中尽可能将枯燥的语言现象转变为
Tomcat是目前比较流行的Web应用服务器,在很多场景下都有比较广泛的应用。Zookeeper是一个高效的分布式协调服务。文章介绍通过tomcat和Zookeeper来实现服务的高可用性和服务