【摘 要】
：
针对JJF 1182-2007关于计量器具软件测评管理的要求,提出了一种开展计量器具软件测试的组织管理模式;研制了计量器具软件测试管理平台.该平台运用有限状态机（FSM）描述被测器具
【机 构】
：
中国计量学院计量测试工程学院,浙江科技学院
论文部分内容阅读
针对JJF 1182-2007关于计量器具软件测评管理的要求,提出了一种开展计量器具软件测试的组织管理模式;研制了计量器具软件测试管理平台.该平台运用有限状态机（FSM）描述被测器具功能系统,生成功能测试用例;应用源代码静态分析的方法,进行计量器具软件的结构分析、数据流分析和软件度量,并实现了对法制相关程序的分离与监控.平台的研制促进了计量器具的全面功能测试,保证软件升级后法制相关程序与原备案程序的一致性.
其他文献
汉阴县双乳镇南窑村位于风凰山北麓，月河南岸。全村8个村民小组，226户，1037人，零星散居在月河二级阶地丘陵地带。该村水源条件差，地下水又不容易开采，人畜饮水十分困难。为了解决群
<行政许可法>公布施行以来,我们高度重视,按照省水利厅的要求和部署,把"行政许可"作为库区水政工作的重中之重和全局的一件大事来抓,做了大量扎实细致的工作,有力地促进和带
建立了一种用于金华火腿中金黄色葡萄球菌的聚合酶链式反应（PCR）检测方法.针对金黄色葡萄球菌独有的肠毒素基因（sea）设计了一对特异引物,在PCR体系中对相应片断进行扩增,扩增产物
通过计算流体力学（CFD）的方法对15mm口径的玻璃浮子流量计进行了数值仿真，给出了浮子流量计的速度场、压力场、速度矢量场以及浮子的受力；研究了温度变化对流量造成的影响，并用实
借助卷积逼近的工具研究前向神经网络对连续函数的逼近,构造了具有nd个神经元的一类神经网络,并证得用它逼近[0,1]d上的连续函数f(X)时,偏差是O{ω{f,n-d1+2}+n-d1+2‖f‖∞}