代码分析系统V1.2

可以对.c/cpp文件进行静态分析。主要分析内容包括控制流分析、数据流分析、基本度量指标的计算、违反代码规则的检查等。能够显示函数间的调用关系，能够显示函数的控制流 图。代码规则以 MISRA为依据，分析了DU,DD,UR以及混合类型运算等近60种常见问题。检查出的问题系统会给出问题发生的位置，原因以及对应的规则，方便用户查证并改进问题，高效的改正问题以提高代码质量。

雨田静态分析系统V1.1

能够对c文件进行静态分析。分析内容主要包括控制流分析、数据流分析、复杂度分析等内容。能够显示文件中的函数调用关系图，能够显示每个函数的控制流图。能够显示度量指标以及规则检查的结果。

雨田单元测试系统2.0

雨田单元测试系统2.0是拥有独立知识产权的国产测试软件，能够对c文件进行单元测试和集成测试。它以被测单元为纽带，将首次测试以及后续的回归测试有机的关联起来，使测试人员在充分利用历史用例的基础上，集中精力对真正需要测试的单元进行测试。雨田单元测试系统2.0不但实现了“统一的用例数据录入界面”、“自动生成用例”等多项测试技术的突破，朝着自动化测试迈进了重要的一步，而且极大地推动了单元测试的效率与质量。依托领先的技术、完善的功能，安全可靠的系统，雨田单元测试系统2.0能够为航空、航天、船舶、兵器及其它重要领域的软件可靠性做出坚实的支撑。 技术特点  功能强大 雨田单元测试系统V2.0 为用户进行单元测试和集成测试提供全方位的支持，在文件解 析、手工创建用例、执行用例以及生成相关报告等功能的基础上，开创性的研发了“用例统一录入界面”、“自动生成用例”以及“各次测试有机关联”等多项创新且实用的功能，最大化地降低用户进行单元测试的工作量。  通用性强 首先，通过应用新研发的用例模型，在不编写任何代码的前提下，可以对c语言语法允 许的各种复杂的输入、输出数据快捷准确的创建用例并进行测试。其次，类c语言的脚本的引入，令系统模型能够描述数据之间各种复杂的约束关系，从而实现了“自动生成的用例”功能的适用范围的全覆盖。另外，基于先进的词法及语法分析技术，能够正确解析通过编译的各种复杂的c文件。  易用性好 雨田单元测试系统主要设计目标之一即是降低测试人员工作复杂度，因此，在充 分了解测试人员的工作特点的基础上，系统提供的各项功能简单、实用且符合测试人员的工作习惯。  使用灵活 用户可以根据需要定制测试报告中包括的内容；可以根据实际情况增删输入及输出项， 可以选择特定输入数据的获取方式以及是否使用缺省值；可以选择录入或者从自动生成的下拉列表中选择枚举数据；可以通过手工创建、复制、导入、自动生成等多种方式创建用例；用例模板既可以设置数据的取值区间，也可以设置单独数值；数组模板既可以为所有元素赋值，也可以以特定元素作为模板元素，其它元素以模板节点的实例的形式创建；既可以给队列的所有节点赋值，也可以指定特定节点为模板节点，其它节点以模板节点实例的形式自动生成……。雨天单元测试系统2.0提供众多能够灵活使用的功能以降低测试人员的工作量，从而提高测试的效率与质量。

雨田单元测试系统

针对能够编译链接通过的c语言程序文件进行便捷而全面的黑盒测试及白盒测试。用户选定被测文件后，系统自动从被测文件中提炼出测试所需信息，使用户可以快速方便的创建单元测试用例或集成测试用例。对于单元测试用例，文件中的各被测单元是隔离的，被测单元之间的调用需要通过建立替身函数来完成，对于集成测试用例，各被测单元之间可见，不用单独处理被测单元之间的调用关系。用例创建完成后，用户可以根据需要进行黑盒测试及白盒测试，并生成相关测试报告。报告的主要内容包括用例的基本信息以及执行结果。对于白盒测试，报告中还包括语句覆盖率、分支覆盖率、条件覆盖率及MCDC等覆盖率数据。对于覆盖率数据，可以根据用户的选择确定是否累计历史数据。使用本软件，可以大幅度提高对c语言编写的软件所进行的测试的效率，进而大幅提高软件质量。