通过分析代码覆盖提高功能覆盖率的验证输入自动生成方法

覆盖率驱动的验证是功能验证的重要方法,但功能覆盖定义的主观性和手工调整验证输入的冗长过程都极大地影响了覆盖率驱动验证的效率.文中分析了代码行覆盖次数与功能覆盖率的内在联系,建立了基于代码行覆盖次数的概率模型,提出一种新的通过分析代码覆盖提高功能覆盖率的验证输入自动生成方法--FOCDGAG.通过代码行覆盖次数计算验证输入序列的适应度,选取对提高功能覆盖率贡献较高的输入序列,使用遗传算法自动生成新的输入序列组.实验结果表明,采用FOCDGAG时不需要功能覆盖信息,可以将全随机输入生成的功能覆盖率收敛速度提高10倍以上,将约束随机输入生成的功能覆盖率收敛速度提高20倍以上.     

浅谈数显测高仪的测量不确定度评定

数显测高仪多用于零部件的几何长度尺寸、孔轴内外径、相对位置距离等尺寸的测量,为一种具有高精度的单轴测量设备。对测高仪进行不确定度评定,可对零部件的高精度尺寸测量及数据可靠性提供支持。     

BOG直接压缩外输工艺在LNG接收站的应用

目前LNG接收站BOG处理工艺主要采取再冷凝工艺和直接压缩外输工艺两种,再冷凝工艺已广泛运用于各LNG接收站,而直接压缩外输工艺由于有其局限性,一般情况下LNG接收站都不会采用此工艺,但在接收站不进行气化外输时,此时选用直接压缩外输工艺来处理BOG将是最好的选择。     

仪表空气系统可替代性研究

针对浙江LNG接收站仪表空气系统单一运行供气方式问题,立足于提高系统的可靠性,提出仪表空气压缩机与制氮空气压缩机交替运行的改进方法.通过优化仪表空气系统与制氮系统的工艺流程,将仪表空气压缩机与制氮空气压缩机串联相互备用,利用制氮空压机提供空气以生产仪表空气,并进行稳定性、维修成本分析.结果表明,仪表空气压缩机与制氮空气...