CppUnit实践市公开课一等奖省赛课微课金奖课件

CPPUnit实践邱永庆-5-28中兴通讯－ZTE11/27单元测试在程序设计过程中会有许各种测试，单元只是其中一个，单元测试并不能确保程序是完美无缺，不过在全部测试中，单元测试是第一个步骤，也是最主要一个步骤。1按照极限编程（XP）理论，写测试就是对软件进行设计过程，它主要性甚至超出了实际完成功效代码。先将测试写完，然后再完成代码，这么，全部测试经过之日也就是程序完成之时2单元测试技术从整体上分为白盒测试与黑盒测试，其中前者使用程序设计控制结构导出测试用例，针对程序内在结构（逻辑、数据流），后者目标是验证单元实现功效，而不需要知道程序是怎样实现它们。黑盒测试关注是单元输入与输出，不是白盒测试替换品，而是辅助白盒测试发觉其它类型错误。3语句覆盖是一个最弱覆盖测试，但却是一个必须做最低程度白盒测试。独立路径测试能够确保全部语句被执行最少一次422/27单元测试——要求功效测试1主要执行路径测试2局部数据结构3错误处理测试4影响上述各条边界条件5语句覆盖测试，分支覆盖测试633/27单元测试过程(术语域测试(Fieldtest)意思是在软件投入使用以后，针对某个领域所作全部测试活普通认为单元测试应紧接在编码之后，当源程序编制完成并经过复审和编译检验，便可开始单元测试。测试用例设计应与复审工作相结合，依据设计信息选取测试数据，将增大发觉上述各类错误可能性。在确定测试用例同时，应给出期望结果。1应为测试模块开发一个驱动模块（driver）和（或）若干个桩模块（stub）2驱动模块在大多数场所称为“主程序”，它接收测试数据并将这些数据传递到被测试模块，被测试模块被调用后，“主程序”打印“进入-退出”消息。单元测试驱动程序被测模块测试用例Stub1Stub2Stub3测试结果44/27单元测试——黑盒测试黑盒测试重视于测试软件功效性需求，通常黑盒测试试图发觉以下类型错误：功效不正确或遗漏，接口错误，性能错误等等黑盒测试技术通常分为等价划分、边界值分析、因果图等1等价类划分指一套被选择值，这些值分别代表了许多众多可能输入值，程序对其处理方式都是一样。等价类划分基于功效项输入和输出，将其划分成等价类，通常包含以下几个组合2边界值分析是等价划分扩展，包含等价类+划分边界值，边界值通常是等价类界限，以恰好小于、等于和大于界限指作为边界值。3正当/非法输入和输出、对数值型值分为正数、负数和0、对于字符串型分为空串和非空串对16-bit整数而言32767和-32768是边界、

表第一和最终一行、

数组元素第一个和最终一个、

循环第0次、第1次和倒数第2次、最终一次55/27单元测试——黑盒测试考虑输入条件之间联络。假如在测试时必须考虑输入条件各种组合，可能又会产生一些新情况，此时我们能够经过因果图来描述条件之间组合情况，从而推导出测试用例设计。1因果图方法最终生成就是判定表。它适合于检验程序输入条件各种组合情况。在任何情况下都必须使用边界值分析方法。经验表明用这种方法设计出测试用例发觉程序错误能力最强。必要时用等价类划分方法补充一些测试用例。用错误推测法再追加一些测试用例。对照程序逻辑，检验已设计出测试用例逻辑覆盖程度。假如没有到达要求覆盖标准，应该再补充分够测试用例。假如程序功效说明中含有输入条件组合情况，则一开始就可选取因果图法。266/27单元测试——黑盒测试技术总结边界值测试1特殊值测试2随机测试3正面和负面测试4域测试5等价类测试6基于判定（决议）表测试777/27单元测试——黑盒测试（例1字符串）voidupperString(string&aline)//将全部小写字母转换为大写字母{stringcaps("abcdefghijklmnopqrstuvwxyz");string::size_typepos=0;while((pos=aline.find_first_of(caps,pos))!=string::npos){aline[pos]=toupper(aline[pos]);}};边界值：空串aline=“”,一个字符aline=“1”,大字符串等价类：空串aline=“”,数字，字母，特殊字符错误推测法：异国字母，双字节符号88/27单元测试——黑盒测试（例2数字）学生成绩（A—D)：[85,100](A);[70,85)(B);[60,70)(C);[0,60)(D)边界值：-1,0,1;59,60,61;69,70,71;……;99,100,101等价类：划分每个区间内值错误推测法：99/27单元测试——黑盒测试（例3因果图）1010/27单元测试——黑盒测试（例3因果图）1.年薪制员工：严重过失，扣年底风险金4%；过失，扣年底风险金2%2.非年薪制员工：严重过失，扣当月薪资8%；过失，扣当月薪资4%1111/27单元测试——黑盒测试（例3因果图）1212/27单元测试——黑盒测试（例3因果图）1313/27单元测试——白盒测试经过在不一样点检验程序状态，确定实际状态是否与预期状态一致。所以白盒测试又称为结构测试或逻辑驱动测试1全部独立路径最少执行一次全部逻辑判定取“真”和取“假”两种情况最少执行一次在循环边界和边界内执行循环体全部内部数据结构被测试以确保其有效性2语句覆盖：程序中每一可执行语句最少执行一次分支覆盖：程序中每个判断取真分支和取假分支最少经历一次。

条件覆盖：程序中每个判断每个条件可能取值最少执行一次

条件组合覆盖：每个判断全部可能条件取值组合最少执行一次。

1414/27单元测试——白盒测试

次序if语句while语句until语句case语句（箭头）称为“边”（edge），代表控制流；(圆圈)称为“节点”（node），代表一个或多个语句动作。

由节点和边围成范围称为“域”（region）。在计算域时，图形外区域也应算做一个“域”判定节点，指包含条件节点

1515/27单元测试——白盒测试1616/27单元测试——白盒测试独立路径是指程序中最少引进一个新处理语句集合，采取流图术语，即独立路径必须最少包含一条在定义路径之前不曾用到边。比如图(b)中所表示流图一个独立路径集合为：路径1：1-11路径2：1-2-3-4-5-10-1-11路径3：1-2-3-6-8-9-10-1-11路径4：1-2-3-6-7-9-10-1-11假如能将测试设计为强迫运行这些路径，那么程序中每一条语句将最少被执行一次，每一个条件执行时都将分别取true和false（分支覆盖）。应该注意到基本集并不唯一1717/27单元测试——白盒测试怎样才能知道需要寻找多少条路径呢？能够经过以下三种方法之一来计算独立路径上界：1.V=E-N+2，E是流图中边数量，N是流图节点数量。2.V=P+1，P是流图G中判定节点数量3.V=R，R是流图中区域数量比如，(b)流图能够采取上述任意一个算法来计算独立路径数量1.流图有4个区域，所以V=42.V=11条边-9个节点+2=43.V=3个判定节点+1=4由此为了覆盖全部程序语句，必须设计最少4个测试用例使程序运行于这4条路径1818/27单元测试——白盒测试（例1）If(a||b){X…}else{Y…}Z...aXYbNYYNZ多少个用例？路径1：a-b-Y-Z路径2：a-X-Z路径3：a-b-X-Z1919/27单元测试——白盒测试(覆盖率测试设计）普通要求语句覆盖率和判断覆盖率1一些主要执行路径没有被覆盖可能原因有2普通技术：分支测试、条件测试、数据定义－使用测试、状态转换测试不可行路径或条件――应该标注测试说明证实该路径或条件没有测试原因。不可抵达或冗余代码――正确处理方法是删除这种代码。这种分析轻易犯错，尤其是使用防卫式程序设计技术（DefensiveProgrammingTechniques）时，如有疑义，这些防卫性程序代码就不要删除。测试用例不足――应该重新提炼测试用例，设计更多测试用例添加到测试说明中以覆盖没有执行过路径2020/27单元测试——CPPUnit手工编写，自动执行并汇报，变更影响检测，促进重构以改进设计，测试用例需要编写，工作量大，能够和coverage、purify等工具集合使用2121/27单元测试——CppUnit总体组成

core：CppUnit关键部分output：掌管结果输出helper：一些辅助类extension：作为单元测试延伸，对CppUnitcore部分扩展（比如：常规测试，重复测试）listener：监视测试进程和测试结果textui：一个运行单元测试文本环境portability：提供针对不一样平台移植设置

2222/27单元测试——CppUnit总体组成

把同时运行测试案例集合称为TestSuiteTestRunner则运行测试用例或者运行TestSuite当前提供3类TestRunner:

CppUnit::TextUi::TestRunner文本方式TestRunnerCppUnit::QtUi::TestRunnerQT方式TestRunnerCppUnit::MfcUi::TestRunnerMFC方式TestRunner2323/27单元测试——CppUnit总体组成

std::ofstreamout("xUnit.txt");CppUnit::TextUi::TestRunnerrunner;CppUnit::TextOutputter*MyOutputter=newCppUnit::TextOutputter(&runner.result(),out);runner.setOutputter(MyOutputter);输出能够进行重定向2424/27DB单元测试实践_测试模式