软件测试准则的有效性度量研究

时间：2026-01-18

维普资讯

计算机研究与发展J u n l fC mp trReerha dDe eo me t o ra o ue sac n v lp n o

I S l 0 2 9 CN 1。7 7 1P S N O 0 1 3| 1 7| 1

4 ( ) 4 7 4 3,2 0 3 8:1 5~1 6 06

软件测试准则的有效性度量研究赵亮王建民孙家广北京 1 0 8 ) 0 0 4

(清华大学计算机科学与技术系北京 10 8 ) 0 0 4(华大学软件学院清

( h oin 0@ mal.sn h a e u c ) zal g2 a i tig u .d .n s

A u y o o t r s ie i n Efe tv n s e s r St d f S fwa e Te tCr t r o f c i e e s M a u eZ a in h o La g一，W a g Ja mi n u ig a g n in n,a dS nJa u n z( p rme to o ue cec n c n lg Dea t n f C mp trS in ea d Teh oo y,Tsn h a Unv ri ig u iest y,B iig 1 0 8 e n 0 0 4) j ( c o l S fwa e S h o o t r,Tsn h a Un vri f o ig u i sy,B i n 0 0 4 e t e ig 1 0 8 ) j

Ab ta t Ho t e s e t fe tv ne soft s rt ro s a m p ra t p o lm o o t r u l y sr c w o m a ur he e fc i e s e tc ie in i n i o t n r b e f r s fwa e q a i t

a s r n e.Ti o,n o sse t me s r s h v e n a hiv d.I h s p p r o e ilf iu e d sa c su a c ln w l o c n it n a u e a e b e c e e n t i a e,p t nta al r it n e

( f )i p o o e sa n iain o h fe t e eso e tciein.I e ad h fet e eso et p d s r p sd a n idc t ft eefci n s fts r r o v t o trg r st eefci n s fts vc ie i n o p r iua s fwa e a h f n t o s e iia in

, pr g a, f u t y e n c ie in. I rt ro n a tc lr o t r s t e u c i on f p cfc to o rm al t p a d rt ro t p o e d e s e fo h onto ntr c in b t e fw a e a d ts rt ro r c e sm a ur r m t e p i f i e a to e we n s t r n e t c ie in. Co p r d w ih o h r o m ae t t e r lt d wo k. i e lc s t e a h e e o fd n e o he c re t e s o eibi t b u h fwa e a t r ea e r t r fe t h c iv d c n i e c n t o r c n s r r l l y a o t t e s t r fe a i o ts i g.T h e s r o i e e sb e c m p rs n o h fe tv n s f t s rt ra o fwa e.T h e tn e m a u e pr v d s a f a i l o a i f t e ef c ie e s o e tc ie i n s t r o o e m e s e c n h l o d sg o e ts a e s fwa e a ur a ep t e i n m r e t bl o t r . Ke y wor s ts rt ro d e tc ie in;e f c ie e s;m e s r fe tv n s a u e;c m p rs n o ai o

摘要测试准则的有效性是软件质量保障的一个重要问题，至今仍没有一个有效的度量方法.已有但的度量对于全面表示测试效果、高软件质量的作用非常有限.在失效距离( f)测试准则对软件提潜 pd将的测试有效性视为以规范、程序、陷类型和测试准则为自变量的函数，缺从软件和测试准则交互的角度来度量测试的有效性.已有的度量相比较，度量反映了软件经过满足测试准则的充分测试后获得与该

的可靠性，比较测试准则的测试效果提供了可行的方法，为为设计更易测试的软件提供了指标.关键词测试准则；效性；量；有度比较中图法分类号 TP 1 . 3 15

测试准则定义了测试数据选择/生成的基本原则，规定了对软件达到充分测试时测试集必须满足

个体效力的随机性使得根据现有度量模型来

比较准则的有效性有以下不足：根据测试发现至少一个①

的基本要求，但是目前还没有一个公认有效的方法来表示测试准则的有效性 .从统计的角度来看，满足一定测试准则的所有测试集的测试效力具有一定的稳定性；是就单个测试集而言，所包含的具体但其用例依赖于测试者的经验和技巧，试效力具有一测定的随机性.种整体效力的稳定性和单个测试集这收稿日期：0 5 7 0;回日期：0 6 2 2 2 0 0 1修 2 0 0— 3

缺陷的概率 (下文称为 P度量 )或者测试能发现的，缺陷数量的期望值 (下文称为 E度量 )比较测试来准则的有效性…,需要根据测试准则对输入域划分进行假设，于结构覆盖准则，难建立结构覆盖与对很

输入域划分的对应关系，得该度量很难用于结构使覆盖准则的测试效力度量；部分度量将检测效力②

基金项目：家“六三”国八高技术研究发展计划基金项目(0 3 A4 34 )国家“ 20A Z00;九七三”点基础研究发展规划基金项目(0 2 B 10 0重 2 0 C 32 0 )

维普资讯

1 5 48

计算机研究与发展

2 0,4 ( ) 0 6 3 8

视为缺陷类型和测试准则的函数，使得度量结果对于抽象的缺陷类型有效而对具体的软件无效或者度量效果不好【 ③基于现有的度量进行准则间测 2;。

据状态 (ro)错误的数据状态被传递到软件的输 err;出，现为软件的一次失效 (a ue .由于不同的软表 fi r) l件具有不同的结构和程序语义，得相同准则对不使同的软件中的相同缺陷类型具有不同的检测能

试效力比较时，量结果与准则的测试能力存在不度一

致情况，至例外的情况占很大的比例…;已甚④

力【. 2同时，同的问题、现可能包含的缺陷类型 J不实发生频率不同 .此准则的有效性更准确的定义应因