不同行业、领域的功能安全标准在不同等级下对覆盖率的要求稍有不同，如汽车领域的ISO-26262、工业领域的IEC-61508功能安全标准等，但是最高等级下都需要包含语句覆盖率、分支覆盖率和MC/DC覆盖率。

另外工业软件测试传统做法是主要通过人工手动编写测试用例，或通过随机生成的方式进行辅助。这种方式无法快速达到语句、分支及MC/DC覆盖率的100%覆盖，且耗时费力。

为提升测试效率、降低测试成本、保证测试质量，打造自主的工业软件测试工具，飞腾信息携手上海控安及麒麟软件，基于飞腾CPU平台产品和麒麟操作系统，融合软件代码分析中的动态符号执行核心技术，联合攻关实现工业嵌入式智能化测试软件（即SmartRocket TestGrid）首次在国产基础软硬环境下的运行，构建出自主创新、安全可信的工业嵌入式测试软件联合解决方案，赋能工业系统高可靠、高安全等级测试验证需求。

整体方案架构如下：

方案架构

该方案实现Tessy、Testbed等国外工具的同等功能和性能，填补国内技术空白，解决了相关领域用户陆续出现的断供困境，为工业嵌入式测试软件的过渡升级提供有力支撑。

方案优势

该方案打破了传统的“手写用例+测试工具”的测试方法，100%满足语句覆盖、分支覆盖和MC/DC覆盖，实现测试用例自动生成，整个单元自动化测试。

• 零测试代码：用户无需额外编写任何测试驱动代码。工具可以自动分析测试接口，并以表格的形式将数据展开，用户在进行用例修改和设计时，可以直接在表格中填写。
• 一键测试：可以使用“一键测试”功能按钮，点击后会自动为被测函数进行测试用例的生成与执行，执行结果在界面中可以看到。
• 测试软件工具获得TUV南德的功能安全认证，工具、测试报告均符合功能安全标准要求，满足IEC 61508-3:2010、EN 50128:2011、ISO 26262-8:2018等行业标准要求。
• 测试软件工具支持Eclipse IDE、Jenkins等第三方集成。

该方案不仅能够让测试人员摆脱效率低下、质量参差不齐的手工测试用例编写任务,还能提升测试效率，降低测试成本，有效保障工业软件的安全应用。

方案应用场景

该方案主要适用于汽车电子、轨道交通和工业等行业领域：

1. 汽车电子：汽车电子行业遵循ISO26262标准，部分工程需要达到ASIL-D安全等级要求。
2. 轨道交通：如轨交信号系统测试中，需要根据不同的SIL等级来进行相应的单元测试。使用该联合方案的软件测试工具，可以极大地减少人力成本及时间成本。
3. 工业领域：在过程自动化和工厂自动化等领域，各种安全装置和系统需要IEC61508等标准的性能评估和要求。使用该联合方案的软件测试工具能够自动进行工业软件测试执行，帮助工业系统完成风险评估、SIL等级评估和认证、功能安全测试等服务。

技术特点

软件测试工具采用前后端分离的B/S架构和支持并行任务调度的微服务架构，适配了面向未来的SecDevOps软件开发流程。在功能架构上采用灵活统一的测试框架，具有强大扩展性，既满足白盒测试的需求，也满足目前和未来的黑盒测试需求。

软件测试工具在基础软硬件之上总体分为两个层次，核心层和应用层：

• 核心层负责软件测试工具的核心能力，开放标准接口供应用层调用，主要分成两部分：上层为核心接口层，开放标准接口供上层调用；下层为能力库，能力库包括源代码编译、解析、源代码分析并自动生成测试用例。
• 应用层可划分为服务层和终端层。服务层负责业务逻辑部分，与数据库交互、版本管理服务器交互等持久化或逻辑的控制工作，调用和封装核心层能力并开放标准接口供终端层调用；终端层为HTML网页形式，可以通过主流浏览器进行加载访问，负责与最终用户的交互。

服务层与核心层的交互分为同步和异步调用两种方式，同步调用采用HTTP Rest形式接口，异步调用配合消息队列实时进行消息通知反馈。

某领域控制系统研究所：

该研究所主要从事某领域控制系统及电子控制器/控制软件的研发、制造、集成，以及柔性联轴器的研发、生产和保障业务。基于项目需要，研究所采用SmartRocket TestGrid测试联合解决方案用于项目开展单元测试，包括单元测试工程创建、用例设计、脚本生成、调试执行、覆盖率分析与收集、测试结果报表生成、测试回归与迭代等。

使用TestGrid，可以自动生成高覆盖率、低冗余的结构覆盖用例，函数的平均语句覆盖率高达85%，且超过半数的函数可以达到100%覆盖率，为相应客户最大限度的提高了测试效率。

相关产品

SmartRocket TestGrid 

SmartRocket TestGrid是一款自主研发的嵌入式软件智能化测试工具，可以自动生成满足语句、分支、MC/DC覆盖准则，并且覆盖率高达100%的测试用例，能够降低结构化测试过程中的人员投入。

支持飞腾的CPU平台：

FT2000/4、D2000、S2500、FT2000+/64

支持麒麟的操作系统版本：

银河麒麟桌面操作系统V10版本

银河麒麟高级服务器操作系统V10版本

飞腾信息技术有限公司是国产CPU领军企业。公司总部位于天津滨海高新技术产业开发区，在长沙、北京、广州等地设有运营销售和研发中心。飞腾是国内首家获得ARM指令集授权的CPU企业，团队致力于自主CPU研发二十余年，推出的飞腾系列CPU产品集成全自主处理器内核，已形成覆盖桌面、服务器和嵌入式等领域的完整产品线。目前飞腾公司拥有500多家国内合作伙伴，基于飞腾CPU的产品已在国内政务办公、重点行业业务系统、云计算、金融、能源和交通等行业实现了批量应用。   

公司名称：飞腾信息技术有限公司

企业官网：www.phytium.com.cn

公司电话：022-58955650

公司地址：天津市滨海高新区塘沽海洋科技园信安创业广场3号楼（天津总部）

 扫描关注公众号

解决方案合作请联系

solutions@phytium.com.cn

麒麟软件主要面向通用和专用领域打造安全创新操作系统产品和相应解决方案，以安全可信操作系统技术为核心，现已形成银河麒麟服务器操作系统、桌面操作系统、嵌入式操作系统、麒麟云、操作系统增值产品为代表的产品线。麒麟操作系统全面支持飞腾系列CPU，在安全性、稳定性、易用性和系统整体性能等方面远超国内同类产品，实现国产操作系统的跨越式发展。目前，公司旗下产品已全面应用于党政、金融、交通、通信、能源、教育等重点行业，服务用户覆盖所有的中央部委、政府机关、地市党委。根据赛迪顾问统计，麒麟软件旗下操作系统产品，连续11年位列中国Linux市场占有率第一名。

公司名称：麒麟软件有限公司

企业官网：www.kylinos.cn

公司电话：022-58955650

公司地址：天津市滨海高新区塘沽海洋科技园信安创业广场3号楼（天津总部）