文章目录
白盒设计方法分为静态和动态。
静态的白盒测试方法有桌面检查、代码审查、代码走查和代码扫描工具。
动态的白盒测试方法有逻辑覆盖法和基本路径测试法。
逻辑覆盖法有语句覆盖、判定覆盖、条件覆盖、判定条件覆盖、条件组合覆盖和路径覆盖。
例1
int a=0;
public class E01(int x,int y,int m){
if(x>&&y>0){
a=x+y;//语句块1
}
else{
a=x-y;//语句块2
}
if(m<0){
a=m;//语句块3
}
return a;//语句块4
}
将上述程序画出流程图，如下：
语句覆盖，就是设计若干个测试用例，运行被测程序，使得每一可执行语句至少执行一次。度量被测代码中每个可执行语句是否被执行到了。
语句覆盖标准最弱，它只管覆盖代码中的执行语句，却不考虑各种分支的组合等等。
语句覆盖率=可执行的语句总数/被评价到的语句数量 x 100%
将例1进行语句覆盖，写出测试用例如下：
| 数据 | 语句 |
|---|---|
| x=1,y=1,m=2 | 1,4 |
| x=-1,y=-1,m=-2 | 2,3,4 |
若将语句块1改为if(x>0||y>0)，语句覆盖还是覆盖成功，不符合测试需求。因为语句覆盖不能准确的判断运算中的逻辑关系错误。（语句覆盖的缺点）
定义：判定覆盖使设计的测试用例保证程序中每个判断的每个取值分支（ture or false）至少经历一次。
【优点】：判定覆盖具有比语句覆盖更强的测试能力。同样分支（判定）覆盖也具有和语句覆盖一样的简单性，无须细分每个判定就可以得到测试用例。
【缺点】：往往大部分的分支（判定）语句是由多个逻辑条件组合而成，若仅仅判断其整个最终结果，而忽略每个条件的取值情况，必然会遗漏部分测试路径。判定覆盖仍是弱的逻辑覆盖。
将例1进行判定覆盖，写出测试用例如下：
P1为“x>0&&y>0”判定，P2为“m<0”判定
| P1 | P2 | 用例 |
|---|---|---|
| T | F | x=1,y=1,m=1 |
| F | T | x=-1,y=-1,m=1 |
| F | F | x=-1,y=-1,m=-1 |
| T | T | x=1,y=1,m=-1 |
只要满足了判定覆盖标准就一定满足语句覆盖标准。
判定覆盖会忽略条件中取或(or)的情况。
若将语句块1改为if(x>0||y>0)，判定覆盖还是覆盖成功，不符合测试需求。
定义：设计足够多的测试用例，运行被测程序，使得每一判定语句中每个逻辑条件的可能取值至少满足一次。
回头看例1的流程图，判定条件定义如下：
x>0&&y>0判定记为：P1
m<0判定记为：P2
x>0记为：C1
y>0记为：C2
m<0记为：C3
测试用例设计如下：
| C1 | C2 | C3 | P1 | P2 | 用例 | 路径 |
|---|---|---|---|---|---|---|
| T | F | T | F | T | x=1,y=-1,m=-1 | acd |
| F | T | F | F | F | x=-1,y=1,m=-1 | ace |
条件覆盖比判定覆盖，增加了对判定中所有条件的测试。
但条件覆盖并不能保证判定覆盖。例如：P1为真，没有覆盖。
定义：设计测试用例,使得被测试程序中的每个判断本身的判定结果（真假)至少满足一次，同时，每个逻辑条件的可能值(真假)也至少被满足一次。即同时满足100%判定覆盖和100%条件覆盖的标准。
判定条件覆盖率=每个判断本身的判定结果（真假)至少满足一次/判定结果的总数+条件结果的总数
例1代码中有2个判定，条件3个。所以，判定结果为2* 2(true,false)=4个，条件结果3*2(true,false)=6个。
设计测试用例执行3个判定结果，5个条件结果，判定条件覆盖率为：(3+5)/(4+6)=80%
将例1进行判定条件覆盖，写出测试用例如下：
| C1 | C2 | C3 | P1 | P2 | 用例 | 路径 |
|---|---|---|---|---|---|---|
| T | T | F | T | F | x=1,y=1,m=1 | abe |
| F | F | T | F | T | x=-1,y=-1,m=-1 | acd |
满足判定条件覆盖标准，一定能够满足条件覆盖、判定覆盖和语句覆盖。
判定条件覆盖会忽略条件中取或（or）的情况。
定义
判定中条件的各种组合都至少被执行一次。
特点
（1）满足条件组合覆盖的用例一定满足语句覆盖、条件覆盖、判定覆盖和判定覆盖。
（2）条件组合覆盖没有考虑各判定结果（真或假）组合情况，不满足路径覆盖
（3）条件组合数量大，设计测试用例的时间花费较多。
例1使用条件组合覆盖，测试用例设计如下：
| C1 | C2 | C3 | P1 | P2 | 用例 | 路径 |
|---|---|---|---|---|---|---|
| T | T | T | T | T | x=1,y=1,m=-1 | abd |
| T | F | T | F | T | x=1,y=-1,m=-1 | acd |
| F | T | T | F | T | x=-1,y=1,m=-1 | acd |
| F | F | T | F | T | x=-1,y=-1,m=-1 | acd |
| T | T | F | T | F | x=1,y=1,m=1 | abe |
| T | F | F | F | F | x=1, y=-1,m=1 | ace |
| F | T | F | F | F | x=-1,y=1,m=1 | ace |
| F | F | F | F | F | x=-1,y=-1,m=1 | ace |
定义
使程序的每条可能路径都至少执行一次。
特点
路径覆盖可以对程序进行彻底的测试，比前面五种覆盖面都广。
| C1 | C2 | C3 | P1 | P2 | 用例 | 路径 |
|---|---|---|---|---|---|---|
| T | T | T | T | T | x=1,y=1,m=-1 | abd |
| T | T | F | T | F | x=1,y=1,m=1 | abe |
| T | F | T | F | T | x=1,y=-1,m=-1 | acd |
| F | F | F | F | F | x=-1,y=-1,m=1 | ace |
定义
在程序控制流图的基础上，通过分析程序的环路复杂性，导出基本可执行路径集合，从而设计测试用例。
步骤
第一步，根据代码画出程序控制流图；
第二步，计算程序的环路复杂度；
第三步，导出可执行路径；
第四步，设计测试用例。
void Sort(int a,int b){
int x=0;
int y=0;
while(a-- >0){ //将此判断记为P1
if(0==b) //将此判断记为P2
x=y+2;break; //将此语句记为s1
else
if(1==b) //将此判断记为P3
x=y+10; //将此语句记为s2
else
x=y+20; //将此语句记为s3
}
}
第一步，控制流图，如下图：
第二步，计算程序环路复杂度
方法有三种：
流图中区域的数量对应于环型的复杂性。
给定流图G的圈复杂度V(G)，定义为V(G)=E-N+2，E是流图中边的数量，N是流图中节点的数量。技巧：边数——数箭头，结点——数判断框和语句
边数10，结点8，所以V(G)=10-8+2。
给定流图G的圈复杂度V(G)，定义为V(G)=P+1，P是上图中判定节点的数量。V(G)=3+1
用环路复杂度验证测试用例是否覆盖全了。
第三步，导出可执行路径
回头看例子的程序流程图，此例子可导出路径为：
路径1：P1-退出程序
路径2：P1-P2-S1-退出程序
路径3：P1-P2-P3-S2-退出P3-P1-退出程序
路径4：P1-P2-P3-S3-退出P3-P1-退出程序
第四步，设计测试用例
| 测试数据 | 覆盖路径 |
|---|---|
| a=0 | 路径1 |
| a=1,b=0 | 路径2 |
| a=1,b=1 | 路径3 |
| a=1,b=2 | 路径4 |
白盒测试主要应用于单元测试阶段。白盒设计用例一般使用基本路径测试，重点模块使用多个覆盖率标准。
很好奇，就使用rubyonrails自动化单元测试而言，你们正在做什么？您是否创建了一个脚本来在cron中运行rake作业并将结果邮寄给您？git中的预提交Hook？只是手动调用？我完全理解测试，但想知道在错误发生之前捕获错误的最佳实践是什么。让我们理所当然地认为测试本身是完美无缺的，并且可以正常工作。下一步是什么以确保他们在正确的时间将可能有害的结果传达给您？ 最佳答案 不确定您到底想听什么，但是有几个级别的自动代码库控制:在处理某项功能时，您可以使用类似autotest的内容获得关于哪些有效，哪些无效的即时反馈。要确保您的提
我有一个模型:classItem项目有一个属性“商店”基于存储的值，我希望Item对象对特定方法具有不同的行为。Rails中是否有针对此的通用设计模式？如果方法中没有大的if-else语句，这是如何干净利落地完成的？ 最佳答案 通常通过Single-TableInheritance. 关于ruby-on-rails-Rails-子类化模型的设计模式是什么？，我们在StackOverflow上找到一个类似的问题： https://stackoverflow.co
我正在编写一个包含C扩展的gem。通常当我写一个gem时，我会遵循TDD的过程，我会写一个失败的规范，然后处理代码直到它通过，等等......在“ext/mygem/mygem.c”中我的C扩展和在gemspec的“扩展”中配置的有效extconf.rb，如何运行我的规范并仍然加载我的C扩展？当我更改C代码时，我需要采取哪些步骤来重新编译代码？这可能是个愚蠢的问题，但是从我的gem的开发源代码树中输入“bundleinstall”不会构建任何native扩展。当我手动运行rubyext/mygem/extconf.rb时，我确实得到了一个Makefile(在整个项目的根目录中)，然后当
我有一个包含模块的模型。我想在模块中覆盖模型的访问器方法。例如:classBlah这显然行不通。有什么想法可以实现吗？ 最佳答案 您的代码看起来是正确的。我们正在毫无困难地使用这个确切的模式。如果我没记错的话，Rails使用#method_missing作为属性setter，因此您的模块将优先，阻止ActiveRecord的setter。如果您正在使用ActiveSupport::Concern(参见thisblogpost)，那么您的实例方法需要进入一个特殊的模块:classBlah
我有一个围绕一些对象的包装类，我想将这些对象用作散列中的键。包装对象和解包装对象应映射到相同的键。一个简单的例子是这样的:classAattr_reader:xdefinitialize(inner)@inner=innerenddefx;@inner.x;enddef==(other)@inner.x==other.xendenda=A.new(o)#oisjustanyobjectthatallowso.xb=A.new(o)h={a=>5}ph[a]#5ph[b]#nil,shouldbe5ph[o]#nil,shouldbe5我试过==、===、eq?并散列所有无济于事。
我有一些Ruby代码，如下所示:Something.createdo|x|x.foo=barend我想编写一个测试，它使用double代替block参数x，这样我就可以调用:x_double.should_receive(:foo).with("whatever").这可能吗？ 最佳答案 specify'something'dox=doublex.should_receive(:foo=).with("whatever")Something.should_receive(:create).and_yield(x)#callthere
我将应用程序升级到Rails4，一切正常。我可以登录并转到我的编辑页面。也更新了观点。使用标准View时，用户会更新。但是当我添加例如字段:name时，它不会在表单中更新。使用devise3.1.1和gem'protected_attributes'我需要在设备或数据库上运行某种更新命令吗？我也搜索过这个地方，找到了许多不同的解决方案，但没有一个会更新我的用户字段。我没有添加任何自定义字段。 最佳答案 如果您想允许额外的参数，您可以在ApplicationController中使用beforefilter，因为Rails4将参数
Sinatra新手；我正在运行一些rspec测试，但在日志中收到了一堆不需要的噪音。如何消除日志中过多的噪音？我仔细检查了环境是否设置为:test，这意味着记录器级别应设置为WARN而不是DEBUG。spec_helper:require"./app"require"sinatra"require"rspec"require"rack/test"require"database_cleaner"require"factory_girl"set:environment,:testFactoryGirl.definition_file_paths=%w{./factories./test/
我遵循MichaelHartl的“RubyonRails教程:学习Web开发”，并创建了检查用户名和电子邮件长度有效性的测试(名称最多50个字符，电子邮件最多255个字符)。test/helpers/application_helper_test.rb的内容是:require'test_helper'classApplicationHelperTest在运行bundleexecraketest时，所有测试都通过了，但我看到以下消息在最后被标记为错误:ERROR["test_full_title_helper",ApplicationHelperTest,1.820016791]test
我在pry中定义了一个函数:to_s，但我无法调用它。这个方法去哪里了，怎么调用？pry(main)>defto_spry(main)*'hello'pry(main)*endpry(main)>to_s=>"main"我的ruby版本是2.1.2看了一些答案和搜索后，我认为我得到了正确的答案:这个方法用在什么地方？在irb或pry中定义方法时，会转到Object.instance_methods[1]pry(main)>defto_s[1]pry(main)*'hello'[1]pry(main)*end=>:to_s[2]pry(main)>defhello[2]pry(main)