【摘 要】
：
运用测试集对程序错误语句定位的算法被统称为TBFL方法.目前通行的TBFL算法一般都没有利用测试员、程序员关于测试用例和程序的先验知识,致使这些“资源”白白浪费.随机TBFL
【机 构】
：
金陵科技学院信息技术学院,江苏省信息分析工程实验室
【基金项目】
：
国家自然科学基金资助项目（61170071）,金陵科技学院科研基金资助项目（jit-n-201305）
论文部分内容阅读
运用测试集对程序错误语句定位的算法被统称为TBFL方法.目前通行的TBFL算法一般都没有利用测试员、程序员关于测试用例和程序的先验知识,致使这些“资源”白白浪费.随机TBFL就是一类新型TBFL方法,其精神就是在随机理论的框架下,把这些先验知识和实际测试活动结合起来,从而对程序错误语句更好地定位.随机TBFL算法可以看成是这种类型算法的一般“模式”,人们可以从这个一般的模式里开发出不同的算法.基于测试结果调整语句出错概率的方法就是将随机TBFL算法中关于程序、测试集的先验知识和具体测试活动分离开来,根据测
其他文献
大明湖位于山东省济南市，是济南的三大名胜之一。初进大明湖，我们就被它那秀丽的景色给迷住了。湖水宁静时，像一面镜子；风一吹，水面上漾起的波纹，欢快地跳动着！湖上，许多荷叶密密麻麻地排列着，它们姿态万千。这样的花生长在这样的水里，这样的水倒映着这样的花，让大明湖更像是一幅写意的山水画，难怪有诗句这样形容大明湖：“四面荷花三面柳，一城山色半城湖”。 听爸爸说大明湖不仅秀美，还是一口“奇湖”。湖里的水在
在工厂条件下,对35mm厚2219铝合金采用MIG焊进行对接双面焊,通过调节焊接电流、电弧电压、焊接速度、氩气流量等控制焊缝成形及焊接质量的关键参数,试制成功35mm厚2219铝合金
本文选取了三维不可压缩流动方程的分步法（fractional—step method），其中动量方程使用BiCGSTAB算法进行迭代求解，而压力泊松方程使用Fourier变换法进行直接求解。本文研究该算法
从大型车架滑轨副的结构、装配及试验入手，分析了导致滑轨副摩擦配合面划伤的原因及机理，通过分析和试验，摸索出了滑轨副的防划伤技术，提高了滑轨副的运行可靠性。
针对D406A钢板成形时容易产生开裂、起皱等缺陷的原因进行分析，选择优化的拉深工艺方案，软化处理拉深坯料，增加适当的热处理工序，正确选择和涂覆润滑剂，拉深过程中及时研磨模具工
基于模糊Petri网的推理机制研究是模糊Petri网领域的热点问题之一。在基于直觉模糊Petri网模型框架下的推理过程中引入库所重排策略及可激活变迁判断公式,提出一种新的基于直