测试逻辑

2024-07-03

测试逻辑（精选五篇）

测试逻辑篇1

对测试项目的整体质量作一个客观评价时需有一个度量标准来实施，因此应建立一个软件测试质量指标体系。以软件测评实验室软件测试项目的度量指标为基础构建评价指标体系。

按照传统方法软件测试项目，存在项目度量、过程度量、产品度量三个方面的度量。建立软件测试质量指标体系所需的度量标准与上述三个方面的度量标准不完全一致，存在交叉关系，因此软件测试质量指标体系实际上是在一些软件度量的基础上作了一定的选取和改进，其软件度量必须能反映出软件测试活动本身的质量。软件测试质量度量指标评价指标体系如表1所示。

软件质量因子很多，由此设论域U={软件质量因子}。考虑到真正用于测试的因子，即对软件测试有重要影响的因素不会太多，否则测试过程就会过于冗长，并且它们对软件质量的影响程度各不相同，就把其设为集合A={软件测试因子}。由U的定义可知它所包含的元素是分明的，A确定是在U中取值。根据软件测试因子对软件质量的影响可知，A中的元素对于A的隶属程度在实轴的闭区间[0, 1]上取值，A可由这个隶属程度的函数来表征。由模糊集合的定义可知，A是一个模糊集合，记为A。同理可知，在同一批次测试中，由对每个测试因子的测试结果，也可构成模糊集合。运用模糊评价的方法对软件测试质量进行评价是可行的。

基于模糊逻辑的软件测试度量方法在运用模糊逻辑时，需要对软件测试的质量进行计算并给予限制，既认定该软件在其测试结果与通常标准的差距达到某一范围时通过测试，同时，为了更准确地评定各软件质量因子对测试质量的影响程度，必须引入因子权重进行综合评价。

2 基于模糊偏序关系的软件测试质量评价方法

2.1 综合处理软件测试质量指标

设被评价的测试方案有n个，分别求出软件测试质量指标体系中m个定量指标在评价期内的均值，并对评价指标赋值。aij为第i个测试方案的第j个指标赋值，可得出指标赋 (i=1, 2，…，n;j=1, 2，…，m) ，可得出指标赋值矩阵为

随后确定各指标的权重为

其中，W为权重向量;wi为第i个指标的权重，则有：

式中B为测试方案质量指标综合值向量;bi为第i个测试方案质量指标的综合值。由此可见，各指标权重的确定将对评价结果产生决定性的影响，因此，在实际运作中需要通过对测试方案涉及的数据资料进行整理，才能得到科学有效的权值。

2.2 建立模糊偏序关系

建立二元相对比较级。二元相对比较级是根据对定性指标的经验判定和每个测试方案质量指标的综合值，由测试人员对每两个被评价测试方案 (xi, xj) ∈X (X为被评价测试方案的集合) 给出数对 (fj (xi) , fi (xj) ) ，其中0

式中R为二元比较矩阵，R具有模糊自反性。

求R的传递闭包R赞，R的传递闭包R赞具有模糊自反性，故R赞=Rn-1。R赞是具有模糊自反性和模糊传递性的模糊关系，因此，R赞是X上的模糊预序关系。

将模糊预序关系R赞改造成X上的模糊偏序关系，其隶属度为：

其中rji, rij为R赞中的元素。

2.3 确定测试质量优劣顺序

在建立模糊偏序关系这个关键性的步骤完成后，就可以利用模糊偏序关系矩阵对测试方案质量的优劣进行排序，具体步骤：

(1)在模糊偏序关系矩阵Q中寻找第i列，该列除了对角线上的元素是l外，其余元素均为O, xi置为第一优越元，排序时应排在第一位。

(2)去掉第一优越元所在的行和列，得到新的n-1阶模糊偏序矩阵，用同样的方法得到第二优越元，所对应的元素在排序对应排在第二位。依此类推，按照求得优越元的先后次序对所有被评价的测试方案排出一定的优劣顺序。

2.4 方法的特点及适用条件

基于模糊偏序关系的软件测试质量评价，是运用模糊理论定量地说明测试方案的质量，使测试质量的评价结果具有可比性。适用于同时评价多个测试方案，从中得到相对优劣的排序。其优点是计算简便，考虑问题具有系统性，数据的获得合理科学;在对测试质量指标进行综合处理的基础上，只需总体上给出测试方案在测试质量上的相对评价值，减少了评价结果的误差，对测试质量的评价更有说服力。

但该方法在评价信息后，需要采用主观方法处理评价信息，进而建立模糊偏序关系，对数据的处理难免会有误差。在具体应用时，可根据所具备的条件和对评价结果的要求灵活采用这种方法。

3 基于模糊推理的软件测试度量方法

基于模糊推理的软件测试度量方法，是采用模糊权重分配算法来处理测试用例和软件质量特性之间的关系。

3.1 测试质量相似性的模糊推理

通过模糊集合来表示测试用例和质量特性的相关性由语义值来划分。对于特性Q (所有质量特性的集合) ，Ci是Q中第i个特性。Aki是和第k个属性相关的模糊集合。μAik表示Aki的成员函数。

在模糊理论中，为了比较两个测试项目Pm, Pn中变量Ci相关的模糊集合的相似性，相关联的模糊集合必须含有Ci (Pm) 和Ci (Pn) 两个变量的成员函数。

定义模糊关系中的规则RCjk (Pm, Pn) 表示两个测试项目Pm, Pn与模糊语言变量Cj相关的一个模糊关系，Akj为其特定值，这个关系蕴含如下If-then规则：

定义相似性计算方法基于If-then规则, 定义：SCjk (Pm, Pn) 表示两个测试项目Pm, Pn和语言变量Cj相关的第K个模糊集合的相似性：

其中，simp是计算两个参数相似性的不确定函数。

定义：SCj (Pm, Pn) 表示两个测试项目Pm, Pn和语言变量Cj的所有语义相关的相似性：

其中aggr (x) 是计算参数x的聚合性的不确定函数集合。

选择聚合函数，根据函数聚合性证明，选择max-min聚合函数，即：

3.2 质量特性的权值计算

Wi, j为质量特征属性Cj的权重，即测试用例i中与Cj关联的测试用例步骤数与整个测试中Cj的测试步骤的比率。总的权重wi为含有n个测试用例的测试项目中Wi, j的和。公式如下：

在上面的公式中，stepi, Cj表示和Cj相关的第i个测试用例的步骤数。语言变量与质量特性的相关性取值为low, nominal, average, high。

3.3 评价过程

(1)对所有的测试用例均可以由测试人员在编写测试用例时按照各质量特性 (Quality Characteristics) 进行计数，并进行质量特性的权值计算。据模糊成员函数，得到成员关系值。

(2)由聚合函数计算测试质量相似性。

3.4 方法的特点及适用条件

引入模糊集来表示测试用例和质量特征之间的模糊和不确定的相互关系，为测试案例中各成分之间不精确的、不确定的相互关系带来更合理的表示。采用新的度量方法，在不提高成本的情况下，软件测试的质量和有效性更容易测量，能改善质量评估和测量的能力。

该度量方法能有效测量和评估测试项目的质量和有效性，能够作为测试管理的工具。考虑到软件的类型在实验的度量中有显著的干扰作用，因此该度量方法适用于通用的软件类型。

4 结论

测试度量对于改进软件测试过程，加强测试流程的管理，提高软件测试效率，降低成本具有重要的意义。以测试度量活动的分析结果为基础，软件企业可以降低无效劳动时间，提高劳动生产率，提高产品质量，其收益将远大于度量活动的成本，软件企业应该在软件测试过程中建立全面的测试度量体系。使用基于模糊逻辑的软件测试度量方法，科学地抽象和处理测试过程中的模糊性因素，有效解决了测试度量和评价结果容易定性、不易定量的问题，实现了定量化评判，在很大程度上提高了软件测试质量判断的准确度和可信度。

参考文献

[1]姚奕, 刘晓, 黄松.基于模糊偏序关系的软件测试评价方法[J].电子科技大学学报, 2007, 36 (3) :503-509.

[2]涂玲, 周彦晖, 张为群, 周亚洲.基于模糊推理的软件测试度量方法[J].计算机科学, 2009, 36 (7) :141-144.

逻辑思维测试，你的逻辑性强吗？篇2

每一组题后都有一个或若干个结论，你得假设这些题的说法是对的。如果你认为根据这些说法所得出的结论是真实和符合逻辑的，就在打钩。例如，

例一：A，我比约翰高，约翰比乔高。所以，

1.我比乔高。（是）

例二：B.我兄弟是棒球队的队员。棒球队有棒球投手，所以，

1.我兄弟是棒球投手。（否）

例三：C.如果今夜星光灿烂，明天将很暖和。今夜果真星光灿烂，所以，

1.明天天气不会暖和。（否）

2.明晚将会星光灿烂。（否）

测试逻辑篇3

1. 命题“x∈Z，使x2+2x+m≤0”的否定形式为.

*2. 已知点A(-3,1,-4)，则点A关于x轴对称的点的坐标为.

*3. 若向量a=(1,λ，2)，b=(2,-1,2)，且a与b的夹角的余弦值为89，则λ=.

4. 已知p,q都是r的必要条件，s是r的充分条件,q是s的充分条件,则s是q的条件，r是q的条件，p是s的条件.

*5. 已知向量a=(2,-1,3)，b=(-4,2,x).若a⊥b，则x=；若a∥b,则x=.

6. 设集合M={x|x＞2},P={x|x＜3},那么“x∈M或x∈P”是“x∈M∩P”的条件.

*7. 设命题p：a,b,c是三个非零向量；命题q：{a,b,c}为空间的一个基底，则命题q是命题p的条件.

8. 命题“若ab不为零，则a,b都不为零”的逆否命题是.

*9. 如果平面的一条斜线和它在这个平面上的射影的方向向量分别是a=（1，0，1），b=（0，1，1），那么这条斜线与这个平面所成的角等于.

*10. 在空间直角坐标系中，O为坐标原点，已知两点A（3，1，0），B（-1，3，0）.若点C满足OC=αOA+βOB，其中α,β∈R,α+β=1，则点C的轨迹为.（填轨迹的类型）

11. 已知下列三个命题：

① “k=1”是“函数y=cos2kx-sin2kx的最小正周期为π”的充要条件；

② “a=3”是“直线ax+2y+3a=0与直线3x+(a-1)y=a-7相互平行”的充要条件；

③ 函数y=x2+4x2+3的最小值为2.

其中假命题有.（将你认为的假命题的序号都填上）

二、解答题

12. 已知命题p:|4-x|≤6,q:x2-2x+1-a2≥0(a＞0).若非p是q的充分不必要条件，求a的取值范围.

13. 已知命题p：方程x24-k+y21-k=1表示焦点在x轴上的双曲线；命题q：a=(2,-1,k),b=(1,0,1-k)的夹角为锐角.如果命题“p或q”为真，命题“p且q”为假，求实数k的取值范围.

第14题图

*14. 如图，在四棱锥PABCD中，底面ABCD为直角梯形，AB∥CD，∠BAD=90°，PA⊥平面ABCD，AB=1，AD=2，PA=CD=4.

（1）求证：BD⊥PC；

（2）求二面角BPCA的余弦值.

*15. 如图，在正三棱柱ABCA1B1C1中，D为线段A1C1的

中点.

（1）求证：BC1∥平面AB1D；

（2）若AA1=3，二面角AB1DA1的大小为60°，求线段AB的长度.第15题图第16题图

*16. 如图，平面PAD⊥平面ABCD，四边形ABCD为正方形，△PAD是直角三角形，且PA=AD=2，E,F,G分别是线段PA,PD,CD的中点.

（1）求证：平面EFG⊥平面PAB；

（2）求异面直线EG与BD所成角的余弦值.

测试逻辑篇4

1、脉宽/计数逻辑测试电路设计系统功能及工作过程概述

1.1可实现的系统功能

1.1.1高电平/低电平指示, 用不同发光颜色加以区分, 且能适应被测脉冲电平的极性, 可对正、负脉冲的测量作出相应选择, 还能区分被测脉冲的类型, 如TTL或CMOS电平等;

1.1.2只要被测对象来过脉冲, 逻辑笔就能将其锁存并发光指示;

1.1.3计算并显示被测脉冲数值, 上限为24M的脉冲, 是比较精确的测量;

1.1.4计算并显示被测脉冲宽度值时, 其值的显示范围是0～10000000μs;

1.2系统工作过程:

外部输入信号1与2进入信号输入电路, 若只是测试高低电平的信号直接到高低电平电路显示出来。对脉冲类型判断时则经过初级控制电路选择送到脉指示电路。而且要求测量计数及计脉宽的信号在经过次级控制电路中后到计数/计脉宽电路选择, 然后到单片机89C2051处理, 由数据输出电路送给显示电路来显示。系统核心89C2051也对次级控制电路进行控制选择。如图1所示

2、脉宽/计数具体电路功能实现设计:

2.1计脉宽功能的实现

2.1.1功能实现

在实现计脉宽功能时, 我们的设计是通过计数间接来完成的, 具体的想法是, 在外部脉冲到来并维持于高 (或低) 电平的时间内, 由计数器计取系统内部提供的脉冲串, 计数时的进位跟上面实现计数功能时相同, 在计完一个脉冲的宽度之后, 由这个脉冲的下降沿去触发89C2051的P3.3并将P3.7脚置为0, 封锁与门以防止下一个脉冲到来后系统重新计数。与执行计数功能时的最大不同之处是, 送出显示的数据并不是所计得的脉冲数, 而是将计得的脉冲数量转换成时间后的数。

2.1.2计脉宽子程序:

QQ:MOV TMOD, #10H;

T0溢出中断, T1定时10ms,

MOV TL1, #0E0H

MOV TH1, 0A7H

SETB TR1

DJNZ 68H, OUT

MOV 68H, #64H

CPL P3.4

CPL P3.7

OUT:RETI

MM:CPL P3.7;计脉宽, 脉冲间距中断

RETI

2.2计数功能的实现

2.2.1功能实现

逻辑笔在执行读数功能时, 是将外部输入脉冲送到74HC393的串行输入端来实现的。这里要讨论的是, 如果外部的输入信号是连续的并一直维持, 那么74HC393也将一直计数, 使用者便不能确定计数何时结束, 等待有可能成为盲目, 再加上逻辑笔的显示位数有限, 不可能显示太多的计数结果。在这种情况下, 设计应做到合理而又有效, 我们在这方面的做法是, 利用89C2051的P3.7脚来控制输入脉冲的有效与否。具体是在执行这项功能的开始时, 使P3.7脚输出为高电位 (复位后即是) , 当CPU的P3.5 (T1) 脚检测到第一个外部输入脉冲之后, 定时器T0便进入工作状态, 而当计时值到达1s时刻, CPU将P3.7脚置低, 并通知CPU计数结束, 使得与门被封锁, 最后由CPU通过74HC164送至数码管显示。

2.2.2计数子程序:

AMUL:MOV 41H, #00H;计脉冲数处理

MOV 42H, #01H;393进一位所记的数

MOV A, 41H;4241*40=424140

MOV B, 40H

MUL AB

XCH A, 40H

MOV 39H, B

MOV B, 42H

MUL AB

ADDC A, 39H

MOV 41H, A

MOV 42H, B

RETI

2.2.3 74HC393在计数时的最高进位问题

MM74HC393N双四位二进制计数器可提供八位并行输出, 输出的计数范围为0～256, 但外部输入的脉冲数往往超出了这个计数上限。我们在这方面的做法是, 让计数器的最高位Q8从0变为1再变为0 (即下降边沿) 时刻, 通过89C2051的P3.3脚去中断CPU, 使CPU对数据区的进位存储单元作相应的改变。由此我们算出, 计数器最高位每发一次中断, 外部便有过28=256个脉冲输入。等计数全部结束之后, CPU再通过P1口读取未构成进位的"零碎"数, 加上这些进位数便得到外部输入的脉冲个数。

假如计数结束后的情况是, P3.3有过2次中断, 74HC393并行输出口的状态为00001111, 则计取的外部脉冲个数是:

P=2×28+24=512+16=528 (个)

3、调试过程及出现的问题与解决方案

3.1计数功能的调试

系统上电之后, 89C2051便在主程序段将各寄存器单元初始化, 等待外部信号的到来, 用示波器观察74HC393的并行输出最低位来检测外部脉冲的输入与否。在实际电路调试中我们利用自己设计的被测信号源上, 然后在示波器中我们可以很清晰地看到74HC393的并行输出脚全部都有信号输出, 而且也是我们理论应该得到的信号。我们电路板上由于把89C2051的第13脚错接了复位电路上, 以致74HC393的第10脚一直是高电平, 经详细检查后断开错接的线后解决问题。

3.2软件程序调试

3.3.1在调试显示程序时, 发现位选码不能正确移位, 以致达不到显示效果。

原因:当程序执行到移位指令 (RL A) 时, 由于前面有可能执行过加法指令 (INC R1) , 忽略了加法指令对进位位Cy的影响, 使得移位时有可产生出错。

解决方案:在执行移位指令前, 加入SETB C指令以重新置位Cy。

3.3.2在调试显示程序时, 第六位LED显示得很模糊。

原因:显示程序中, 第六位显示数据送出串行口显示后, 经判位跳转指令, 跳到第七位LED显示程序段, 中间加设并未用于显示延时的程序段。

解决方案:在第七位LED显示程序段的开始处, 加上多重循环程序段以延时。

3.3.3在执行数据转换模块程序后, 显示数没按顺序存放。

原因:在分拆BCD码时, 分拆后的BCD码存放顺序有误。解决方案:更改程序中相应的存储单元地址。

摘要：本文介绍开发基于单片机开发电子逻辑测试电路的设计。电路是以89C2051单片机为核心电路。可实现的功能:只要被测对象来过脉冲, 就能将其锁存并发光指示;计算并显示被测脉冲数值;计算并显示被测脉冲宽度值。最终帮助实验者完成其它方面的科学分析。

关键词：89C2051,脉冲,计数,脉宽

参考文献