Parasoft C/C++test通过提供业内最大的内置代码检查器,验证是否符合MISRA C 2012、MISRA C++ 2008、AUTOSAR C++14、HIC++等标准,帮助医疗设备测试实验室实现代码符合编码标准。
为了降低遵守编码标准的成本,Parasoft的专用报告使用户能够对合规流程进行精细、动态的方式查看。Parasoft的集中报告系统通过根据原始标准的分组和分类分析代码违规,帮助用户理解测试结果。
合规性文档是证明合规性所必需的,可以自动生成。生成的报告和文档符合MISRA 2020标准,这在各行各业都很受欢迎,在提高性能的同时节省了团队的宝贵时间。
Parasoft C/C++test的便捷视图和图形编辑器减少了单元测试用例创建和维护的人工工作,其单元测试框架的设计考虑了安全关键软件测试。带有测试软件激励值的存根和测试用例可以作为源代码创建,或者使用具有源代码生成功能的图形编辑器创建。
用户可以存储和审查创建的测试工件以及项目文件。用于测试软件模拟的变量和输入参数的初始化以与生产软件操作期间完全相同的方式完成,使得该方法可靠且稳健。
如果与存根和模拟框架一起使用,单元测试会更加容易和高效。Parasoft C/C++test用于创建存根和模拟的强大模块有助于故障注入测试,减少测试代码的依赖性,并使用户能够轻松地找出尚未实现的源代码。
Parasoft C/C++test显示所有测试级别的代码覆盖率结果,包括单元、集成和系统。它支持开发安全关键软件时通常需要的所有覆盖率指标(语句、分支、MC/DC、函数、调用、路径、简单条件、行、块等等)。
Parasoft用户花费更少的时间来分析覆盖率结果,以找到测试过程中的差距。开发人员可以使用动态视图在IDE中查看代码覆盖率结果,并根据度量、函数和方法或特定测试用例过滤结果。
Parasoft与团队的需求管理系统(RMS)集成,以提供可追溯性报告,该报告显示需求与以下内容之间的相关性:
●为实现这些要求而创建的源代码。可追溯性报告提供了关于开发进度的清晰完整的信息。团队可以很容易地确定已经实现了多少需求,以及它们被测试的有多彻底。
Parasoft C/C++test通过 TÜV SÜD认证,适用于开发安全关键软件。对于具有较高风险水平的项目,Parasoft C/C++test的鉴定套件可以自动化鉴定过程的重要部分,减少了手动工作量。
专用的认证支持工具指导用户完成认证工具所需的所有步骤。它自动化了认证工具所需的大部分繁琐的手动工作,包括执行所提供的详尽测试套件中的测试用例,以及生成记录认证过程所需的最终报告。
Parasoft C/C++test是一个集成的软件医疗设备开发测试解决方案,用于自动化C和C++的广泛软件测试实践。通过自动化功能安全标准(如IEC 62304)所要求的测试实践,医疗机构可以减少实现合规性的成本和工作量。了解更多关于这些医疗设备测试的信息。
|
|