北京物方科技有限公司

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

ParasoftDTP是一个开发测试平台并汇总分析所有测试的结果。ParasoftDTP汇总了来自各个测试实践的结果，提供对测试结果的智能和持续监控，以便更好地了解哪些有效，哪些无效。ParasoftDTP开发测试平台通过在SDLC中持续应用软件质量最佳实践降低了商务风险。这样可以搭建自动错误预防平台和贯穿项目团队统一的风险度量标准。

ParasoftC/C++test是用于C/C++软件开发的统一、完全集成的测试解决方案。通过将ParasoftC/C++test集成到嵌入式安全和安全关键型应用的软件开发中，及早发现缺陷并节省成本。确保符合各种功能安全和编码标准。

Parasoft的全方位测试解决方案，覆盖了单元测试、静态与动态分析、API测试、功能测试、压力性能测试及信息安全测试等多个维度，无缝支持C/C++、Java、WSDL、XML、.NET、SOA及Web等主流技术栈。其核心产品线包括专为C/C++定制的C++test，助力工业制造、嵌入式、物联网及军方等领域；针对Java环境的Jtest，服务于金融、网络、IT及军方等行业；以及dotTEST，专为VB/C#/.Net代码设计的白盒测试工具。此外，Insure++作为运行时错误监控利器，精准解决内存管理、资源利用及效率问题；SOAtest+Loadtest则简化了API、云、SOA及复合应用的测试流程，确保业务与安全的双重保障。Virtualize服务虚拟化模块通过创新技术消除测试瓶颈，而DTP则贯穿软件开发生命周期(SDLC)，实施持续质量实践，构建自动化错误预防平台，统一风险度量标准，全方位降低商务风险。

ENCOSOX是由EnCoSoftwareGmbH开发的模块化分析平台，专注于汽车行业的功能安全与网络安全工程。该工具支持ISO26262功能安全全过程，包括需求管理、HARA、FMEA、FMEDA、FTA及可靠性评估（SN29500、IEC62380）；同时覆盖ISO21434网络安全分析，如TARA和ATA分析。平台具备良好的集成能力，可与IBMDoors、CodeBeamer、Jama、Polarion、EnterpriseArchitect、PTC、Jira等主流PLM工具协同，适用于系统级安全设计与合规验证。

R-FMEA（ReliaBench-FMEA）是基于业界标准和最佳实践开发而成的失效模式及影响分析软件。它基于FMEA工程应用行业-汽车行业的标准和最佳实践，融合国可工软团队十几年的可靠性咨询和服务经验，基于产品结构树和工艺流程图，通过向导式的分析过程，建立产品设计的DFMEA（设计FMEA）和产品制造的PFMEA（工艺FMEA），并可以扩展到SFMEA（系统FMEA）、MFMEA（机器FMEA）、FMECA（故障模式、影响和危害性分析）等不同的应用。

金刚”软件安全质量平台集成有NST、MAST、SAST、DAST、SCA、PMD、IAST（可选）等多种软件安全测试/扫描工具，整合到一个易于使用的集成解决方案中，使安全团队和开发团队能够更快地构建安全、高质量的软件。