原创
嵌入式软件中的软件验证与软件确认

确保嵌入式软件的正确操作,质量、安全性和保障是嵌入式系统软件活动的重要组成部分。在很大程度上,团队通过软件测试以及整个开发过程中的分析、可追溯性、文档等来完成此任务。关键安全软件具有严格的验证和确认方法,这些方法通常被编入行业标准。这就引出了一个问题:有什么区别?

2020-11-02 10:35:01.413
原创
行业认证标准支持(七):Parasoft Services帮助实现IEC 61508合规性

IEC 61508被认为是功能安全的基本或“通用”国际标准。IEC 61508可应用于任何类型的与安全相关的电气/电子产品。Parasoft用户可以通过自动执行标准所需的多种测试方法来节省时间和精力,从而利用Parasoft C/C++test降低符合IEC 61508的成本。

2020-10-30 13:35:17.743
原创
医疗行业案例:VZVZ通过Parasoft简化了医疗行业的严格验收测试

借助Parasoft,VZVZ获得高度适用的认证平台,用于构建医疗保健提供者的模拟器。该解决方案使VZVZ能够连续监控来自LSP的流量,并在需要时更改测试数据,并在发布新版本的服务定义时调整仿真。

2020-10-29 13:47:28.650
原创
行业认证标准支持(六):Parasoft帮助实现EN 50128合规性

借助Parasoft C/C++test及其自动化软件测试工具套件,可以有效、高效地达到EN 50128的合规性。30多年来,Parasoft一直通过所需的优秀实践来帮助组织满足严格的标准,例如需求可追溯性、静态代码分析、动态分析、单元测试、软件指标、主机上或目标上的软件验证和确认、完整的结构代码覆盖率、功能/黑匣子测试和界面测试。

2020-10-29 11:32:46.833
原创
较全行业认证标准支持(五):Parasoft帮助实现DO-178B/C合规性

DO-178B和DO-178 C提供了指导,以供航空航天软件工程师使用,以确保适航性。Parasoft C/C++test通过使标准所需的软件测试方法自动化来帮助用户降低实现合规性的成本。Parasoft的解决方案包括静态分析、指标分析、单元测试、代码覆盖率和对象/组件覆盖率,为团队提供了一种实用的方法来防止、暴露和纠正其功能安全系统中的错误。

2020-10-28 11:11:03.857
原创
较全行业认证标准支持(四):高效、安全地达到DISA ASD STIG标准

您的软件开发团队可以使用Parasoft满足所有要求的业界领先支持,简化对DISA ASD STIG的遵守。从深入的应用程序扫描(发现OWASP Top 10、溢出、竞争情况和错误处理)到测试自动化的应用,再到STIG功能验证要求。

2020-10-27 13:25:04.620
原创
金融行业案例:SOAtest助力全球资产管理公司缩减20%的测试时间

Ignis 资产管理是一家全球性的资产管理公司,总部设在伦敦,管理着超过 1000 亿美金 的资产。Ignis 近期开始着手一个大的项目,该项目旨在外包后台以及实施要求支持外包模 式的体系结构和应用程序,我们就来看看Parasoft是如何解决这个问题的。

2020-10-27 10:42:16.017
原创
较全行业认证标准支持(三):Parasoft的CWE合规性

CWE(常见弱点枚举)列出了800多种编程错误、设计错误和体系结构错误,这些错误可能导致可利用的漏洞,而不只是前25名。CWE/SANS前25名最危险的软件错误是一个简短列表。可能导致严重软件漏洞的最广泛、最严重的错误,通常很容易发现和利用。这些是最危险的弱点,因为它们使攻击者能够完全控制软件,窃取软件数据和信息或完全阻止软件运行。

2020-10-26 10:41:40.737
原创
较全行业认证标准支持(二):Parasoft的CERT合规性

CERT安全编码标准是由软件工程学院(SEI)开发的,适用于多种语言,其目的是通过避免对安全性问题更敏感的编码结构来加强您的代码。Parasoft C/C++test完全支持CERT编码准则,包括其他静态分析工具所缺少的关键准则。

2020-10-23 13:41:35.990
原创
最全行业认证标准支持(一):Parasoft的AUTOSAR合规性

AUTOSAR(汽车开放系统架构)是汽车电子、半导体和软件行业的汽车制造商、供应商、服务提供商和公司的全球发展合作伙伴关系。AUTOSAR开发了用于现代C++软件开发的标准AUTOSAR C++14,而Parasoft对该标准的覆盖范围最广。 Parasoft C/C++test具有针对市场上可用的AUTOSAR编码标准的最佳覆盖范围,并结合了专门的合规性报告。 这个功能强大的解决方案通过报告框架帮助组织加快遵从AUTOSAR规范的代码的过程,该报告框架可帮助管理遵从性流程并自动生成遵从性文档,从而大大减少了遵从性活动的人工开销。

2020-10-22 11:38:41.620
Parasoft

Parasoft专注于提供软件测试解决方案,针对C/C++,Java,.NET和嵌入式的开发测试有着十几年的深入研究,从开发到质量检查,Parasoft的技术通过集成静态和运行时分析,单元,功能和API测试,以及服务虚拟化,在不牺牲质量和安全性的情况下加快软件交付,节约交付成本.[详情]

扫码咨询


添加微信 立即咨询

电话咨询

客服热线
023-68661681

TOP