Coverity静态代码检测工具
软件测试/代码质量与安全
Coverity 是一款快速、准确且高度可扩展的静态分析 (SAST) 解决方案,可帮助开发和安全团队在软件开发生命周期 (SDLC) 的早期解决安全和质量缺陷,跟踪和管理整个应用组合的风险,并确保符合安全和编码标准。
Black Duck Software, Inc.
Coverity静态代码检测工具
软件测试/代码质量与安全
Coverity 是一款快速、准确且高度可扩展的静态分析 (SAST) 解决方案,可帮助开发和安全团队在软件开发生命周期 (SDLC) 的早期解决安全和质量缺陷,跟踪和管理整个应用组合的风险,并确保符合安全和编码标准。
Defensics 模糊测试工具
软件测试/代码质量与安全
Defensics 是新一代的安全测试平台,帮助开发人员和技术用户迅速、可靠且高效地找到并纠正各种危险的错误和缺陷。通过主动将未知因素纳入整体视图之中,Defensics 可以设定标准,以此支持出色的漏洞管理。Defensics 的核心技术是模糊测试 (fuzz ...
Black Duck软件组成分析(SCA)
软件测试/代码质量与安全
从开发到部署期间提供安全保障和管理开源。Black Duck 提供全面的软件组件分析 (SCA) 解决方案,用于管理在应用程序和Docker中使用开源和第三方代码所带来的安全、质量和许可证合规性风险。Black Duck 为您提供无与伦比的第三方代码可视性,让你能...
人工智能大模型是指基于大规模数据训练、具备通用认知与生成能力的基础模型,能够对自然语言、图像、代码等多种信息进行理解、推理与生成。国产 AI 大模型以中文语境和本土应用场景为核心,在语言理解、多轮对话、知识问答、内容创作与复杂任务规划等...
机械结构仿真是指利用计算机数值计算方法,对机械结构在载荷、约束及工作环境条件下的力学行为进行模拟与分析的工程技术。通过仿真计算,可以预测结构的应力、变形、振动及稳定性等性能,从而在产品制造前评估其结构可靠性。该技术广泛应用于汽车、航空航...
目前,热仿真技术已广泛应用于电子散热设计、汽车动力与电池热管理、航空航天热控系统、能源装备、功率半导体器件及工业设备等领域。 软服之家对几款主流热仿真分析软件进行了梳理,为相关从业者及学习者提供参考。
流体无处不在,空气流动、水流变化、燃烧过程等问题,都离不开流体力学分析。随着计算能力的提升,计算流体力学(CFD)已成为现代工程研发的重要工具。工程师可以通过仿真软件,在计算机中分析流动、传热、多相流等复杂物理现象,从而辅助产品设计和性...
成像光学是传统几何光学的核心内容,成像光学系统包括三个部分:物体、透镜和像。 成像光学主要研究通过光学系统实现物体成像的原理和方法。它关注光学系统的成像质量、成像误差及其消除方法,以及成像光学器件的设计和制造。成像光学的目标是使物体成像...