嵌入式软件测试开发
欢迎关注我的同名微信公众号“嵌入式软件测试开发”。(原ID名:MrxMyx)
展开
-
Parasoft C++Test安装指南_含独立版和插件版
C++Test是Parasoft公司出品的一款可以针对C/C++源代码进行静态分析、单元测试、集成测试的测试工具,在C/C++白盒测试领域被广泛使用。本篇文章主要讲解如何安装C++Test,包括Windows和Linux两种环境下,独立版和插件版的C++Test安装。原创 2024-01-17 17:33:30 · 4863 阅读 · 1 评论 -
Linux环境下,针对QT软件工程搭建C++Test单元测试环境的操作指南
C++Test是Parasoft公司出品的一款可以针对C/C++源代码进行静态分析、单元测试、集成测试的测试工具。本文主要讲解如何在Linux环境下,搭建QT插件版的C++Test测试环境。原创 2024-01-16 13:54:05 · 1667 阅读 · 3 评论 -
Parasoft C++Test软件静态分析操作指南_编码规范/标准检查
C++Test是Parasoft公司出品的一款可以针对C/C++源代码进行软件静态分析、软件单元测试、软件集成测试的测试工具,在C/C++白盒测试领域被广泛使用。软件静态分析(Static Analysis),也被称为静态代码分析或静态源代码分析,是一种软件工程中常用的技术和方法。它主要通过在不运行代码的情况下对源代码进行语义和结构分析,以发现潜在的错误、缺陷和安全漏洞。静态分析的目标是为开发者提供一种自动化的方式来检查代码质量,帮助发现和修复潜在的问题,从而提高软件的可靠性、可维护性和安全性。原创 2024-05-22 15:09:24 · 2238 阅读 · 0 评论 -
Parasoft C++Test软件静态分析操作指南_软件质量度量
在上一篇文章《Parasoft C++Test软件静态分析操作指南_编码规范/标准检查》中,我们讲解了如何使用Parasoft C++Test对软件的编码规范/标准进行静态检查,主要是自定义筛选工具自带的一些编码规范/标准规则集。今天接着讲解如何使用Parasoft C++Test进行软件质量度量,并根据自己的需要修改一些度量指标。C++Test是Parasoft公司出品的一款可以针对C/C++源代码进行软件静态分析、软件单元测试、软件集成测试的测试工具,在C/C++白盒测试领域被广泛使用。原创 2024-05-24 18:34:06 · 1398 阅读 · 0 评论 -
Parasoft C++Test软件静态分析_自动提取静态分析数据生成文档
如果你想要生成条目化的表格式文档,或者想根据自己的需要,定制生成出自己想要的报告文档,不妨参考我的这篇文章,自己编写了一个自动化的软件小工具。原创 2024-12-12 13:51:56 · 1890 阅读 · 1 评论 -
Parasoft C++Test软件单元测试_操作指南
本文主要为使用C++TEST进行单元测试的流程性操作讲解,后续文章将以专题形式进行详细讲解,以及用一些被测函数作为示例进行实例讲解。原创 2025-04-03 17:37:43 · 100 阅读 · 0 评论 -
软件测试理论介绍:软件测试阶段简介_单元测试、集成测试、配置项测试、系统测试
一般来说,按照软件的研制阶段划分,软件测试可分为单元测试、集成测试、配置项测试、系统测试等。本文将对上述各测试阶段进行逐一介绍。原创 2024-01-18 17:09:14 · 5860 阅读 · 1 评论 -
软件测试理论介绍:白盒测试的概念、特点、应用阶段、实施流程、现状与前景
白盒测试(White Box Testing),又称为结构测试(Structural Testing)、透明盒测试(Glass Box Testing)、逻辑驱动测试(Logic-Driven Testing)或基于代码的测试(Code-Based Testing),是一种软件测试方法,它允许测试人员访问程序或系统的内部结构和实现细节,包括源代码、数据结构、算法、设计文档等。这种测试方法侧重于检查程序的内部结构、逻辑路径和代码执行情况,以确认其是否按照设计规格和预期工作。原创 2024-07-09 10:15:21 · 1154 阅读 · 0 评论 -
软件测试理论介绍:什么是白盒测试中的静态测试?静态测试包含哪些过程和方法?
软件白盒测试中的静态测试是指不运行被测软件,仅通过分析或检查等手段达到检测的目的。在软件白盒测试中,静态测试常通过人工审查软件的详细设计、代码及相关文档,或通过成熟的静态分析软件(依据相应的编码规范或标准)来检测代码,从而达到识别软件潜在的问题和缺陷的目的。静态测试一般包括:文档审查、软件静态分析(包括编码规范检测、软件质量度量)、代码审查、代码走查等。软件白盒测试中的静态测试是一种重要的软件测试方法,它通过对软件设计、体系结构和代码的详细审查,来发现潜在的错误和缺陷。原创 2024-07-13 22:47:45 · 1727 阅读 · 0 评论 -
C语言编码规范_MISRA C 2012标准的简介与解读
随着汽车工业的快速发展,汽车软件的安全性和可靠性变得日益重要。MISRA C是由英国汽车工业研究协会(MISRA)制定的一套C语言编程规范,是汽车行业广泛采用的一种C语言编程标准,旨在确保C代码的安全性、可靠性以及可维护性。MISRA C主要包含三个版本,分别是MISRA C:1998、MISRA C:2004和MISRA C 2012。本篇文章主要对MISRA C 2012标准进行简介与解读......原创 2024-01-11 11:55:56 · 3236 阅读 · 2 评论 -
软件测试理论介绍:什么是软件代码审查?代码审查应该如何进行?代码审查初体验,附代码审查单示例
代码审查”(Code Review)是一种软件开发过程中,团队成员之间相互检查、评估和改进代码的实践。这一过程通常涉及对代码质量、可维护性、性能、安全性以及是否符合编程规范或项目约定的标准进行评估。代码审查的目的是确保代码的高质量,减少错误,促进团队成员之间的知识共享,并提升整个团队的编程技能。代码审查的好处包括:1、提高代码质量:通过多双眼睛的检查,可以发现并修正潜在的错误、遗漏和不良实践。2、促进知识共享:审查过程是一个学习和交流的机会,团队成员可以了解彼此的工作方式,分享最佳实践。原创 2024-07-08 15:28:34 · 1712 阅读 · 0 评论 -
软件测试理论介绍:一文讲清软件测试中那些常用的白盒测试方法
其中最常用的当属控制流测试、数据流测试、程序插桩和接口打桩。后三种用得比较少,仅供了解。原创 2024-12-18 14:53:37 · 556 阅读 · 0 评论 -
软件测试理论介绍:一文讲清白盒测试中的那些代码覆盖率:语句、判定、条件、MCDC等
白盒测试中的代码覆盖率是用来度量测试完整性的一种指标。它基于程序的内部结构,关注程序内部的逻辑路径和代码执行情况,是评价软件测试质量的重要手段之一。常用的白盒测试覆盖率主要包括以下几种类型:语句覆盖、判定(分支)覆盖、条件覆盖、判定-条件覆盖、条件组合覆盖、修正条件判定覆盖(MCDC)等。代码覆盖率作为白盒测试中的一个关键指标,能够帮助开发人员和测试人员了解测试的覆盖面和测试的质量,并为进一步的测试提供指导。原创 2024-07-13 11:58:26 · 3131 阅读 · 1 评论