计量器具软件测试管理的研究 (2009年)

针对JJF 1182-2007关于计量器具软件测评管理的要求，提出了一种开展计量器具软件测试的组织管理模式；研制了计量器具软件测试管理平台。该平台运用有限状态机（FSM）描述被测器具功能系统，生成功能测试用例；应用源代码静态分析的方法，进行计量器具软件的结构分析、数据流分析和软件度量，并实现了对法制相关程序的分离与监控。平台的研制促进了计量器具的全面功能测试，保证软件升级后法制相关程序与原备案程序的一致性。