logo北京中慧智通科技有限公司

公司介绍

北京中慧智通科技有限公司成立于2013年8月29日,是一家有限责任公司(自然人独资),现公司注册地址和办公地址位于北京市海淀区农大南路1号院2号楼7层办公A-703-1,主要经营技术开发、技术服务、技术咨询、技术推广、技术转让; 企业管理咨询;销售计算机、软件及辅助设备、通讯设备、电子产品;货物进出口、技术进出口、代理进出口;软件开发;计算机系统服务。公司致力于为客户提供合适的工具及解决方案,帮助客户提升系统安全及产品质量,加速项目交付周期,业务领域涵盖软件系统质量与安全、EDA 设计与仿真验证、网络信息安全等领域。公司始终坚持以客户为中心,紧跟客户需求,竭诚为客户提供合适的产品及解决方案,协助客户更快速更低成本更少缺陷的完成项目,实现更卓越更安全更稳定的系统。

公司现为国家高新技术企业,2017年度纳税人信用级别为A级,通过ISO9001 质量质量体系认证,并与多家国内外优秀公司如Parasoft、Micro focus、Mentor、Altium、安数云、天空卫士、墨云科技等等建立了合作联系。公司现主要经营产品有:

软件系统质量与安全:白盒测试工具、黑盒测试工具、软件全生命周期工具、系统测试工具、性能测试工具、功能测试工具、UI测试工具、安全测试工具、模糊测试工具、服务虚拟化工具、移动测试工具、网络应用与安全测试工具、自动化渗透测试工具、测试环境构建及仿真等;

EDA设计与仿真验证:PCB设计工具、需求追踪管理工具、代码规则检查工具、跨时钟域分析工具、跨复位域检查工具、仿真验证工具、验证调试分析工具、代码覆盖率收敛检查工具、形式化验证工具、调试环境工具、安全综合检查工具、逻辑等效性检查工具等。

网络信息与安全:综合安全检查系统、下一代防火墙、全流量深度检测与威胁分析系统、WEB应用实时防护系统、WEB应用防火墙系统、网络入侵防御系统、数据库审计与风险控制系统、用户与实体行为分析、数据安全防泄露系统、一站式等保合规系统、云安全系统等。

公司拥有一支积极向上、专业负责的团队,90%具有本科及以上学历,管理团队具有丰富的企业管理经验,曾就职于国内知名企业管理咨询公司,具有多家大中型企业管理咨询经验及管理实施经验,技术团队具有多年软件测试工具实施经验,为国内众多客户提供了技术支持和服务,取得客户好评。

授权资质
Parasoft Corporation
Parasoft Corporation
授权[代理]
中国
等待更新
北京北大软件工程股份有限公司
北京北大软件工程股份有限公司
授权[代理]
中国
等待更新
Micro Focus
Micro Focus
授权[代理]
中国
等待更新
* 已核实仅代表在核实的时间点核实通过

Parasoft Cpptest

Parasoft®C/C++test™–针对C/C++开发的综合性代码质量保障工具

源代码缺陷检测工具

中国首家通过美国CWE认证,利用多种专利技术自动识别语义缺陷、安全漏洞和编码规则等问题,适配国内编码标准和国产环境,支持灵活定制,打破国外工具在软件检测分析领域的垄断。

代码大数据安全分析平台

基于代码大数据的机器学习和深度学习技术,运用代码成分分析、代码指纹分析、代码版权分析等手段,可对软件中使用的第三方库和框架,进行软件成分检测、代码基因图谱、安全漏洞挖掘、版权特征等综合分析,并生成软件分析改进报告,使企业对研发代码的安全性做

Parasoft Jtest

ParasoftJtest是一个针对Java语言的集成开发测试解决方案,使开发人员能够快速分析它们的代码以定位致命缺陷或安全漏洞,并执行高效的单元测试。Jtest能够帮助组织降低成本,减少风险,提高生产力并通过自动化关键的软件测试需求

Parasoft dotTEST

Parasoft®dotTEST®是专业针对C#,VB,.NET,ASP.NET和ManagedC++语言的开发测试方案,经广泛证明能提高软件开发团队效率和代码质量的自动化最佳实践解决方案

Parasoft SOAtest

ParasoftSOAtest是业内领先的针对面向服务的架构和复合应用的测试平台。

Parasoft Insure++

nsure++是专用于C和C++语言的运行时内存分析和错误检测工具,它能自动识别多种难于跟踪的编程和内存访问错误,并定位内存使用方面的潜在缺陷和效率低下等问题。诸如内存误操作,内存泄露,数组访问越界,无效指针和其它通过常规测试

Parasoft Virtualize

ParasoftVirtualize帮助开发和测试人员创建并访问进行开发或测试一个应用程序所需。

LoadRunner

MicroFocus®LoadRunner是一款行业标准性能工程软件。生成真实负载。确定并诊断问题。放心地进行部署。

Fortify SCA 源代码安全扫描工具

FortifySCA是一个静态的、白盒的软件源代码安全测试工具。它通过内置的五大主要分析引擎:数据流、语义、结构、控制流、配置流等对应用软件的源代码进行静态的分析,分析的过程中与它特有的软件安全漏洞规则集进行全面地匹配、查找,从而将源代