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

• 满足综合需求的可追溯性
• 开创性的过程一致性、可见性和可审核性
• 用最全面可行的解决方案进行端对端质量管理
• 用最小的代价迅速查找修复问题

• 对常见的行业标准应用预先配置的模板
• 开创性的的过程持续性、可见性和可追溯性
• 将整个SDLC过程中的合规性检查融入到团队工作流
• 持续性合规过程贯穿整个软件开发生命周期（SDLC） 并集成到团队工作流中

工具质量包和帮助  

结构性代码覆盖率数据 

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的自动化测试，极大地增加了测试的效率和准确性以及测试代码的可靠性。这些测试，无论是否经过修改，都可以用来初始化验证代码的函数行为。通过使用边缘条件进行测试，这些自动生成的测试用例也可以用来检查函数对非预期输入的响应，暴露出潜在的可靠性问题。这项功能适用于创建测试来检测那些可能导致程序运行失败的错误。测试执行和分析集中于测试用例浏览器，为所有存在的项目的测试用例提供清晰的是否通过的状态。