嵌入式软件系统仿真平台
C/C++静态缺陷检测工具

SUNWISE AUnit


具概述

SunwiseAUnit是一款针对C语言程序的单元与集成测试平台,是国内首个ISO 26262、IEC 61508 和EN 50128功能安全认证的单元与集成测试工具产品。旨在通过提供一个颠覆传统的、简单易用、高度自动化的平台提高单元与集成测试效率,让软件开发者能够在早期进行充分地模块级测试。数据显示,SunwiseAUnit的测试效率高于同类工具5倍。



产品特性与优势

提供表格化的用例设计,内建策略引导用户测试,智能高效的用例自动生成功能,深度支持嵌入式软件特性,全程无需编写代码,报告格式灵活可配置。

表格驱动的可视化用例设计

提供最易用的表格驱动设计视图,利用代码分析技术自动获取展示函数的接口、全局变量、桩函数调用等信息。

基于策略的向导式集成测试功能

內建相邻集成和成对集成两种集成策略,可根据集成策略自动生成特定场景的测试集,为用户开展集成测试提供方法指导。

测试脚本和驱动的自动生成

基于可视化用例设计的结果,SunwiseAUnit为用户自动静默地生成测试执行需要的脚本和测试驱动程序。这项生成工作对用户完全透明,让测试人员专注于用例的设计。

智能测试用例的自动生成

基于最前沿的动态符号执行技术和约束求解技术,SunwiseAUnit能够支持大多数C程序测试用例的快速生成,所生成的用例无需任何改动即可执行,并能够满足几乎100%的语句、分支和MC/DC覆盖要求。

对嵌入式软件的深度支持

针对嵌入式软件中常见的死循环、I/O端口、方言、位运算等进行特殊优化,无需修改任何代码即可进行测试,且自动生成用例能够达到95%以上的覆盖率。

全面的覆盖率测量支

支持单元级的语句、分支和MC/DC覆盖率测量,以及模块间集成的调用覆盖率、函数覆盖率等。

可配置的自动化报告生成

支持WORD/PDF/HTML(输出符合国标GJB-141要求)报告自动导出,支持报告格式定制。


上一篇

下一篇

本网站由阿里云提供云计算及安全服务 Powered by CloudDream