期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
电器防护检验用试具校准方法研究
1
作者 胡晖 李鑫 +1 位作者 周广成 李效平 《电子质量》 2023年第3期57-59,共3页
在电器等相关产品领域的检测过程中,通常标准中会对产品的外壳防护等级进行规定,以满足产品外壳对人员安全防护的要求。以外壳防护等级第一位表征数字所使用到的试具为研究对象,对其校准方法进行了研究。此类试具主要分为触及试具和物... 在电器等相关产品领域的检测过程中,通常标准中会对产品的外壳防护等级进行规定,以满足产品外壳对人员安全防护的要求。以外壳防护等级第一位表征数字所使用到的试具为研究对象,对其校准方法进行了研究。此类试具主要分为触及试具和物体试具两大类。对试具相关的计量特性做出了分析,利用常见的计量校准设备对该类试具的计量特性进行不确定的评估,为此类试具的校准提供了参考和借鉴。 展开更多
关键词 防护检验用试具 外壳防护等级 触及试具 物体试具 不确定度评估
下载PDF
从集合表达式产生测试数据的方法 被引量:3
2
作者 胡晓波 缪淮扣 《计算机工程与设计》 CSCD 北大核心 2008年第20期5237-5242,共6页
软件测试保证和提高了软件质量,因此成为软件界最为关心的问题之一。测试数据的好坏直接影响软件测试的效果。形式规格说明中的前置条件可用来产生测试数据。而前置条件是基于关系操作符的谓词表达式。给出了一个针对集合关系表达式的... 软件测试保证和提高了软件质量,因此成为软件界最为关心的问题之一。测试数据的好坏直接影响软件测试的效果。形式规格说明中的前置条件可用来产生测试数据。而前置条件是基于关系操作符的谓词表达式。给出了一个针对集合关系表达式的测试准则和产生符合测试准则的测试数据的算法,根据该测试准则产生的测试数据对于集合条件表达式有比较好的错误检测能力。从给出的数据库查询的例子说明了该方法对于检测代码错误的有效性。 展开更多
关键词 形式方法 object-Z 软件测试 测试数据 集合表达式 代码变异错误测试
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部