【摘 要】
：
传统的方法一般通过统计分析语句的覆盖信息来进行错误定位。然而,在并发程序执行时,由于多个线程的交替运行,使得传统的方法进行错误定位的效率不高。提出了基于动态并发程
论文部分内容阅读
传统的方法一般通过统计分析语句的覆盖信息来进行错误定位。然而,在并发程序执行时,由于多个线程的交替运行,使得传统的方法进行错误定位的效率不高。提出了基于动态并发程序切片的错误定位技术（Dynamic Concurrent Slicing-based Fault Localization,DCS-FL）,以在对传统的串行错误进行定位的同时,较有效地识别出并发错误。这种技术根据失效测试构建动态并发切片缩小错误搜索域,然后在此基础之上通过度量错误搜索域中元素可疑度来进行错误定位。最后,通过实例数据验证了该方法的
其他文献
随着高职教育规模的不断扩大，高职教育的质量问题逐渐成为人们关注的焦点，如何保证教育质量则尤为重要。通过对高职院校教学评价体系原则的分析，在此基础上构建了基于蚁群聚类算
张之洞教育思想可以概括为“以师为师，师从师出”。教师不仅是传递知识的媒介，而且是践行美德的典范。“以师为师，师从师出”的教育思想不仅为当代中国教育改革方向提供了历史思
根据对创业教育意义和价值的不同认识．将其分为体现工具价值的知识境界、体现动力价值的精神境界和体现“成人”价值的人格境界。我国创业教育的目标定位应由知识的传授走向创
金闯礼同志的《花甲年诗词草》,表露出来的对人生、对理想的热情而又坚定的追求,是对风起云涌的人生岁月的豪情壮志和艰苦实践的深情回顾,也是对60年不平凡的生命历程和心路
报道了发现于江苏省境内的寄生植物新记录种——锈毛钝果寄生Taxillus levinei（Merrill）H.S.Kiu,隶属于桑寄生科（Loranthaceae）钝果寄生属（Taxillus Van Tiegh.）,科、属均为江苏省
设计了光电传感器实现绝对式振动测量,推导了测试系统的振动方程,方程为常系数二阶微分方程。通过激振器产生20Hz~10 kHz连续变化的振动信号,由光电传感器得到振动波形,Lab VIEW频域分析得到被测体的振动频率分布等。结果表明,光电振动测试系统的输出频率与激振器相同。该振动测试方法具有非接触、远距离、抗电磁干扰、测量精度高、频率响应宽、成本低等优点。
本试验从特色小麦高产栽培技术出发，以贵紫4号优质小麦为材料，在全生育期N、P、K比例一致的前提下，设计不同的肥料用量处理，比较分析肥料运筹对紫色小麦生理特征及产量的影响，结果
罗田县是湖北省大别山区银杏主要分布区之一，对该地银杏古树的种核性状变异进行初步研究。结果表明，该地银杏种核存在着广泛的变异：（1）种核表面特征差异大；（2）该地种核类型有4类：佛指
移动学习作为一种全新的学习方式引起人们广泛关注，并逐渐进入高职教育领域，对高职学生知识的获取起着有效辅助作用；文章分析了移动学习在高职教育中应用的可行性，提出其具体应用
社会发展不断证明，社会主义制度和资本主义制度各有短长，因此才有共同发展的可能和必要。1956年赫鲁晓夫提出“和平过渡”问题在苏联国内外引起强烈反响，对马列主义关于无产阶级