在当前的智能物联网时代,嵌入式软件测试越来越受到关注。 嵌入式软件的特点 首先,我们来快速了解一下嵌入式软件自身的特点。 嵌入式软件具有实时性、内存空间有限、I/O通道少,而且要求功耗低、高可靠性,对成本也比较敏感,和硬件关联性强等特点。因此,嵌入式软件的测试与一般商用软件的测试有较大区别。 嵌入式软件...
它不仅集成了内存泄露检测、性能分析器等多种功能,还提供了用户友好的图形界面。更重要的是,这些工具能够和Visual Studio的IDE无缝集成,使得开发、测试和调试过程更加高效。 Visual Studio的诊断工具中,最值得关注的是其内存泄露检测和性能分析工具。内存泄露检测能帮助开发者发现程序运行过程中的内存使用问题,而性能分析...
5. Autoconf 一个可扩展的 M4 宏指令包,提供命令行脚本来自动配置软件源码包,是 Autotools 的一部分。GNU GPL3 或更高版本。gnu.org/software/autoco 4. Automake 一个自动生成符合 GNU 代码标准的 Makefile.in 文件的工具。需要与 Autoconf 配合使用,它也是 Autotools 的一部分。GNU GPL3 或更高版本。gnu...
Clang Static Analyzer是一个基于 LLVM 的轻量级工具,用于对 C、C++ 和 Objective-C 代码执行静态分析。它可以在编译时集成到编译过程中,或作为独立工具运行,以检测软件中的各种漏洞。 集成与使用:Clang 工具链的一大优势是其易于和常用编译器如GCC配合使用。为了启用静态分析,你只需在编译命令中添加--analyze标志。...
Parasoft公司是业界著名的软件测试、软件质量、服务虚拟化及软件生命周期管理解决方案供应商,AEP(软件自动化错误预防)理论的创始者,软件质量领域的领导者。Parasoft公司成立于1987年,总部位于加利福尼亚州的洛杉矶,公司产品横跨单元测试、静态分析、动态分析、功能测
Parasoft公司是业界著名的软件测试、软件质量、服务虚拟化及软件生命周期管理解决方案供应商,AEP(软件自动化错误预防)理论的创始者,软件质量领域的领导者。Parasoft公司成立于1987年,总部位于加利福尼亚州的洛杉矶,公司产品横跨单元测试、静态分析、动态分析、功能测
CUnit -- CUnit是一个轻型的C语言单元测试框架。它提供了设计、管理、运行测试用例的功能。它的报表功能比较强大,但是比较麻烦,更适合于较大一些的项目。 Check -- 不错的工具。在这里(http://www.laatuk.com/tools/testing_tools.html)给出了各种软件测试工具,没事可以研究一下。
Polyspace，出生于欧洲宇航局，因为阿丽亚娜5号火箭事故而诞生。现在已被MATLAB软件公司收购。Polyspace是市...
操作系统是航空航天、国防、⽆⼈⻋、⽆⼈机、物联⽹等系统的基础软件,它位于计算机系统软件栈的底层,操作系统的错误可能导致系统奔溃、被攻击等问题,涉及功能安全和信息安全等问题。操作系统功能结构复杂,多核多任务的并发度⾼,开发与调试都⼗分困难,⼀些隐藏的错误⽤常⻅的软件测试技术难以发现。
嵌入式软件典型故障模式和运行时缺陷检查 依托数十年承担国家航天型号软件测试的深厚积累,建立首个型号软件故障模式集,目前已固化300余项。 通过使用跨函数和全系统的错误分析技术,支持符合CWE的运行时缺陷检测,如空指针、未初始化变量、数组越界、除零错等100余项。 中断数据竞争检测 采用跨函数、跨中断的抽象解释技术...