嵌入式静态分析:
- 用户界面极其扩展性强,可嵌入到各种主流IDE环境;
- 提供1800多条的内建代码撰写规则,提供最佳编码建议;
- 根据用户选定的编码规范对代码做静态分析来增强兼容性;
- 提供一个图形化的RuleWizard编辑器来定制用户编码规则;
- 对代码路径做静态模拟以定位潜在运行时错误。
嵌入式单元测试:
- 提供图形化接口和动态跟踪使代码走查自动化;
- 自动生成并执行单元和组件级的测试;
- 灵活的桩函数机制;
- 完全支持回归测试;
- 代码高亮显示,八种代码覆盖率分析;
- 使用图形或命令行方式进行全面团队部署。
嵌入式测试:
- C++test可以用于基于宿主环境和目标环境的代码分析和测试流;
Parasoft C++test的单元测试特性支持自动测试C/C++类、函数或部件,而不需要编写测试用例、测试驱动程序或桩调用代码。C++Test能够自动测试代码构造(白盒测试)、测试代码的功能性(黑盒测试)和维护代码的完整性(回归测试)。C++Test是一个易于使用的产品,能够适应任何开发生命周期。通过将C++Test集成到开发过程中,您能够有效地防止软件错误,提高代码的稳定性,并自动化地实现单元测试(这是极端编程过程的基础)。
以下是Parasoft C++test功能模块:

Parasoft软件测试方案规划
Parasoft经过多年的研究发现,一般针对嵌入式行业客户,我们强烈推荐如下规划方案:
1)使用C++test服务器版工具对项目代码进行整体分析测试(含BugDetective分析);
2)自动生成大量的标准测试用例,对代码进行全面检测后,之后每次软件升级更新、功能修改,都可以通过这套测试用例包测试,以保证代码质量;
3)与现有的测试环境相结合,与源码系统、Bug管理系统结合,建立团队协同处理;
4)管理人员能通过各种直接的度量表,能看到各个项目的进度,各个团队的工作进度,以及相关开发人员的每天的工作量;
5)管理人员,可以清楚的看到每天代码的处理情况,每天测试的情况,以及测试人员提交bug和开发人员处理情况;
6)能够帮助用户自动生成多种格式的(PDF、HTML)测试分析报告,并通过Email的形式转发给管理人员,并将详细情况转发给相关的开发人员;
7)测试人员不需要每天都坐在电脑前去测试,可以设置相关的测试执行细节,让测试机在夜间进行相关测试,并产生详细的报告;
8)C++test测试工具,具有独立安装版和插件版,可以支持AIX、Windows、Solaris、Linux等系统,不论32位还是64位;
9)将一些军工和航天航空及嵌入式领域等要求严格的各种编码标准和测试流程引入到企业的开发和测试中,可以自行建立相关的测试规范标准。
嵌入式测试方案构建模型
根据相关情况,我们建议以C++test服务器版本和C++test桌面浮动版本配合使用。
方案平台架构如下图所示:


Parasoft针对嵌入式提供的检测标准:
C++test 为广大不同行业的嵌入式企业提供了不同的嵌入式标准测试模板,针对各行业不同的标准要求,Parasoft C++test目前提供:
♦ GJB 8114
♦ GJB 5369
♦ MISRA C
♦ MISRA C 2004
♦ MISRA C 2012
♦ MISRA C++ 2008
♦ Joint Strike Fighter
♦ HIS Source Code Metrics
♦ ISO 26262 Recommended Rules
C++test 支持的嵌入式环境

本方案将给带来的价值如下:
1)提高产品质量,减少成本
使用自动化单元测试工具进行测试,整个开发和测试过程引入错误的几率大大降低,帮助工程师快速准确发现和修复错误,从而实现软件质量的全面提升。同时,本方案可以自动迅速定位新旧版本更新时(基于回归测试)引入的错误,使新款产品的推出在一个可控的机制下开发。
2)降低市场风险
由于质量的提升和可控,产品维护费用每降低1%,如原本利润有20%,则利润提升5%。
3)缩短上市周期
加速测试的进程,迅速发现和修复软件中高风险的错误,使功能测试不会因为代码本身含有大量错误而延误甚至失败,帮助项目按预期准时完成,甚至提前完成,测试得出的有力数据,支撑项目质量可控的准确性,从而真正做到加速产品交付。
4)提升员工价值,提升企业竞争力
自动化测试工具的引入,使得代码撰写规范检测自动化,单元测试自动化,快速地寻找和分析软件错误,研发人员有更多精力投入到真正的项目开发和创新实现中去,从而为公司创造更多的价值。同时,在自动化工具的辅助下,员工的能力提升更快,员工个人价值也会得到更快更好的提升。
5)获取其他全球领先企业的成功经验
Parasoft为美国,新加坡、日本、澳大利亚、中国台湾、北京等国家和地区的金融、军工、通讯、国家科研项目服务多年。国内的一些重要的研究所,如中国计算机物理研究所、北方微电子,中国科学院自动化研究所等都在使用parasoft自动化软件测试工具为产品质量把关。Parasoft工具的不断更新和升级,将把这些公司的应用经验通过技术手段融入方案,使优能能从使用方案的一开始就能马上从中获益。
6)加强公司开发团队的管理
Parasoft软件测试工具提供的是一个整体软件测试团队解决方案。通过一系列最优化的配置和组合,使得项目的开发、测试与项目管理一体化。从而更大幅度地提升团队开发和管理效率。
7)持续创造价值
方案提供的工具持续可用,可长期为团队不同项目创造价值,为企业整体的发展和跨越贡献力量。