安般科技嵌入式模糊测试工具详解
模糊测试嵌入式
6/28/2023
来源

首图.gif


近年来,随着各学者和软件企业对模糊测试研究的深入,其应用范围也得以拓展,模糊测试可以对环境变量和参数、Web应用程序、文件格式、网络协议、Web浏览器、嵌入式和系统内核等进行测试。


安般科技以当代智能模糊测试技术和程序分析技术为核心、以软件全流程负面测试为研发方向,推出了安般智能模糊测试平台,整合源代码、API、嵌入式、协议等多款产品。


针对嵌入式软件,安般科技推出的是基于覆盖率反馈的嵌入式模糊测试工具——易复嵌入式模糊测试系统。通过建设嵌入式软件运行的仿真环境将待测程序运行起来,配合模糊测试算法引擎,生成大量有效测试用例,发现并定位嵌入式软件中的缺陷,提高各类测试覆盖率,并能统计函数执行路径及性能情况,为嵌入式软件研发、测试、维护等环节提供强力的安全保障,提高软件研发的效率、节省开发与测试成本、保证软件质量。


那么,易复是如何做到的呢?


首先,易复基于多激励输入的智能模糊测试用例变异技术。嵌入式模糊测试工具易复采用的模糊测试引擎技术结合了人工智能算法,并基于覆盖率引导,对多激励输入测试用例进行变异,自动生成大量有效的测试用例,对目标软件进行运行时状态监控,结合缺陷检测功能来发现程序中的潜在缺陷,无需耗费人力编写测试用例,可以节省大量人工。


其次,易复构建了全数字仿真环境。针对嵌入式软件开发平台成本高昂、测试环境通用性差等问题,易复采用了嵌入式软件动态仿真技术,支持嵌入式环境的全场景仿真:处理器指令集+各种外设;且支持多种处理器型号,比如8051系列、TMS320C24X、28X、64X、67X系列、Freescale_HCS08等,为高安全性、高可靠性的项目提供通用化的、低成本的嵌入式软件动态运行的全数字仿真环境。

062801.png


不仅如此,易复还打造了一个一体化测试平台,集功能测试、覆盖率测试、性能测试等多种测试方法于一体,致力打造全面的测试平台,自动化完成对嵌入式软件全方位的检测,提高嵌入式软件的安全性和健壮性。

062802.png


此外,易复还实现了自动化的缺陷检测与管理。易复可以在测试过程中有效识别缺陷,并提供缺陷类型、寄存器、内存和覆盖等信息。为解决传统测试方式复现困难的问题,易复还设有重放功能,重放导致异常的测试用例即可复现问题,通过缺陷检测、定位及复现,达成辅助开发人员分析缺陷原因、快速修复缺陷的目标,提升嵌入式软件的安全性。而且,易复支持的缺陷类型达30种左右,包括内存缓冲区错误、指针问题、数据验证、异常trap错误、非法/危险内存操作错误等多类型。


作为一款嵌入式模糊测试工具,易复可以支撑多类机构开展相关工作与研究。目前,安般科技的易复嵌入式模糊测试系统已在军工、航天航空、智能汽车、工控等行业建立标杆客户,并取得良好反馈。