SmartRockt TestGrid

猿急送>上海前端兼职程序员>Brody Liao>

案例列表

基本信息

案例ID：216804

技术顾问：Brody Liao - 14年经验 - 洋码头

联系沟通

微信扫码，建群沟通

项目名称：SmartRockt TestGrid

所属行业：企业服务 - 行业细分软件

->查看更多案例

案例介绍

SmartRocket TestGrid支持C和C++语言，能够同时进行静态分析、单元测试和集成测试，支持不同等级的结构化覆盖测试要求，支持目标机的适配与测试。

静态分析支持根据国军标、MISRA等标准对源码进行代码合规性检查；单元测试利用动态符号执行技术，自动生成覆盖率高达100%，满足语句、分支、MC/DC覆盖准则的测试用例；集成测试支持调用函数集成程度的自主控制。

本人主要担任应用层研发主管和技术专家，带领团队进行自主知识产权功能安全工具链在工业安全领域的基础软件与核心技术的研发和产品化工作。具有十余年的全栈开发经验，主要在环保，在线教育，电商，金融，医疗行业从事系统架构，开发实施及研发管理工作，作为功能安全工具链SmartRocket产品系列应用层的核心架构师和主程，在华东师范大学的形式化验证和智能单元测试用例生成学术前沿成果基础上开发了业内领先的SmartRocket iVerifier计算机联锁系统形式化验证工具及SmartRocket Unit自动化单元测试工具，实现了在工业基础化软件和核心技术领域国产化产品的突破。