覆盖分析.ppt

第四讲:软件测试覆盖分析
0C202 Software Testing
4-1
腥涕框困避络旦亡簧漱修趋抡戚吝镭诊继呛麦顽授刑峨波泼数拾央硷艰擅覆盖分析覆盖分析
提纲
软件测试覆盖分析
代码覆盖分析
控制流覆盖
语句覆盖、判定覆盖、条件覆盖、条件判定组合覆盖、多条件覆盖、修正条件/判定覆盖、路径覆盖
数据流覆盖
Rapps和Weyuker的标准、Ntafos的标准、Ural的标准、Laski和Korel的标准
其它覆盖标准
0C202 Software Testing
4-2
阁屑魏肌珠骇作逮胯橇长怔矾伸周泣唇盔鼠标沃吏妥否司猎都徊振蹿尚笨覆盖分析覆盖分析
软件测试覆盖分析
“测试执行到何时是足够的?”我们需要一种方式来知道测试已经执行的程度。
测试覆盖是一种可以凭经验确定软件质量的方法。
每种测试覆盖意味着一种针对特定种类的程序缺陷的测试技术。
0C202 Software Testing
4-3
富粥潜窖挽埔丧官珠崔发蓄按阻吻岛农怂刃恍柱忻惕契认黍颗挡庐拭酚涂覆盖分析覆盖分析
软件测试覆盖分析(续)
在测试计划阶段与测试执行阶段进行。
在测试计划阶段,确定用何种测试覆盖分析及相应的覆盖率。
在测试执行阶段,根据既定的覆盖率来检查是否进行了足够的测试。
0C202 Software Testing
4-4
式仔娟咨泌烁甘春嫂泛魏迎窒治姻忌废倘危硼某捐挑驻迸酞咎婆莉球行蓉覆盖分析覆盖分析
基于测试覆盖的测试过程
0C202 Software Testing
4-5
脊层歪能评沃袁璃镍撂返插站磅拎薄顷滤鸦悸萤扭烃没列津伯括房稳粟敷覆盖分析覆盖分析
提纲
软件测试覆盖分析
代码覆盖分析
控制流覆盖
语句覆盖、判定覆盖、条件覆盖、条件判定组合覆盖、多条件覆盖、修正条件/判定覆盖、路径覆盖
数据流覆盖
Rapps和Weyuker的标准、Ntafos的标准、Ural的标准、Laski和Korel的标准
其它覆盖标准
0C202 Software Testing
4-6
荤撰庶狗嫂签剩谤绣馒及帐磕盒捏屎赃旺澳忍韩裹凭腊活鳃陡骗杏图湾顽覆盖分析覆盖分析
代码覆盖
代码覆盖是一种直接观测代码而进行的测试,因而归于白盒测试。
0C202 Software Testing
4-7
澜贰户帐础实渣缨吱羔诲崔促滴煽陀肯聘灯佣盈旬橇革枢驾膜骡酚葬运嘘覆盖分析覆盖分析
代码覆盖(续)
主要步骤:
识别满足覆盖标准的一组实体,
然后选择一组覆盖该组实体的有限路径。
0C202 Software Testing
4-8
含焉累罩庚犀狱茶烤邀癌傲榜藏貌际溅油年溃丸劣沽械卯毁瑞喜澄勒屏并覆盖分析覆盖分析
代码覆盖分析(续)
两种代码覆盖类型:控制流覆盖与数据流覆盖。
控制流覆盖:语句覆盖、判定覆盖、条件覆盖、多条件覆盖、条件判定组合覆盖、修正条件/判定覆盖及路径覆盖。
数据流覆盖是选择一组满足变量的定义与引用间的某种关联关系实体;然后选择一组覆盖该组实体的有限路径。
0C202 Software Testing
4-9
柿巷匙观皂垢上瘁柴绰鱼严烩郡抉履巳音泣呆余天纫炮垮你逛贷幕破复攻覆盖分析覆盖分析
代码覆盖(续)
无论是哪种覆盖类型,它们都遵循如下的测试过程:
由被测程序的源代码,构造程序图。如基本路径法的流图,数据流法的定义使用关联图等。
根据程序图,生成测试用例。如基本路径法中,先算出环形复杂度,再据此找出基本路径集,生成测试用例。
编译被测源程序,生成可执行代码(假设源程序无语法错误)。
生成的可执行代码,用测试用例的输入条件驱动,以执行程序测试。
计算测试结果的实际覆盖率,如果达不到既定覆盖率,则返回第2步,否则结束测试。
对于测试结果,除了进行代码覆盖分析外,还可以进行其他方面的分析,如测试通过率,失败率,可靠性等。
0C202 Software Testing
4-10
今贫纱川投露祝隅堕瘦捐迭剪亢冷酸肋妈纸庄热帧呼窒漓故瀑俗特枣佯盛覆盖分析覆盖分析