计量器具之衡器软件质量分析和检测

类别:公司新闻 时间:2018-01-29 点击:105 次

目前我国有很多利用计量器具软件中的BUG,通过人为的方式,让计量特性检测合格。甚至通过电子衡器在设 计时的漏洞进行违法的计量欺诈。近几年来,我国在一些主要计量器方面都出现过投诉的案件,其中既包括了使用者追 求利益的原因,也有计量器具行业的发展和规范不够完善,行业发展受到多方面制约的因素。因此要对电子衡器软件进 行质量分析和检测,确定相关的技术,制定电子衡器类的规范和制度。
计量器具在全球范围内都受到法律 的强制约束和保护,而我国电子衡器作弊 的现象屡见不鲜,对消费者的利益造成了 严重影响。例如电子汽车衡的称重作弊现 象。这些作弊现象除了有人为的因素之 外,其根本原因还是计量器具自身设计存 在的种种问题,导致出现法律漏洞。因此 要加强衡器软件的质量分析和检测,完善 衡器软件自身的设计。
1.衡器软件分析
1.1衡器软件测试需求 首先要对衡器软件的计量算法和相 应的功能进行测试,这是衡器软件测试最 基本的要求。但是,我国的一些非自动衡 器软件中,却存在着一些有意的漏洞和一 些恶意编制的后门程序。这些问题在一般 的软件功能测试中较难体现出来,目前这 一现象已经引起了国家相关部门的重视。 根据衡器软件的特点,需要从功能性、可 靠性、易用性、效率、可维护性和可移植 性六个方面进行测试。但是和其他的软件 测评有一定的区别,衡器软件的可靠性、 安全性具备一定的特殊性。由于很多衡器 软件中会蓄意加入并隐藏一些"后门程 序因此我国对此方面安全性和可靠性 的要求较高。很多相关的规定都是为了防 止未授权的衡器控制软件而设立的,如果 强行进行非法访问,则会留下一定的痕 迹。根据目前我国的管理措施和检测技术 而言,这种测试需求让对相应的机构提出 了更高的要求。因此,想要规避检测和管 理风险的衡器软件测试,必须要对衡器软 件进行检测和分析。
1.2衡器软件文档分析 衡器软件的文档是对软件进行质量分 析的基础。传统的对文档内容进行功能性 实验的方法难以保证软件的完整性,也无 法保证文档中没有隐藏的功能。因此在对 其进行检测时必须要对软件的功能性进行 分析,保证软件的实际功能和文档具有一 致性。
衡器软件的生产企业为型式评价提 供衡器软件文档中有一些人工建立,但是 这些人工建立的文档和源代码有一定的差 距,难以保证一致性。在一致性的测试 上,最基本的测试方法是对照文档。
通过相应的文本软件对源代码中的每个文件、 功能模块和代码进行检查,通过这样的检 查方式能够在小规模的代码软件中保证一 致性。但是在规模较大的衡器软件中,这 种检查方式需要花费大量的时间和人力物 力,效率较低。因此,建立一套具有反向 工程测评和分析能力的平台能够提高测试 的效率,保证在规定的时间内完成检测任 务。此工具软件的设定必须要以源代码为 基础,在不需要借助其他资料的前提下自 动生成完整的数据文档,在通过人工的分 析核对后,就能够得知衡器软件和衡器型 式评价文档是否一致。
某些企业会对源代码的安全性产生 顾虑。基于此,企业可以自行开发和使用 新型的软件工具,通过软件工具生成企业 可以通过自身进行检测的数据文档。衡器 企业在申请型式批准时,要考虑到多个方 面。既要根据型式评价的标准用人工的方 式对相应的说明文件进行准备,还要根据 具备反向工程以及文档的自动生成能力的 软件工具来产生一系列衡器软件的数据文 档。通过人工和计算机两种方式的结合, 来保证衡器软件的复合型和一致性。需要 注意的是,企业在进行工具软件的使用 时,要有相应的政策进行配合,完善管理 制度。
1.3衡器软件源代码分析
衡器软件的源代码直接决定了衡器 软件的质量,一旦衡器软件的源代码中存 在后门程序或BUG,而相应的检测如果没 有发现其中的漏洞,就会对计量器具软件 的法制管理产生一定的负面影响。在对衡 器软件进行质量检测时,不能仅靠功能性 验证,也不能只对企业提交的文档进行一 致性的检测,这样在衡器软件内部的隐藏 功能很容易出现漏检的情况。对衡器软件 的检测要对整体的结构进行分析,深入了 解功能函数的调用关系,对潜在的莫管进 行检测,对潜在的威胁进行排查,保证衡 器软件的质量符合国家标准。在衡器软件 的源代码进行设计时,要将三个方面作为 重点:计量特性、计量法规复合型和开发 效率。根据衡器软件的性能和运行效率来 看,汇编语言是首要选择,但是在安全性 和开发效率方面和其他的高级语言有一定 的差距。因此除非为了版本保护或移植, 以及一些高性能的需要,其他使用汇编语 言的情况较少。相比而言,C语言或C + + 以及相关语言,和其他高级语言相比运行 效率较低,可以达到汇编语言运行效率的 80%,而其他的程序往往只能达到C语言 的80%。源代码和目标代码所涉及到的语 句规模往往较大。在计量器具方面,计量 特性的限制直接影响到其质量,所以通 过C语言编写的程序往往可以完成预期目 标,而其他语言编写的程序则难以达到。
2.衡器软件检测评价
在对衡器软件进行检测过后,如何 进行科学合理的评价是另一个重要课题, 尤其是目前我国对于计量器具软件的评价 制度还不够完善。对软件产品的度量分为 静态分析和动态分析。例如在测试覆盖率 的度量上,不同的动态测试能够反映出程 序在动态测试时所执行的程度,测试中程 序的覆盖率越高,则说明程序中的盲区越 少,程序的质量也就越高,安全性和可靠 性也有所保障。目前衡器软件的问题主要 是难以保证其质量,程序中隐藏的一些非 法功能难以进行检测,而且在型式评价时 和量产时所使用的软件版本有所区别,导 致程序质量出现问题。要对程序中可疑的 部分进行仔细排查,对衡器计量软件进行 分析,排除后门程序和BUG的可能。和检 测相互配合,对衡器软件进行严格的检测 和评价,解决程序中的后门和BUG问题。 除了要对具体内容提出相应的要求规范 外,尤其要在软件标识、法制分离、数据 保护、等重点方面对评价系统进行完善。
结语
我国在衡器软件的质量分析和检测方 面仍处在发展阶段,还没有形成相对健全 的制度。对于衡器软件中的恶意后门程序 和BUG要加强检测力度,要加强在测试、 文档和源代码上的检查力度,采用科学的 检测工具,为我国计量器具的发展奠定基 础。

中国领先的称重软件技术提供商

The Leading Provider of Geomatic Solutions in China

展开收起网站地图