flxa19310090839的博客

摘要：源代码缺陷是影响软件质量、安全性和可靠性的代码问题，其范围比Bug更广。根据CWE标准，缺陷可分为代码问题、安全问题、性能问题等多种类型。静态代码分析(SAST)是有效的检测手段，但现代软件规模扩大、复杂度增加带来了多语言支持、误报率控制等新挑战。专业工具如CodeSense通过深度分析、AI辅助等技术，能高效检测缺陷并提供修复建议，帮助提升软件质量、降低维护成本。源代码缺陷分析已成为保障软件安全可靠的重要环节。

第三届中国民用航空机载与软件大会在扬州召开，泛联新安发布适航鉴定套件SkyTrust。该套件包含六大工具，涵盖结构覆盖率分析、耦合性分析、静态代码检测、架构优化、堆栈分析和目标码验证功能，完全符合DO-178B/C适航标准。SkyTrust通过AI接口、低膨胀率等技术优势，显著提升机载软件验证效率，填补国内技术空白，助力航空领域自主可控能力建设，为适航审查提供完整证据链。

2025世界计算大会在长沙开幕，泛联新安发布DTCoder研发效能大模型。作为昇腾生态合作伙伴，泛联新安参与开源生态建设，联合华为等19家伙伴推动AI技术落地。DTCoder是国内首款嵌入式领域大模型，基于2000亿tokens数据训练，可提升装备研发效率，适用于军工、智能制造等多个领域。此次合作彰显了泛联新安在国产智能工具链的创新实力。

iUnit7.0实现全面升级，通过目标代码导向输入生成和符号执行技术将覆盖率保持在90%+的高水平。创新性地采用LLM结合程序分析方法实现真正功能测试，包括代码切片、增量式代码提取和智能断言生成三大核心技术。产品支持代码驱动用例、嵌入式设备适配、流水线集成等功能升级，尤其在工业控制领域达到国际领先水平。该版本重新定义了智能测试工具边界，将传统人工测试转变为自动化工作流，显著提升测试效率和质量。未来将持续探索AI与测试的深度融合，推动软件质量工程向智能化方向发展。

湖南省工信厅发布2025年先进计算典型案例名单，泛联新安嵌入式软件研发效能大模型应用成功入选。该企业自主研发的DTCoder大模型通过优化嵌入式软件开发全流程，有效提升研发效能和质量，获省级认可。此次入选彰显了企业在先进计算领域的技术创新实力，未来将继续深化研发，助力产业发展。

泛联新安"高质量软件智能开发解决方案"入选2025智能软件"银弹"优秀案例。该方案为汇川技术提供全流程工控软件开发支持，使测试效率提升50%、开发效率提升20%。此次获评彰显了行业对其核心技术的认可，将推动方案在航空、金融等关键领域应用。未来泛联新安将持续深耕智能软件工具链，助力中国软件行业智能化转型。

本文系统阐述了软件质量测试的概念体系与实践方法，重点介绍了泛联新安公司开发的iUnit智能单元测试平台。软件质量测试涵盖功能、性能、安全等多维度评估，其发展趋势正从传统手工测试向智能化、自动化演进。iUnit平台针对C/C++语言，实现了90%的自动化测试覆盖率，支持多行业标准，具备动态符号执行与约束求解等核心技术，可显著提升测试效率。该平台在汽车、航空等领域应用广泛，支持国产操作系统，体现了软件质量测试向智能化、标准化的发展方向，为企业构建现代化质量保障体系提供了高效解决方案。

本文系统分析了软件测试工具选择的决策要素，从技术栈匹配度、测试类型需求、团队技能水平到项目规模复杂度等多个维度提供选择指南。重点介绍了符合行业标准的专业解决方案iUnit平台，其支持C/C++项目自动化测试，可显著提升效率并降低成本。文章强调测试工具选择需结合项目特点和团队实际，通过全面评估才能做出最优决策，为项目成功奠定基础。

泛联新安iUnit智能单元测试平台，针对C/C++语言，持续保持90%+高覆盖率，工业场景已实现100%。