(1).jpg)
VisionTest自动化测试工具
产品概述
VisionTest自动化测试工具
VisionTest 是一款针对 C/C++ 语言简单易用的、高度自动化的单元与集成测试工具，采用先进的动态符号执行与约束求解技术，能够针对源代码自动生成高覆盖率单元测试用例。VisionTest 能够提供一站式单元测试解决方案，结合抽象解释、流敏感、上下文敏感的静态分析技术发现源代码中深层次的安全编码规则违反、运行时缺陷；同时能够分析获取用户代码的质量特性，能够大幅度提高开发和测试人员的效率，缩短软件验证周期。
产品特点
· 表格化用例设计
基于表格驱动的可视化用例设计，利用源码分析技术自动获取展示函数的接口、全局变量、函数调用等信息，可灵活处理数组、指针、结构体等复杂数据类型，使得测试用例的编写像编写表格一样容易。
· 自动测试用例生成
VisionTest 基于最前沿的动态符号执行技术和约束求解技术，可以一键式自动生成测试用例，辅助测试人员快速完成语句、分支和 MC/DC 覆盖要求。
· 回归测试
用例可导入导出，实现测试用例复用。自动检测代码变更，对变更代码进行回归测试。
· 源码覆盖率分析
支持语句、分支、MC/DC 、函数调用覆盖的自动统计，提供基于项目、文件、函数、用例的不同维度的代码覆盖率信息展示，支持源码着色显示和控制流图着色显示。
· 桩函数管理
自动识别函数调用关系，自动对被调用函数（包括系统函数）打桩，用户可灵活控制桩函数的行为：设置对全局变量和参数检查、设置桩的返回值或指针内容，可设定多次返回不同值等。
· 编码规则检查
VisionTest 内置编码标准全面，支持 GJB 8114、GJB 5369、CMSE、MISRA-C:2012/2004、CWE、CERT-C 等常用安全编码标准。
· 代码质量度量
包含 McCabe 圈复杂度、全局变量数量、函数数量、扇入/扇出、循环深度、代码行、注释行、可执行代码行数、函数出口等30种常用度量指标。
· 报告生成
自动生成 Word 格式的中/英文测试用例报告，报告的格式和内容可定制。
· 嵌入式平台与开发环境支持
- CCS3.3 CCS5.x CCS6.x
- GNU GCC
- Microsoft Visual Studio
- Keil C51
- Workbench 3.x /Tornado2.x
- ARM Developer suite
- IAR
- MPLAB
- RealEvo(SylixOS)
- ReDe(Reworks)等
· 工具集成
软件全生命周期工具集成，实现 CI/CD、DevOps 等自动化流程。
· 主机平台支持
- Windows
- Linux(Ubuntu、CentOS)
- 中标麒麟、银河麒麟
