立即咨询

电话咨询

微信咨询

立即试用
商务合作

安般科技软件质量保障与测试解决方案

安般科技软件质量保障与测试解决方案,整合易恒智能模糊测试系统、易智大模型安全测评系统核心能力。依托智能模糊测试与程序分析技术,覆盖软件全流程负面测试,可精准检测软件缺陷、保障安全,助力军工、汽车等多领域客户缩短开发周期、降低成本,高效提升软件质量与稳定性。
立即咨询

 

icon技术:什么是模糊测试?icon

纯随机测试 发展为>基于AI算法的智能模糊测试

                1. 模糊测试是一种动态测试技术,一种非功能性的测试技术,关注程序的健壮性、安全性
                2. 它会根据一定的规则自动或半自动地生成随机数据,自动生成海量测试用例进行动态测试
                3. 将这些产生的随机数据输入到动态运行的被测程序入口
                4. 同时监控被测程序是否有异常情况出现,如系统崩溃、断言失败等来发现软件的缺陷。
随机模糊测试
纯随机的模糊测试
效率低下,覆盖率低
仅适合一些UI测试
模板模糊测试
基于模板的模糊测试
稍微有效,但效率同样低下
无法绕过状态和完整性校验。
文法模糊测试
引入状态机和文法语法模型
是黑盒最优解
目前协议模糊测试主流策略
智能模糊测试
引入人工智能算法
基于反馈和突变的模糊测试
获得指数级的效率提升

 

icon贡献|安般已在诸多客户和开源项目中发挥优势icon

 

 

 

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

 

 

 

icon质量左移、敏捷开发icon

01
DevQualOps有助于在开发过程早期识别软件缺陷,而不是发布后高效实践“质量左移”、“安全左移”的思想
使开发、测试、运维等各个阶段都能及时发现质量隐患并妥善处理。
02
模糊测试技术与传统DevOps相结合
在软件开发生命周期的各个阶段实施质量保证措施支持敏捷方法和DevOps速度开发安全、可靠的软件

 

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

 

 

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

 

 

 

 

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

关注导致运行异常的质量问题和注入等安全问题,标准版本不提供业务功能逻辑的正确性判断。

 

 

iconRTOS智能模糊测试解决方案icon

 

 

 

iconRTOS模糊测试工作流程icon

 

工作流程描述如下
(1)被测件:RTOS内核、中间件、应用程序源码插桩;
(2)配置Web端测试项目,设置被测件相关参数、初始测试用例,测试结束条件;
(3)运行被测件二进制文件及测试入口程序,Proxy服务;
(4)启动测试任务;
(5)筛选种子用例,选择最佳变异策略及变异方法,生成测试用例,发送给被测件程序;
(6)实时监控被测程序运行状态,并将用例执行路径与运行状态等信息,反馈给模糊测试引擎;
(7)模糊测试引擎接收到被测件运行状态信息后,做缺陷诊断、计算覆盖率;
(8)根据测试结束约束条件,判断测试是否完成,若已完成进四行步,否则进行第⑨步;
(9)筛选种子用例并优化其队列,根据第⑦步计算出来的覆盖变化,筛选新的种子;
(10)继续选择最佳变异策略及方法,生成新的测试用例;重复⑤-⑩步,直到测试结束;
(11)结束本次测试任务,生成测试报告;
 
 
 

 

icon易侦智能模糊测试系统icon

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

 
易侦测试对象
测试对象指的是具备协议通信能力的嵌入式设备、工控设备、软件服务等,例如:边缘物联代理、PLC、采集器、路由器
易侦的作用
通过协议模糊测试技术提供未知漏洞挖掘能力,帮助客户验证软件或硬件的安全性、健壮性,从而可以提高设备稳定性

 

 

icon部署方式icon

 

 

 

icon嵌入式模糊测试系统|技术原理icon

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

 

 

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

 

 

icon单元测试产品1-ABFerry-实现方案icon

实现方案:

研发自动化模糊测试入口生成技术,利用客户已有高质量单元测试用例,实现自动化模糊测试。 

系统自动提取单元测试用例中的初始参数作为种子,提升模糊测试的输入质量。

未覆盖函数采用自研函数级符号执行技术,达到饱和覆盖的效果。

 

 

icon单元测试产品2-易测(ABUnitTest)icon

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

自动生成用例 
大模型自动生成用例
自动生成测试驱动
少量用例需人工修改
一键编译运行
一键提交批量代码
后台独立运行
可利用夜间测试
动态模糊测试
测试入口自动生成
模糊测试提升覆盖率
深入挖掘更多Bug

 

icon单元测试产品2-易测(ABUnitTest) - 解决方案icon

 

 

 

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

业务发展
大模型提供公共知识,存在各种违法违规不安全的输出,需要进行测评。
大模型演进
大模型引入企业内部知识并泄露商业机密,需要进行安全防御和数据保障。
大模型物理世界交互
大模型与物理世界相互感知和影响,需要构建 Agent/具身安全评估与保护。

 

 

icon系统方案icon

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

 

 

icon荣誉及资质icon

 

 

 

 

icon专利、软著及标准参编icon

 

 

 

产品推荐

newline 交互平板NC98
newline会议平板NC98为您的团队带来高效的会议解决方案,您可以在会议中轻松进行交互,NC98采用轻薄的框架设计,嵌入式工具和个性化的用户界面,实现会议平板和工作小组成员的交互协作。4K超高清画质提供更加观赏效果,无论播放视频、图片都能够高清呈现。98寸超大屏幕是大型会议室、培训机构、医疗、金融等行业的智能化完美协同解决方案。
免费试用
查看详情
灵犀深智秒播AIGC 直播工具
灵犀深智秒播 AIGC 直播工具,整合 AI 数字分身口播短视频系统与 AI 数字人直播系统搭建能力。基于 AIGC 技术,快速生成数字人直播内容,实现 7×24 小时不间断智能直播。支持多场景应用、个性化形象定制,操作便捷高效,助力企业降本增效,轻松开启智能直播新体验。
免费试用
查看详情
好视通智慧党建平台
好视通智慧党建平台,是以党的十八大和十八届五中、六中全会的精神为指导,以加强党员干部教育为目的,并且结合各级党政机关部门的实际情况,依托互联网、云计算、可视化音视频通信、数据交互、远程共享和协助等多方式的交流技术建设的 “智慧党建平台”
免费试用
查看详情
感恩有你科技灵活就业服务平台
感恩有你科技灵活就业服务平台,为企业提供一站式灵活用工综合服务,合法合规降低用工成本。平台为灵活就业者赋予正规合作商身份,构建企业、平台、个人三方承揽合作关系,实现资金、业务、合同、票据四流合一。全程合规管控、完税闭环,有效规避用工与财税风险,让企业降本增效更安心、个人收益合法有保障,赋能灵活就业生态健康发展。
免费试用
查看详情