软件测试白盒测试课件

软件测试白盒测试课件第3章白盒测试e6e1e2e3e4e5e73.1控制流测试一、基本概念有向图路径完整路径简单路径基本路径子路径回路无回路路径连接覆盖路径覆盖关系举例二、控制流覆盖准则语句覆盖准则分支覆盖准则谓词测试原子谓词覆盖准则分支－谓词覆盖准则复合谓词覆盖准则路径覆盖准则部分覆盖准则间的关系复合谓词覆盖准则分支--谓词覆盖准则分支覆盖准则原子谓词覆盖准则语句覆盖准则二、数据流覆盖准则定义覆盖测试准则引用覆盖测试准则定义－引用覆盖测试准则3.３程序插装程序插装技术的研究涉及下列几个问题：(1)探测哪些信息？(2)程序的什么位置设...

第3章白盒测试e6e1e2e3e4e5e73.1控制流测试一、基本概念有向图路径完整路径简单路径基本路径子路径回路无回路路径连接覆盖路径覆盖关系举例二、控制流覆盖准则语句覆盖准则分支覆盖准则谓词测试原子谓词覆盖准则分支－谓词覆盖准则复合谓词覆盖准则路径覆盖准则部分覆盖准则间的关系复合谓词覆盖准则分支--谓词覆盖准则分支覆盖准则原子谓词覆盖准则语句覆盖准则二、数据流覆盖准则定义覆盖测试准则引用覆盖测试准则定义－引用覆盖测试准则3.３程序插装程序插装技术的研究涉及下列几个问题：(1)探测哪些信息？(2)程序的什么位置设置探测点？(3)需要多少探测点？程序插装类型：用于测试覆盖率和测试用例有效性度量的程序插装用于断言检测的程序插装程序强变异测试变异测试的缺点是它需要大量的计算机资源来完成测试充分性分析。对于一个中等规模的软件，所需的存储空间也是巨大的，运行大量变异因子也导致了时间上巨大的开销。程序弱变异测试弱变异和强变异有很多相似之处。其主要差别在于：弱变异强调的是变动程序的组成部分，根据弱变异准则，只要事先确定导致C与C′产生不同值的测试数据组，则可将程序在此测试数据组上运行，而并不实际产生其变异因子。弱变异测试方法的主要优点是开销较小，效率较高。3.５白盒测试工具一、静态工具静态测试工具类型：1.代码审查　　　　　2.一致性检查3.错误检查　　　　　4.接口分析5.输入/输出规格说明分析检查　　6.数据流分析　　　　7.类型分析　　　　　8.单元分析　　　　　9.复杂度分析静态工具应用实例1.Logiscope的软件质量分析工具Audit应用：Audit是审查程序代码质量的，它通过一个文本文件来定义质量模型。文件中首先定义了若干个度量元，并为这些度量元设定了数值范围，接着通过组合若干个度量元形成质量标准，最后又通过组合质量标准，形成最后的质量因素。这个过程与软件质量模型中由底层到高层、由细节到概括的结构恰好对应。（1）在Logiscopestudio中建立Audit项目　　　　　　　　　　Logiscopestudio环境点击[File|New]菜单项，并根据新建项目向导建立项目：　　　　　　　　新建项目对话框　　　　　　　　　新建项目向导（２）查看检测结果选择[Browse|Quality|FactorLevel]菜单项，Logisciop会显示Audit对所检测源程序质量水平的评价结果，评价结果包括系统的质量、类的质量、函数的质量。选择[Browse|Quality|CriteriaLevel]菜单项，Logisciop会显示Audit对所测源程序的各项质量标准的检测结果，具体包括：系统的质量标准、类的质量标准、函数的质量标准。选择[Project|StartViewer]菜单项，启动“LogiscopeViewer”，通过点击工具条上的按钮，可以查看Audit所提供的对函数的各种分析信息。２.Logiscope的代码规范性检测工具RuleChecker应用：使用RuleChecker来检查代码的规范性分为两个步骤：首先是建立被检测代码的RuleChecker项目，然后是分析RuleChecker给出的代码书写规范性检测结果，得出报告。（1）根据向导建立RuleChecker项目　　　　　　　　　　　　　　　　　　RuleChecker界面（２）查看检测结果选择[Browse|Rule|RuleViolations]菜单命令，RuleChecker会在树状视图中列出代码中所有违反编码规范的地方。点击[Browse|Rule|RuleViolationsReport]菜单命令，会生成RuleChecker的检测报告。二、动态工具静态测试工具类型：1.功能确认与接口测试测试包括对各模块功能、模块间的接口、局部数据结构、主要执行路径、错误处理等方面进行的测试。2.覆盖测试覆盖分析对所涉及的程序结构元素进行度量，以确定测试执行的充分性。PureCoverage主界面选择“file”中的run后，出现对话框RunProgram。在Programname中选择被测对象的路径后，点击Run，运行程序。运行完程序后，会出现运行后的结果数据。被测程序的函数覆盖和代码覆盖情况3.6软件缺陷分析一、软件缺陷的种类1.输入/输出缺陷　　　　　2.逻辑缺陷3.计算缺陷　　　　　4.接口缺陷5.数据缺陷　　二、软件缺陷的产生1.疏忽造成的错误（Carelessnessdefect，CD）　　　　　2.不理解造成的错误（Misapprehenddefect，MD）3.二义性造成的错误(Ambiguitydefect，AD)　　　　　4.遗漏造成的错误（Skipdefect，SD）　　三、软件缺陷数目估计1.撒播模型　(1)程序中固有的缺陷是未知的，每个错误被检测的难易程度也同样是未知的。(2)人工置入的缺陷是否和程序中存在缺陷检测的难易程度一致也是未知的。　　Hyman提出另外一种模型：假设软件总的排错时间是X个月，假设经过排错程序中将不再存在错误。让两个人共同对程序进行排错，经过足够长(X的一半或更少)的排错时间后，第一个人发现了n个错误，第二个人发现了m个错误，其中属于两个人共同发现的错误有m1个　2.静态模型　Akiyama模型：N=4．86十0．018*L。其中：N是缺陷数；L是可执行的源语句数目。谓词模型：N=C+J其中：C是谓词数目；J是子程序数目。Halstead模型：N=V/3000。其中：V=xlny，x=x1+x2，y=y1+y2x1：程序中使用操作符的总次数；x2：程序中使用操作数的总次数；y1：程序中使用操作符的种类；y2：程序中使用操作数的种类；Lipow模型：N=L*(A0+A1InL+A21n2L)。①Fortran语言：A0=0.0047，A1=0.023，A2=0.000043。②汇编语言：A0=0.0012，A1=0.0001，A2=0.000002。Gaffnev模型：N=4.2十0.0015L4／3。ComptonandWithrow模型：N=0.069十0.00156L十0.00000047L2。3.根据测试覆盖率的预测模型错误与时间曲线错误与覆盖率曲线　错误数时间t1错误数覆盖率0.50.95覆盖率与时间曲线　覆盖率时间t1四、软件缺陷的发现、排除及效率分析1.软件测试的检测效率分析软件测试阶段测试能力非形式化的设计检查25%～40%形式化的设计检查45%～65%非形式化的代码检查20%～35%形式化的代码检查45%～70%单元测试15%～50%新功能测试20%～35%回归测试15%～30%集成测试25%～40%系统测试25%～55%低强度的β测试(<10客户)20%～40%高强度的β测试(>1000客户)60%～85%2.影响软件测试效率的因素人为因素不同水平层次的测试人员在发现软件错误的数量和测试效率的差异。软件类型软件类型也是影响测试效率的一个重要因素。缺陷类型各种不同的测试方法检测不同错误类型的能力也是不同的。五、软件缺陷的分布

                    本文档为【软件测试白盒测试课件】，请使用软件OFFICE或WPS软件打开。作品中的文字与图均可以修改和编辑，
                    图片更改请在作品中右键图片并更换，文字修改请直接点击文字进行修改，也可以新增和删除文档中的内容。 
 该文档来自用户分享，如有侵权行为请发邮件ishare@vip.sina.com联系网站客服，我们会及时删除。

                    [版权声明] 本站所有资料为用户分享产生，若发现您的权利被侵害，请联系客服邮件isharekefu@iask.cn，我们尽快处理。

                    本作品所展示的图片、画像、字体、音乐的版权可能需版权方额外授权，请谨慎使用。

                    网站提供的党政主题相关内容(国旗、国徽、党徽..)目的在于配合国家政策宣传，仅限个人学习分享使用，禁止用于任何广告和商用目的。
                

下载需要：免费已有0 人下载

立即下载

软件测试白盒测试课件

你可能还喜欢