易复嵌入式模糊测试系统 将嵌入式设备固件运行在全数字仿真环境中,利用智能模糊测试技术对嵌入式设备固件进行测试,发现其中的关键脆弱性问题,提高嵌入式设备的安全性和稳定性。
产品功能
外设可视化建模
提供嵌入式硬件外部设备可视化拖拽组件的外设建模功能,自动生成端口、中断、其他外部事件及相应的逻辑处理流程。
用例生成
采用先进的智能模糊测试算法,以覆盖率+定型引导为导向,筛选种子用例,选择合适的变异策略及方法,自动生成大量有效的测试用例。
缺陷检测
有效识别其纳入是软件堆栈、存储器、数据异常缓冲区溢出等源码缺陷。
缺陷管理和修复
展示缺陷类型、位置和原因,支持对缺陷进行复现,提供缺陷修复建议方案,辅助缺陷修复。
逻辑覆盖率测试
支持对嵌入式固件进行函数、语句、分支、MC/DC覆盖测试、统计分析。
性能测试
精确计算函数的执行时间/次数,开发人员可以针对性的优化关键函数或模块,改善软件的整体性能。
测试报告管理
支持导出测试报告,报告内容包括项目信息、缺陷总览、缺陷详情等信息,测试相关内容报表展示,用户可了解项目整体测试以及缺陷情况。
提供嵌入式硬件外部设备可视化拖拽组件的外设建模功能,自动生成端口、中断、其他外部事件及相应的逻辑处理流程。
产品特点
产品价值
应用场景
单元测试阶段
测试部门可在集成阶段引入易复进行自动化动态测试,提高测试效率的同时,降低查找和修改软件缺陷的成本。
配置项测试阶段
配置项测试阶段,可做灰盒则试,达成语句、分支等逻辑覆盖率测试。
三方安全测评
可作为动态模糊的漏洞挖掘工具,供三方安全测评机构试用,进行嵌入式软件源码漏洞挖掘。
单元测试阶段
测试部门可在集成阶段引入易复进行自动化动态测试,提高测试效率的同时,降低查找和修改软件缺陷的成本。
配置项测试阶段
配置项测试阶段,可做灰盒则试,达成语句、分支等逻辑覆盖率测试。
三方安全测评
可作为动态模糊的漏洞挖掘工具,供三方安全测评机构试用,进行嵌入式软件源码漏洞挖掘。
需要帮助?
我们为您提供 1 对 1 专业咨询
安般科技团队,为您提供专业售前咨询服务,及完善售后技术服务。
联系我们