【摘 要】
：
对于大规模分布式系统的开发而言,其开发周期比较漫长,包括前期的开发、过程中的Debug、后期的维护和测试等.在整个开发周期中,Debug是一个非常关键和重要的环节,如何才能在
【机 构】
：
华东师范大学数据科学与工程研究院上海高可信计算重点实验室
【基金项目】
：
国家863计划项目（2015AA015307）,国家自然科学基金重点项目（61232002,61332006）,国家自然科学基金（61432006）
论文部分内容阅读
对于大规模分布式系统的开发而言,其开发周期比较漫长,包括前期的开发、过程中的Debug、后期的维护和测试等.在整个开发周期中,Debug是一个非常关键和重要的环节,如何才能在短时间内找到最可靠的方法来解除bug成为一个重要的挑战.对于系统开发人员来说,bug报告能非常有效地帮助其了解bug的所有特征信息,并找到能修复bug的方法.通过研究发现,许多大规模分布式系统之间具有较强的相关性和相似性,因而其bug的产生情况和修复方法也具有类似特征.开发人员可以利用已存在的修复bug的方案来协助修复与其一致或相近的
其他文献
1968年,Vizing提出猜想：边染色临界图的独立数不大于其阶数的一半,针对不含2度点的边染色临界图,本文证明当最大度为9,10时,独立数α（G）≤3△-3/5△-3｜V｜和当△∈{11,…,46}时,独
Holmes首次对译学研究进行了理论性的论述,Toury在此基础上进一步指出描写译学在翻译学研究中所处的中心位置,并对描写翻译学的整个框架做了更加详尽的阐述.本文通过对传统译
研究局部对称伪黎曼流形Np^n＋p中极大类空子流形M^n.当M^n紧致时,得到了M^n是全测地子流形的一个充分条件.当M^n完备非紧时,给出了它的第二基本型模长平方的一个拼挤定理.
地理学是华东师范大学的传统优势学科，拥有一流的科研和教学条件，师资力量雄厚。自20世纪80年代以来，紧密围绕国际学术前沿和国家重大需求，主持了200多项包括国家973、国家重大研
人教社义务教育课程标准实验教科书《语文》(以下简称新教材)的练习设计思路与以前的教材相比发生了很大的变化。弄清这些变化，对进一步理解课程改革的精神、对进一步掌握课程标准实验教科书的新理念、对进一步用好教材开展实验有很大帮助。 一、练习设计的变化 (1)名称改变了。这是一个显性的变化。以前的教材将课后作业称之为“练习”，新教材将“练习”改换为“研讨与练习”。研讨，《现代汉语词典》解释为：
针对政策性农业保险是否能够稳定粮食生产的问题,文章在梳理相关文献的基础上,运用改进的柯布道格拉斯生产函数进行分析。在传统因素如何影响粮食生产的条件下,引入政策性农
对复数域上的典型李超代数定义了极大Adjoint二次迷向空间,这是典型李超代数的内蕴特征;对每一类典型李超代数的极大Adjoint二次迷向空间做了细致的刻画,并确定它们各自的维
我国的行政许可制度正在进行改革,<行政许可法>的立法工作也在加紧进行.在进行科学立法之前,有必要对行政许可制度中的相关问题予以准确定位.本文对行政许可的性质、概念、设
文章针对包头九原区池塘老化现象严重,鱼病发生频繁,养殖成本较高,效益差等养殖中存在的问题进行了养殖新模式探索。采用以鲤鱼为主养鱼混养鲢鳙鱼,养殖池与晾晒池进行水体轮