【摘 要】
：
基于扩展状态机对资源泄漏故障进行描述,给出了资源泄漏缺陷状态机,定义了缺陷的状态、状态迁移图和状态转换表.设计和实现了资源泄漏检测算法.该算法在对控制流进行遍历的过
【机 构】
：
装甲兵工程学院,信息工程系,北京,100072
论文部分内容阅读
基于扩展状态机对资源泄漏故障进行描述,给出了资源泄漏缺陷状态机,定义了缺陷的状态、状态迁移图和状态转换表.设计和实现了资源泄漏检测算法.该算法在对控制流进行遍历的过程中,按照资源泄漏缺陷状态机给出的转换条件进行状态计算,如果计算结果为故障,则报告1个资源泄漏故障.应用该算法对大型开源软件进行测试,发现多个资源泄漏故障.测试结果表明:该算法具有测试效率高和误报率低等特点.
其他文献
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
为提高梭梭(Haloxylon ammodendron)的播种效率、提高播种成活率,针对过去梭梭挖穴栽植过程中存在的问题,提出了改良型栽植锹的设计,并就实际栽植过程中的操作要点进行讨论,
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
对黑液的成分进行分析。利用改进酸析法分级分离析出黑液中的木素，并用紫外法对酸析后黑液中的木素进行定量分析。实验结果表明，酸析木素占黑液中总木素的比例可达90％以上，证明应