7月29日-30日，由中国计算机学会（CCF）主办，CCF容错计算专业委员会和南京大学联合承办的“第二十届全国容错计算学术会议（CCF CFTC 2023）”在江苏省常州市中吴宾馆成功召开。来自全国高校、研究所以及企业界的600余名专家学者、论文作者和企业界同仁参加，与会嘉宾在会上分享和探讨了容错计算领域的前沿话题和最新研究成果。
作为一直以来致力于探索更先进测试技术的技术公司，安般科技亮相本次大会并出席了第七届安全关键软件测试技术论坛，与来自国内外学术界和工业界的知名专家探讨关键软件测评技术领域的研究发展。
强势吸睛｜众多专家莅临展位参观交流
此次大会，安般科技在会场设有展位，吸引了众多来自全国各地的专家学者、企业高管参观交流，安般科技工作人员详细介绍了公司推出的产品及方案，与会人士纷纷对相关技术原理和方案细节表现出浓厚的兴趣，经过深入探讨，更是对安般科技智能模糊测试技术及发展前景给予了充分肯定。
精彩分享｜新一代嵌入式软件测试方案
29日下午，安般科技CEO&创始人汪毅带来了主题为《基于智能模糊测试，破解嵌入式负面测试难点》的演讲，对嵌入式软件测试的现状及痛点、难点进行了解读，并介绍了安般科技新一代嵌入式软件测试方案，详解了方案的技术特点，并以实际应用案例展示方案的价值。
由于装备软件中的代码急速膨胀，装备软件复杂性呈指数级增长，嵌入式软件缺陷问题十分严峻，平均每百万行代码就有 6,000 个缺陷，1% 到 5% 的缺陷为可能导致重大事故的代码漏洞。国内外多项标准对军用软件负面测试提出要求，比如国外的NIST 8397、HR 5515、ISO/IEC 29119，国内的GJB-Z-141-2004《军用软件测试指南》，可见开展负面测试的重要性。
嵌入式软件面临着来自网络服务、应用软件、系统层面和硬件层面的威胁，对此，汪毅表示，如今嵌入式软件负面测试的目标在于：验证测试充分性，评估性能和资源利用率，验证安全性和稳定性，以及满足标准规范。
通过对国内外嵌入式测试现状及趋势进行分析，可以发现，当下装备软件负面测试极度不充分，测试任务重且测试技术人员严重短缺，手工测试远远跟不上装备发展要求。
针对以上问题，结合嵌入式软件测试目标，安般科技推出了新一代嵌入式软件测试方案。该方案搭载智能化模糊测试引擎，通过基于时间切片的异构引擎融合、基于预测算法的充分性评估、多激励输入变异等相关技术，提升缺陷挖掘能力天花板；采用多种运行环境的测试技术，针对不同场景，采用不同技术，最终实现各种复杂的嵌入式场景下的模糊测试。
新一代嵌入式软件测试方案架构图
目前，安般科技在嵌入式软件测试方面已形成软件场景适配丰富、缺陷捕获能力全面、动静结合及仿真与模糊测试结合、自主基础检测引擎强大等技术优势。
之后，汪毅还展示了嵌入式软件安全测试全景——以模糊测试为核心，联合其他类型的测试工具，共同构建软件质量安全体系，深度赋能内部测评与三方审计验收，打造高可靠安全引擎。
嵌入式软件安全测试全景
最后，汪毅分享了安般科技对某DSP6713嵌入式软件进行测试的案例，运行260min，对5,985行代码进行了测试，生成测试用例105,804个，而且指标精确至函数，覆盖率提升明显。整体实现降本增效，使产品快速迭代，紧跟市场诉求，形成业务增长和产品赋能的正向闭环。
安般科技的分享获得了在场嘉宾的热烈掌声，吸引了众多专家交流研究成果及落地经验。通过此次会议，安般科技更坚定了以最新的测试技术及方案提升嵌入式软件测试效率、充分性、有效性的信念，希望能够带来更高的军事、经济和社会价值。
