SmartRockt TestGrid
案例介绍
静态分析支持根据国军标、MISRA等标准对源码进行代码合规性检查；单元测试利用动态符号执行技术，自动生成覆盖率高达100%，满足语句、分支、MC/DC覆盖准则的测试用例；集成测试支持调用函数集成程度的自主控制。
本人主要担任应用层研发主管和技术专家，带领团队进行自主知识产权功能安全工具链在工业安全领域的基础软件与核心技术的研发和产品化工作。具有十余年的全栈开发经验，主要在环保，在线教育，电商，金融，医疗行业从事系统架构，开发实施及研发管理工作，作为功能安全工具链SmartRocket产品系列应用层的核心架构师和主程，在华东师范大学的形式化验证和智能单元测试用例生成学术前沿成果基础上开发了业内领先的SmartRocket iVerifier计算机联锁系统形式化验证工具及SmartRocket Unit自动化单元测试工具，实现了在工业基础化软件和核心技术领域国产化产品的突破。
SmartRockt TestGrid
案例介绍
SmartRocket TestGrid支持C和C++语言，能够同时进行静态分析、单元测试和集成测试，支持不同等级的结构化覆盖测试要求，支持目标机的适配与测试。
静态分析支持根据国军标、MISRA等标准对源码进行代码合规性检查；单元测试利用动态符号执行技术，自动生成覆盖率高达100%，满足语句、分支、MC/DC覆盖准则的测试用例；集成测试支持调用函数集成程度的自主控制。
本人主要担任应用层研发主管和技术专家，带领团队进行自主知识产权功能安全工具链在工业安全领域的基础软件与核心技术的研发和产品化工作。具有十余年的全栈开发经验，主要在环保，在线教育，电商，金融，医疗行业从事系统架构，开发实施及研发管理工作，作为功能安全工具链SmartRocket产品系列应用层的核心架构师和主程，在华东师范大学的形式化验证和智能单元测试用例生成学术前沿成果基础上开发了业内领先的SmartRocket iVerifier计算机联锁系统形式化验证工具及SmartRocket Unit自动化单元测试工具，实现了在工业基础化软件和核心技术领域国产化产品的突破。
案例图片
相似案例推荐
-
报表统计与分析
1、报表统计分析： 该功能包含两个基础功能模块：报表统计
-
空冷数据平台，echarts数据分析模块
数据大屏应用： 该功能为可视化数据大屏编辑器，可选择图表模
-
地质勘查综合数据管理系统
项目主要是地质勘察院对接的项目种类多，数量大，资料繁杂，且较
-
FLIPOS
FLIPOS不只是一个收银系统，我们提供线上线下全渠道一体化
-
数据采集机器人
两个政务协同办公系统之间有公文需要同步，数据采集机器人自动从
-
vue-element-admin
这是一个Vue +element ui 开发的工程，包括登录
1小时精推人才
需求方专属客服，免费梳理匹配
