针对基于变异错误定位的一种动态变异执行策略

在软件调试过程中,如何快速、精确地定位程序中的错误代码是软件开发人员普遍关注的问题。基于变异的错误定位方法是一种通过分析被测程序与程序变异体之间的行为相似性来估计语句出错概率、进行错误定位的方法。该方法有较高的错误定位精确度,但由于需对大量程序变异体执行测试用例集,因此其变异执行开销较大。为此提出了一种动态变异执行策略,它通过搜集测试用例执行信息,动态地调整变异体及测试用例的执行顺序,以减少其变异执行开销。实验结果表明,在6个程序包的127个错误版本上,应用提出的动态变异执行策略可在保证错误定位精确度的前提下,减少23%～78%的变异执行开销,显著提高了基于变异的错误定位方法的效率。

三峡垂直提升升船机荷载试验及原型监测成果

对三峡升船机施工期安装的各种仪器进行同步、实时、跟踪原型测试,并和施工期监测成果进行比对分析,取得了独立负荷原型试验数据,掌握了高薄壁塔柱长周期温度荷载和日温差影响变形规律。监测结果表明:试验前后,塔柱主承力钢筋应力变化在10 Mpa内,平衡重导轨一二期混凝土接缝开度稳定,升船机弹性工作状态良好;即便在日照同侧、不同工程部位,受热辐射、介质传导影响,仍存在微量温差变形,对局部高精密部件,其影响不容忽视。