专为 DO-178合规性打造的 Parasoft 开发测试平台将行业最广泛的开发测试实践平台与 Parasoft开创性的开发项目管理架构结合起来 。这为公司、组织提供了前所未有的对各种C、C++、Java、.NET代码软件开发生命周期的过程可见性和可控性。开发测试实践的功能包括静态代码分析、单元测试、代码覆盖率分析、同行代码审查、运行时错误检测和可追溯性。这就是最全面的DO-178B/C 合规性解决方案。

简化 RTCA DO-178B/C / ED-12B 标准合规性   

  • 满足综合需求的可追溯性
  • 开创性的过程一致性、可见性和可审核性
  • 用最全面可行的解决方案进行端对端质量管理
  • 持续性合规过程贯穿整个软件开发生命周期(SDLC) 并集成到团队工作流中
  • 用最小的代价迅速查找修复问题
  • 对常见的行业标准应用预先配置的模板
  • 开创性的的过程持续性、可见性和可追溯性
  • 将整个SDLC过程中的合规性检查融入到团队工作流

工具质量包和帮助  

Parasoft 产品属于“软件认证工具”的范畴,因为它们的输出不会对被测软件引入任何错误。它们在特定项目上的使用需要得到客户的授权。为了帮助实现这些必要的授权,Parasoft 提供了 DO-178B/C 认证集合,囊括了一系列的文件(函数需求规则说明,工具认证计划和工具认证规程等)以及使工具具有在 DO-178B/C 项目上使用的资格的一系列测试用例。Parasoft团队不懈地致力于帮助完成认证过程。

结构性代码覆盖率数据  

Parasoft 代码覆盖率分析帮助使用者评估测试的效力和完整性。我们提供的覆盖率分析器支持多种度量指标.。对于 C 和 C++来说,这就包括语句、分支、路径、和 MC/DC覆盖率。所有支持的覆盖率都会在GUI界面或代码监听报告中高亮显示 。可以生成多种格式的包括文件和函数数据的简要覆盖率报告。

自动化回归测试  

Parasoft的单元测试提供了自动化回归测试,使团队能够方便地进行代码重测和复审。

 主机、模拟器、目标板上执行测试  

Parasoft 单元测试自动化执行完整的测试流程,包括测试用例生成、交叉编译、部署、执行并将结果(包括覆盖率)返回到GUI界面,测试执行的顺序完全是可定制化的。

基于需求的测试和需求的可追溯性   

在Parasoft 合规解决方案的各种可用功能中,需求与自动化和手动测试、源代码、开发测试任务相关联。

运行时错误检测  

Parasoft 运行时错误检测帮助嵌入式开发团队自动定位严重的运行时缺陷,例如内存泄漏,空指针异常,未初始化内存和缓存区溢出等。

软件代码标准遵从性  

Parasoft 静态代码分析帮助开发者预防和消除缺陷:通过上千条规则查找可能引起死机,死锁,不稳定行为和性能退化的代码模式。它是用C/C++、.NET 和 Java 静态分析的关键性安全模板来预定义的。这些广泛的不断扩充的规则库可以轻松地进行定制化(图形化,无需代码)来实现自动管控自定义的最佳实践。最终根据团队的偏好形成更加切合实际的精确的验证。

数据流执行路径测试  

Parasoft 数据流分析组件模拟可能的应用程序执行路径——跨越多个函数和文件,同时确定这些路径是否会引发一些特定类目的运行时错误。例如:C/C++ 检测的问题包括使用未初始化或无效的内存,空指针异常,数组和缓冲区溢出,零除问题,内存和资源泄漏以及各类死代码。这种在不执行代码的情况下检测出运行时Bug对于嵌入式系统来说尤为重要,因为通常对这些错误进行详细的运行时分析是无效或者不可能的。

策略确立、应用和监管  

Parasoft 基于策略的方法确保公司对软件质量要求的实现,利用自动化架构确保一致的、稳定的策略应用,并通过可见性和可审核性自动化监管政策是否合规。

综合软件开发管理  

Parasoft 软件开发管理降低在关键安全性软件生命周期进程中引进的风险,确保质量软件能够一直高效地开发生产。它在开创性的级别上驱动应用程序质量和生产能力的同时,保证可预期的项目产出。

自动化单元组件测试的生成和执行  

Parasoft 单元测试自动化生成并执行基于需求的单元和组件级测试。Parasoft 自动生成完整的测试,包括单个函数的测试驱动和测试用例。这些单元测试可以用纯粹的代码创建(例如:C 或 C++ 代码)。Parasoft的自动化测试,极大地增加了测试的效率和准确性以及测试代码的可靠性。这些测试,无论是否经过修改,都可以用来初始化验证代码的函数行为。通过使用边缘条件进行测试,这些自动生成的测试用例也可以用来检查函数对非预期输入的响应,暴露出潜在的可靠性问题。这项功能适用于创建测试来检测那些可能导致程序运行失败的错误。测试执行和分析集中于测试用例浏览器,为所有存在的项目的测试用例提供清晰的是否通过的状态。