不同行业、领域的功能安全标准在不同等级下对覆盖率的要求稍有不同,如汽车领域的ISO-26262、工业领域的IEC-61508功能安全标准等,但是最高等级下都需要包含语句覆盖率、分支覆盖率和MC/DC覆盖率。另外工业软件测试传统做法是主要通过人工手动编写测试用例,或通过随机生成的方式进行辅助。这种方式无法快速达到语句、分支及MC/DC覆盖率的100%覆盖,且耗时费力。为提升测试效率、降低测试成本、保证测试质量,打造可控的国产化工业软件测试工具,飞腾信息携手上海控安及麒麟软件,基于飞腾CPU平台产品和麒麟操作系统,融合软件代码分析中的动态符号执行核心技术,联合攻关实现工业嵌入式智能化测试软件(即SmartRocket TestGrid)首次在国产基础软硬环境下的运行,构建出安全创新的工业嵌入式测试软件联合解决方案,赋能工业系统高可靠、高安全等级测试验证需求。
处理器:FT2000/4、D2000、S2500、FT2000+/64
操作系统:银河麒麟高级服务器操作系统V10、银河麒麟桌面操作系统V10版本
整机:基于飞腾ARM架构芯片国产整机
工业软件:SmartRocket TestGrid
全栈国产化方案:基于银河麒麟操作系统和飞腾芯片的SmartRocket TestGrid一体化软件测试平台,为用户提供符合工业软件安全要求、自主创新的完整解决方案。
零测试代码:用户无需额外编写任何测试驱动代码。工具自动分析测试接口,并以表格的形式将数据展开,用户在进行用例修改和设计时,可以直接在表格中填写。“一键测试”功能按钮,自动为被测函数进行测试用例的生成与执行,并收集覆盖率。
安全认证:测试软件工具获得TUV南德的功能安全认证,工具、测试报告均符合功能安全标准要求,满足IEC 61508-3:2010、EN 50128:2011、ISO 26262-8:2018等行业标准要求。
支持第三方集成:测试软件工具支持Eclipse IDE、Jenkins等第三方集成。
灵活简约的用户体验:TestGrid工具的界面简洁、操作简单;采用B/S架构,可以跨平台使用。
该方案可适用以下行业领域:
1.汽车电子:汽车电子行业遵循ISO-26262标准,部分工程需要达到ASIL-D安全等级要求。
2.轨道交通:如轨交信号系统测试中,需要根据不同的SIL等级来进行相应的单元测试。使用该联合方案的软件测试工具,可以极大地减少人力成本及时间成本。
3.工业领域:在过程自动化和工厂自动化等领域,各种安全装置和系统需要IEC-61508等标准的性能评估和要求。使用该联合方案的软件测试工具能够自动进行工业软件测试执行,帮助工业系统完成风险评估、SIL等级评估和认证、功能安全测试等服务。
案例名称:某领域控制系统研究所测试项目
建设内容:该研究所主要从事某领域控制系统及电子控制器/控制软件的研发、制造、集成,以及柔性联轴器的研发、生产和保障业务。基于项目需要,研究所采用SmartRocket TestGrid测试联合解决方案用于项目开展单元测试,包括单元测试工程创建、用例设计、脚本生成、调试执行、覆盖率分析与收集、测试结果报表生成、测试回归与迭代等。
案例价值:
1.满足单元测试要求。无需编写驱动代码即可实现高覆盖率测试用例生成,一键执行并收集覆盖率,有效提高测试效率。解决测试人员效率低、投入大的行业共性难题。
2.SmartRocket TestGrid+银河麒麟高级服务器操作系统V10+飞腾CPU提供的工业软件智能测试解决方案,填补国内嵌入式代码单元测试工具技术空白,有效发现工业软件设计缺陷,达到可信工业软件的高质量要求。