
技术:什么是模糊测试?
纯随机测试 发展为>基于AI算法的智能模糊测试
贡献|安般已在诸多客户和开源项目中发挥优势

安般负面测试工具链,测试全面左移,有效提升软件可靠性和开发效率

质量左移、敏捷开发

易恒智能模糊测试系统|通过AI算法,基于实际运行,实现零误报测试

易恒智能模糊测试系统|可发现问题类型(C/C++)

易恒智能模糊测试系统|可发现问题类型(Java)
关注导致运行异常的质量问题和注入等安全问题,标准版本不提供业务功能逻辑的正确性判断。

RTOS智能模糊测试解决方案

RTOS模糊测试工作流程

易侦智能模糊测试系统
易侦协议模糊测试系统是一款通用的自动化黑盒模糊测试工具,能够高效识别协议实现相关代码的漏洞或缺陷。通过协议模板构建初始测试用例,并对用例进行变异,确定导致漏洞或缺陷的测试用例,精准定位测试对象的错误现场,并出具详尽的测试报告。帮助企业更高效的发现和修复软件中的安全漏洞或缺陷,提升软件质量。

部署方式

嵌入式模糊测试系统|技术原理
通过全数字仿真,创建固件运行环境(CPU指令集+中断/时钟/寄存器/IO等各类外设),将被测固件运行起来,配置固件激励协议及序列,生成并注入用例,实时监控被测固件运行状态;基于覆盖率反馈、自动化生成大量有效测试用例;结合缺陷检测功能,发现并定位被测固件中隐藏的未知缺陷,提供缺陷详情等,直至达到测试结束的约束条件,结束测试,生成测试报告。

嵌入式模糊测试系统|产品能力

单元测试产品1-ABFerry-实现方案
实现方案:
研发自动化模糊测试入口生成技术,利用客户已有高质量单元测试用例,实现自动化模糊测试。
系统自动提取单元测试用例中的初始参数作为种子,提升模糊测试的输入质量。
未覆盖函数采用自研函数级符号执行技术,达到饱和覆盖的效果。

单元测试产品2-易测(ABUnitTest)
易测是一款基于大模型的单元测试工具,具备自动生成用例、一键编译运行、动态模糊测试 的产品特点。
单元测试产品2-易测(ABUnitTest) - 解决方案

大模型安全产品体系一从测评到防御、从大语言模型到具身智能

系统方案
完整的测评体系:系统包含对数据集、大模型各类内容模块的测试,实现对衍生风险、内生风险和外生风险的综合测试,多角度评估大模型的安全性。
构建蓝军攻击-检测体系:系统重点构建以攻击样本自动化生成、多维度模型攻击和检测为核心的蓝军体系,可有效挖掘出大模型潜在的问题。

荣誉及资质

专利、软著及标准参编




