自定义博客皮肤VIP专享

*博客头图:

格式为PNG、JPG,宽度*高度大于1920*100像素,不超过2MB,主视觉建议放在右侧,请参照线上博客头图

请上传大于1920*100像素的图片!

博客底图:

图片格式为PNG、JPG,不超过1MB,可上下左右平铺至整个背景

栏目图:

图片格式为PNG、JPG,图片宽度*高度为300*38像素,不超过0.5MB

主标题颜色:

RGB颜色,例如:#AFAFAF

Hover:

RGB颜色,例如:#AFAFAF

副标题颜色:

RGB颜色,例如:#AFAFAF

自定义博客皮肤

-+
  • 博客(8)
  • 收藏
  • 关注

原创 GJB 9764-2020:FPGA软件使用说明

军品FPGA软件使用说明模板

2023-09-05 16:43:22 878 1

原创 Testbed单元测试

testbed 单元测试步骤

2022-10-24 10:51:02 6082 2

原创 Testbed静态分析

使用testbed进行静态分析的步骤

2022-10-19 16:32:17 7452 2

原创 基于结构的动态测试技术2(单元测试)

基于结构的动态测试用例设计方式可分为基于控制流和数据流两大类。上一篇介绍了基于控制流的测试设计,本篇将介绍基于数据流的测试设计。1、基于数据流设计用例是通过选择的定义-使用的覆盖率来导出测试用例集,以覆盖测试项中变量定义和使用间的路径。不同的数据流覆盖准则要求执行不同定义-使用对和子路径。2、“使用”可以进一步划分为“P-use”(谓词使用)和“C-use”(计算使用)。谓词使用是指使用变量来确定判定条件(谓词)的结果;计算使用是指一个变量作为其他变量定义或输出的计算输入。3、在基于数据流的测试

2022-04-27 15:10:19 634

原创 基于结构的动态测试技术1(单元测试)

1、基于结构的动态测试主要关注语句、分支、路径、调用等程序结构的覆盖,为了设计较少的用例,达到更高的覆盖率甚至100%的覆盖率,动态测试关键的是用例设计。2、基于结构的动态测试用例设计,设计基础建立在对程序的控制结构的了解上。原则上应做到:保证一个模块中的所有独立路径至少被使用一次;对所有逻辑值均需测试true和false;在上下边界及可操作范围内运行所有循环;检查内部数据结构以确保其有效性。3、基于结构的动态测试用例设计方式可分为基于...

2022-04-27 13:59:37 873

原创 静态分析—扇入、扇出、圈复杂度

静态分析是一种检查代码的方法,无需执行程序。它提供了一种机制,可以审查代码结构、控制流和数据流,检测潜在的可移植性和可维护性问题,计算适当的软件质量测度。其中控制流分析包括:扇入、扇出、圈复杂度。常见的控制流图:圈复杂度:常用的一种代码复杂度的衡量标准。它是对源代码中线性独立路径数的定量测量,用来衡量一个模块判定结构的复杂程度。圈复杂度与分支语句、循环语句的个数,以及判定复合条件的逻辑组合符成正相关。圈复杂度计算公式:其中:V(G)表示圈复杂度;e表示控制流图中边的数量;

2022-04-26 17:49:38 3074

原创 软件测试—因果图法

定义:因果图是一种简化了的逻辑图,能直观地表明输入条件和输出动作之间的因果关系。可以帮助测试人员把注意力集中到与软件功能有关的输入组合上,使用因果图来辅助设计测试用例,很适合描述多种输入条件的组合。根据输入条件的组合、约束关系和输出条件的因果关系,分析输入条件的各种组合,从而设计测试用例。因果图法是从用自然语言书写的程序规格说明的描述中找出因和果,它适合于检查软件的输入条件涉及的各种组合情况,最终生成的是判定表。意义:等价类划分和边界值分析方法都是着重考虑输入条件,但没有考虑输入条件的各种组合、输入

2022-04-26 15:36:22 9174

原创 软件测试—判定表法

判定表展示的是输入条件与输出结果的对应关系。在软件发展的初期,判定表就已经被用作编写程序的辅助工具了。它可以把复杂的逻辑关系和多种条件组合的情况表达的既具体又明确,针对不同的逻辑条件组合值分别执行不同的操作。在软件测试方面,等价类划分法和边界值分析法都是着重考虑输入条件,但未考虑输入条件之间的联系、相互组合等。而因果图法和判定表法适合于描述对于多种条件的组合,相应产生多个动作的情况。由于因果图最终得到的是判定表,所以我们先介绍用判定表法设计测试用例。判定表(Decision Table)是分析和表达

2022-04-26 14:42:00 10380

空空如也

空空如也

TA创建的收藏夹 TA关注的收藏夹

TA关注的人

提示
确定要删除当前文章?
取消 删除