软件测试2PPT课件

软件测试引论一、软件缺陷二、排除软件缺陷的两种重要手段 1.软件测试 2.软件评审三、软件测试的基本概念 1.测试的目的 2.测试的对象 3.软件测试的原则 4.软件测试信息流 5.为什么不可能做到穷举测试内容内容四、测试策略 1.测试步骤 2.生存期各阶段VV&T活动 3.集成测试 4.验收测试 5.黑盒测试与白盒测试 6.静态分析与动态测试五、如何对待测试工作六、测试工作评估七、小结八、参考资料一、软件缺陷1、软件缺陷是对软件产品预期属性的偏离现象 对产品规格说明的偏离。如：规格说明规定了a+b=>c，而软件产品实际上做的不是。 对用户期望的偏离，即用户要求未体现在产品中（可能是规格说明有疏漏，也可能是实现中的问题。） 2、缺陷有三种 错误：未将规格说明正确实现。 遗漏：规定的或预期的需求未体现在产品中（可能未将规格说明全面实现，也可能在开发过程中追加了需求。） 额外的实现：规格说明并未规定的需求被纳入产品，得到实现。 3、软件缺陷不可能完全避免一、软件缺陷4、缺陷和事故机械和建筑业的对比。缺陷是软件内部的“裂缝”，在未影响到用户和系统运行的情况下是隐蔽状态，并未表现出来。当缺陷引发运行错误或产生负面影响时，构成事故，造成损失或伤害。内部隐含外部表现DefectFailure 缺陷 错误 遗漏 冗余 失效或事故 损失或危害二、排除软件缺陷的两种重要手段1、软件测试 测试在软件开发中占有重要地位测试成本占有开发成本的近一半软件开发成本分布 软件类型 开发成本按阶段分布% 需求与 设计 领导形象设计圆作业设计ao工艺污水处理厂设计附属工程施工组织设计清扫机器人结构设计 实现 测试 控制软件 46 20 34 航空航天软件 34 20 46 操作系统 33 17 50 科技计算软件 44 26 30 商业应用软件 44 28 28需求分析设计走查概要设计设计评审详细设计编码代码走查单元测试集成测试确认测试测试评审需求评审测试策划2、软件项目评审三、软件测试的基本概念1、测试目的（J.Myers） 测试是程序执行的过程，目的在于发现错误（缺陷） 好的测试用例能有效地发现别的测试用例未发现的错误（缺陷） 成功的测试是发现了未曾发现的错误（缺陷）三、软件测试的基本概念2、测试的对象 1)程序测试：发现程序中的缺陷程序正确性的各种情况a．程序编写无语法错误b．程序执行中未发现明显的运行错误c．程序中无不适当语句例:某程序——————————说明部分D……L，…… 对Ｌ说明语句部分S…… L=3; 对Ｌ赋值　I M=L+5 对Ｌ引用　R——————————————————　DDRDDDD　IRRII　RII　————————正常 异常程序正确性的各种情况d.程序运行时能通过典型的有效测试数据，得到正确的预期结果。e.程序运行时能通过典型的无效测试数据，得到正确的结果。f.程序运行时能通过任何可能给出的数据，给出正确的结果。2)软件测试：发现程序及前期开发的缺陷需求规格说明SRS设计规格说明DS程序软件测试的对象3软件测试的原则在测试工作开始以前，不应设想程序中没有缺陷或找不出缺陷。（测试心理学）测试以前应预知测试的结果数据。尽可能避免测试自己写的程序。坚持独立测试原则，必要的情况下建立独立测试机构。测试用例应兼顾有效输入和无效输入。不仅要检验程序是否做了该做的事，还应检验是否做了不该做的事。测试的充分性。测试的有效性。限于人力、物力，测试工作适可而止。（测试经济学）保留一切测试用例。任何已测程序的变更都应重新进行测试。（回归测试）软件测试信息流测试 计划 项目进度计划表范例计划下载计划下载计划下载课程教学计划下载 测试用例测试程序｝测试成本曲线不足测试过度测试测试的程度t未发现的缺陷数测试成本最佳测试点为什么不可能做穷举测试M1D1D2D3D4M2M3M4M5M6M7D5<=20次循环次数 0 1 2……20独立路径数 51+52+53+……+521≈1014 (1百万亿)每个测试用例（考虑、执行、验证结果）5分钟共需测试时间 10亿年为什么不可能做穷举测试若X、Y为所有可能的整数在字长32位机上测试 X1、Y1Z1 ． ． ． Xn、YnZnn=232232=2641.841019四、测试策略需求分析设计编码确认组装单元修正修正修正通过通过通过1.测试步骤(集成)测试与开发前期工作的关系需求分析概要设计详细设计编码模块测试集成测试确认测试系统测试决定软件与系统的配合关系测试查错曲线发现的错误数周周2、生存期各阶段V、V&T活动分析设计编码维护安装测试单元测试系统测试验证确认系统测试质量控制集成测试回归测试验收测试排除隐错的相对成本需求隐错设计隐错编码隐错静态分析软件生存期各阶段的VV&T活动１．需求分析阶段 制定本项目的VV&T计划 设置基于需求的测试用例 对需求进行评审与分析 对用户手册初稿进行评审与分析２．概要设计阶段 修订VV&T计划 制定基于设计的测试步骤 对概要设计进行评审与分析３．详细设计阶段 设置基于设计的功能测试数据 对详细设计进行评审与分析软件生存期各阶段的VV&T活动４．程序编写和单元测试 完成测试用例 说明书 房屋状态说明书下载罗氏说明书下载焊机说明书下载罗氏说明书下载GGD说明书下载 进行单元测试 进行集成测试５．安装 进行系统测试 进行验收测试６．运行和维护阶段 软件 评价 LEC评价法下载LEC评价法下载评价量规免费下载学院评价表文档下载学院评价表文档下载 软件修改评价 回归测试（引自美国国家标准局信息处理标准FIPSPUB101）3、集成测试过程ABCDFE(a)．被测程序结构AFECDBd1d2S1S2d3d4d5S3S5S4(b)非增式集成测试过程ADBFCEd1d2d3d4d5(d)自底向上增式(c)自顶向下增式S1S2S3ABCDS4S5EF4、软件验收测试验收期、保修期和返修期 交付 发验收报告 保修 运行维护 （1周） （1周） （1年）（>5年） 开发 验收 （1.5年） （2月） 返修 （1月）合格不合格5、黑盒与白盒测试 特点 测试依据 方法举例 黑盒测试 不给程序 需求规格说明 等价类划分 白盒测试 给出程序 程序 逻辑覆盖黑盒测试与白盒测试能够发现的错误A 只能用黑盒测试发现的错误C 只能用白盒测试发现的错误B 用黑盒测试或白盒测试都能发现的错误D 用黑盒测试或白盒测试均无法发现的错误A+B 能用黑盒测试发现的错误B+C 能用白盒测试发现的错误A+B+C 用两种测试能发现的错误A+B+C+D 软件中的全部错误ABCD五、如何正确对待测试工作１．明确测试工作意义２．加强责任心，疏忽可能造成恶果３．学习——实践——钻研，积累 经验 班主任工作经验交流宣传工作经验交流材料优秀班主任经验交流小学课改经验典型材料房地产总经理管理经验 ，　　努力提高业务水平４．处理好与编程人员关系六、测试工作评估问题你单位是否有专人负责测试工作？你们是否有、是否用测试计划规范？你们是否有、是否用单元计划规范？你们是否有、是否用测试报告规范？测试过程（包括计划和实施）与整个开发过程是否并行开展？（测试在开发初期着手，在开发结束完成）测试能够确认规格说明得到正确的实现吗？除规格说明以外，你能否确认用户的期望也能满足吗？测试人员能验证开发的阶段（如需求和设计）的精确性和完全性吗？测试人员向开发人员报告缺陷以期进一步采取措施吗？在制定计划之前测试人员能估计业务风险吗？测试工作评估问题针对被测软件是否提出了可度量的测试目标？如已提出，它与商业风险有关吗？测试中发现的缺陷是否做了纪录和总结，使其用于改进开发过程和测试过程？测试人员是否根据以前的工作经验判断可能的缺陷？是否有改进测试过程的办法？你为缺陷命名吗？是否利用缺陷记录、总结和事故数据来评价测试过程的有效性？是否采用度量（如千行代码缺陷数）来计划和评价测试过程？是否已建立了测试人员的培训制度？采用测试工具来支持测试过程吗？不同等级的测试机构 等级 否个数 状态 特点 1 17-20 把测试工作当作技艺(art) 测试依赖于测试人员个人的技巧和创造性对测试人员无指导，无要求测试工作效果不稳定，有时好，有时糟顾客和用户不能靠测试的有效性判断质量 2 13-16 把测试工作当作工艺(craft) 有测试过程、规范、标准和测试计划测试计划得不到实施测试人员只热衷于找缺陷，报告开发人员用户不信任测试过程，只好做验收测试 3 9-12 执行已确切定义的测试过程 测试过程已被定义，单位但未得到有效执行测试工作针对规格说明，重视问题的需求测试结束时没有提供表明被测软件能否投入使用的正式报告不同等级的测试机构 4 5-8 先进的测试机构 有明确的测试目标，可优化利用测试资源实现目标重视测试过程薄弱环节的改进 5 0-4 最先进的测试机构 测试工作基于降低风险，测试人员工作有效测试得到度量，过程得到很好定义缺陷得到记录、分析和总结，且用其改进过程测试成本显著下降顾客和用户相信测试过程，不依靠验收测试取得满意产品七、小结１．选择测试用例是测试工作的关键２．测试的有效性不应被忽视测试后评审其充分性３．重要的是何时停止测试４．回归测试一定不可省软件测试参考资料 RichardA.DeMilloetal.,SoftwareTestingand　　Evaluation,Benjamin/CummingsPublishingCompany,1987. J.Myers,TheArtofSoftwareTesting,JohnWiley&Sons,Inc.,1979. BorisBeizer,SoftwareTestingTechniques,2ndEdition,VanNostrand,1990. IEEETransactionsonSoftwareEngineering. R.S.Pressman,SoftwareEngineering:APractitioner’sApproach,2ndEdition,McGraw-Hill,1987.软件测试参考资料 Musa,SoftwareReliability,McGrawHill,1990. WilliamPerry,EffectiveMethodsforSoftwareTesting,JohnWiley&Sons,Inc.,1995. 郑人杰，计算机软件测试技术，清华大学出版社，1992。 MarkFewster&DorothyGraham著，舒智勇等译，软件测试自动化技术与实例详解，电子工业出版社，2000． WilliamE.Perry,EffectiveMethodsforSoftwareTesting,SecondEdition,JohnWiley&Sons.2000.逻辑驱动测试郑人杰a(A>1)∧(B=0)bcdeX=X/A(A>1)AND(B=0)(A=2)∨(X>1)X=X+1(A=2)OR(X>1)一、被测程序段流程图NNYYa二、五种逻辑驱动测试设计若干测试用例，运行被测程序，使之作到：1）语句覆盖：程序中每一可执行语句至少执行一次2）判定覆盖：程序中每个判定的取真分支和取假分支至少执行一次（也称分支覆盖）A=2B=0X=3ace此例仅用一个测试用例，通常需要多个A=2B=0X=3A=3B=0X=3aceacdA=2B=1X=1A=1B=0X=1abdabe及及或3）条件覆盖：使程序的判定中每个条件的真假取值至少满足一次例中设条件A>1B=0A=2X>1T1T2T3T4取真表为取假表为〒1〒2〒3〒4另一例：4分支4条件8取值2分支4条件8取值 ABX 经历 覆盖分支 覆盖条件 203101211 aceabdabe cebdbe T1T2T3T4〒1T2〒3〒4T1〒2T3〒4 ABX 经历 覆盖分支 覆盖条件 103211 abeabe bebe 〒1T2〒3T4T1〒2T3〒44）判定/条件覆盖：判定中每个条件的所有可能取值至少满足一次，每个判定的分支至少执行一次。上例中需考虑4个条件的8种组合②A>1,B≠0T1〒2①A>1,B=0T1T2③A≤1,B=0〒1T2④A≤1,B≠0〒1〒2⑥A=2X≤1T3〒4⑤A=2X>1T3T4⑦A≠2X＞1〒3T4⑧A≠2X≤1〒3〒4(事实上3组已够，第一组冗余) ABX 覆盖组号 经历 覆盖条件 203211102111 ①⑤②⑥③⑦④⑧ aceaceabeabd T1T2T3T4T1〒2T3〒4〒1T2〒3T4〒1〒2〒3〒44）路径覆盖：覆盖程序中所有可能的路径。 ABX 覆盖路径 203101211301 aceL1abdL2abeL3acdL4bcdeaL2L3L4L1三、实施插装程序中插入的语句 初始化　　C(i) ……C(1)=C(1)+1……C(2)=C(2)+1……C(n)=C(n)+1…… 打印　C(i)入　口C(1)=C(1)+1Q=XR=YC(2)=C(2)+1Ｑ≠ＲC(4)=C(4)+1Ｑ＞ＲC(6)=C(6)+1C(5)=C(5)+1Q=Q-RR=R-QC(3)=C(3)+1出　口ＴＴＦＦ插装后的求最大公约数程序流程图因果图方法一、因果图方法概述１、一种黑盒测试方法２、方法的依据：　　需求规格说明中的因果关系二、因果图符号恒等c1=1e1=1c1=0e1=0非c1c2c3c1e1c1e1e1∨c1c2e1∧c1=1e1=0c1=0e1=1c1=1或c２=1或c３=1e1=１e1=0否则c1=1且c２=1e1=１e1=0否则或与a输入条件的约束bEacIbabOE约束（异）：a,b中至多有一个可能为1即a和b不能同时为１Ｉ约束（或）：a,b和c中至少有一个必须是1,即a、b和c不能同时为0O约束（唯一）：a和b中必须有一个且仅有一个为１abRR约束（要求）：a是１时，b必须是１　即不可能a是１时b为０输出条件的约束abMM约束（强制）：若结果a是１时，　则结果b强制为０三、因果图方法举例某程序要求：　　第一列字符必须是Ａ或Ｂ，第二列字符必须是　一个数字，在此情况下对文件进行修改。但第一　列字符不正确，则给出信息Ｌ；若第二列字符不　是一个数字，则给出信息Ｍ。分析原因　１——第一列字符是Ａ　２——第一列字符是Ｂ　３——第二列字符是一个数字结果　21——修改文件　22——给出信息Ｌ　23——给出信息Ｍ因果图∨∧E解判定表和测试用例条件（原因）动作（结果） 1 2 3 4 5 6 7 8 1 1 1 1 ０ ０ ０ ０ 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 1 1 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 1 0 1 0 １ 测试用例 A3A8 AMA? B5B4 BNB! C2X6 DYD;测试工具一、软件测试工具概述　　在ISO9000-3实施指南中的4.11节有关于“检验、测量实验设备的控制”的要求（原文是Controlofinspection,measuringandtestequipment)。应如何理解这一节的要求？我们知道，在传统的制造业中计量设备、化验设备在生产过程中对质量控制是至关重要的。如果千分尺、天平、实验炉的温度计不准，它所引起的后果可想而知。因此必须规定对这些设备的控制、校准和维修的办法，并建立文件化程序。　　对于软件企业呢，这里应该指的是软件测试工具的控制。１、什么是软件测试工具？　　——软件测试是软件开发的重要阶段，往往投入成本的40－60％。——软件测试工具是一种测试软件，开发人员借助它来提高软件测试工作的效率。——目前国内软件企业采用软件测试工具还不够普遍。2、软件测试工具的分类①按工作方式分：　　——静态分析工具——动态测试工具②按工具功能分：——测试计划工具：支持制订测试计划——测试设计与开发工具：支持测试数据生成，测试问题的捕捉与重演——测试执行工具：支持特定的测试方法、支持回归测试——测试评价工具：报告测试覆盖情况——测试管理工具：协助进行测试的组织工作——其它辅助工具：如数据比较、模拟运行3、如何控制①自行开发的测试工具待成熟才可投入使用　　②采购产品的选择：优秀的、名牌的③使用前充分检测4、参考：《计算机软件测试技术》郑人杰清华大学出版社1992.12第七章二、几类软件测试工具简介1、评审与检查用工具Toolsforreviewsandinspections①复杂度分析工具Complexanalysis 程序复杂性度量：McCabe程序环路度量Halstead程序工作量度量 程序复杂度给测试人员启示，如何掌握测试工作投入量即复杂性大的程序部分要投入更大的测试工作量，同时也必须投入更大的成本和足够的测试时间（Costschedule)②代码理解工具Codecomprehension 帮助理解程序：依赖关系、程序逻辑、程序图形表示、识别死代码段，从而提醒我们，哪些程序需作重点检查。 通常代码检查（inspection)会花很多时间准备，该工具能帮助进行分析、理解和实施逆向工程（reverseengineering)。③语法和语义分析工具SyntaxandSemanticanalysis 该工具能深入地查找出编译系统查不出的错误 与语言相关，（如 C语言，Fortran，……）　也还有依据方言开发的 将发现的错误列出表格2、测试计划工具ToolsforTestplanning 制订测试计划的目的在于确定测试活动的范围、方法、资源（包括工具）以及进程。测试计划给出了整个测试活动的依据。 IEEE/ANSIStandardforSoftwareTestDocumentation(Std.829-1983)给出了测试计划的目的、大纲和内容，还在附录中给出商业数据处理的例子。 有的工具帮助决定为实现充分测试所需的人员和进度。这要比人主观计划更为客观。 类型：——测试计划文档样本——测试进程和人员配备统计——复杂性分析器 评审和检查的工具对测试计划的制订有用。例如，识别出复杂程序，就应加强测试和额外的测试。3、测试设计与开发工具ToolsforTestDesign&Development 测试设计——针对软件的特征（features)将测试计划描述测试方法（approach）详细化的过程 测试开发是将测试设计转换成特征的测试用例过程。 类型：——测试数据生成TestDataGenerator——基于需求的测试设计工具Requirement-basedTestDesign(这类工具尚未流行，例如，因果图方法）——返回捕捉capture/playback——覆盖分析4、测试执行与评价工具TestExecution&Evaluation 任务是执行测试用例及评价测试结果。包括：——选择执行的测试用例——建立测试环境——执行选定的测试——记录执行活动——分析产品可能的失效——度量测试工作的效率类型——Capture/Playback——覆盖分析——存储测试memorytesting——模拟和执行Simulator&PerformanceCapture/Playback 覆盖分析——覆盖分析工具是测试质量定量度量的手段。他告诉我们测试的程度。那些部分测试过，那些部分尚未测试到需要进一步测试。它对所有的测试机构都是重要的。——最常用的仍然是语句覆盖和判定覆盖两种。——有的开发机构规定了覆盖率至少要达到某个值。 存储测试MemoryTesting——又称bounds-checker,memorytester,run-time,errordetector,或泄露探察器leakdetector。——功能的探察：存储问题超出数组界的超读或超写存储区只有分配没有释放读或使用为初始化的数据——此类工具是错误尚未暴露或酿成严重问题之前发现详细的诊断信息可供进一步追踪并清楚错误。——工具依赖于所用语言和平台，一些开发商针对最为流行的语言和环境。5、软件测试支持工具 问题管理ProblemManagement此类工具有时也称为缺陷追踪工具，隐错管理工具，事件控制系统等。 类型——快速递交和更新欠缺报告——生成预定义的或用户定义的管理报告——有选择地通知用户缺欠状态的变更 配置管理工具ConfigurationManagement 测试用例管理工具——为管理测试提供用户接口——组织测试，以便于使用和维护——启动并管理由用户选择的某段测试的实施——利用capture/playback和覆盖分析工具结合成为无缝联接测试——提供自动测试报告和文档 模拟器和Performance——这类工具常被用来检查作为某类测试的实际方法。如，软件与不可控的或不可直接得到的硬件，可以检查远程通讯程序、控制程序及网络等。——模拟器也可检查系统的性能。通常Performance工具可帮助确定软件或系统的运行能力，模拟器和Performance工具的差别很小——一些工具是针对多用户client/server系统的自动装载测试和性能度量。这种工具可在应用问题进入联机状态之前，对client/server的应用进行性能测试。二、动态测试工具FORTUNE的功能1、输入被分析的FORTRAN程序2、分析并输出每一可执行语句的执行特性： 每一可执行语句的实际执行次数N 每一可执行语句的相对执行代价，如第j个可执行语句的相对执行代价CSj=Nj∑CKnK=1K=1,2,……,n其中Nj为该语句执行次数n为该语句中的运算个数，第K个运算的相对代价为CK3、根据用户的要求，分析并输出各指定程序块的执行特性 程序块的实际执行次数Ｍ 程序块的相对执行代价，如第i个可执行程序块的相对执行代价CBi=Mi∑CSjmj=1j=1,2,……,m其中Mi为该程序块的执行次数m为该程序块中的可执行语句４、计算并输出整个程序的相对执行代价CT=∑CBili=1其中l为程序中块的个数计算并输出各程序块的执行代价与整个程序代价的比例Pi=×100%CBiCT5、程序中LOGICIF语句，BLOCKIF语句及ELSEIF语句　中逻辑表达式执行取真次数的比率BNFTN2N1B为逻辑表达式N条件语句执行次数N1执行中Ｂ取真的次数Q=×100%N1N取真比率等价类划分方法郑人杰一、等价类划分方法概述１．一种典型的黑盒测试方法２．什么是等价类二、确定等价类原则１．如果输入条件规定了取值范围或值的个数，则可确定一个有效等价类和两个无效等价类。例： 取值范围 “……数据项数可从1到999……” 有效等价类： 1<项数<999 无效等价类： 项数<1 项数>999 值的个数 “学生选课允许2门至4门” 有效等价类： 选课2至4门 无效等价类： 只选一门课或未选课 选课超过4门确定等价类原则２．输入条件规定了输入值的集合，或是规定了“必须如何”的条件，则可确定一个有效等价类和一个无效等价类。例：输入值的集合 “统计各省、市、自治区某一产值” 有效等价类： 国内各省、市、自治区 无效等价类： 外国省、市 “必须如何” “标识符以字母开头” 有效等价类： 以字母开头的字符串 无效等价类： 以非字母开头的字符串３．如果确知，已划分的等价类中各元素在程序中的处理方式是不同的，则应将此等价类进一步划小。三、确定测试用例１．设计一个测试用例，使其尽可能多地覆盖有效等价类，重复这一步，最终使得所有有效等价类均被覆盖。２．设计一个测试用例，使其只覆盖一个无效等价类，重复这一步，最终使得所有无效等价类均被覆盖。四、等价类划分方法设计测试用例[例]某FORTRAN编译系统的设计和程序编写工作已经完成，现需对DIMENSION语句的实现设计测试用例。已知DIMENSION语句的语法规则是： DIMENSION语句用以规定数组的维数。 形式为：DIMENSIONAD[；AD]… 其中，AD是数组描述符，其形式为 n(d[,d]…) 其中，n是数组名，由1-6个字母或数字组成。为首的必须是字母；d是维数说明符，数组维数最大为7，最小为1，它的形式为 [lb:]ub lb和ub分别表示数组下界和上界，均为-65534至65535之间的整数，也可是整型变量名（但不可是数组元素名）。若未规定lb，则认为其值为1，且ub>=lb。若已规定了lb，则它可为负数、零或正数。DIMENSION语句也和其他语句一样，可连续写多行。（以上规则中，[]内为任选项，小写字母代表语法单位，…表示它前面的项可重复出现多次。）FORTRAN语言的DIMENSION语句 AD DIMENSIONALPHA(2:5,3:10), BETA(-4:4,1:7),…… n d d d=[lb:]ub 1~6 1~7 -65534~65535 字符数 维数 界值[解]第一步确定输入条件，列出等价类表 输入条件 有效等价类 无效等价类 数组描述符个数数组名长度数组名构成数组名以字母开头数组维数上界是整型变量名整型变量以字母开头上下界取值是否定义下界上界对下界关系下界定义为下界是语句多于一行 1（1），>1（2）1~6（4）有字母（7），有数字（8）是（10）1~7(12)常数（15）整型变量（16）有字母（19）有数字（20）是（22）-65534~65535（24）是（27），否（28）>（29），=（30）负数(32)，0(33)，正数(34)常数（35），整型变量（36）是（39），不是（40） 无数组描述符（3）0（5），>6（6）有其它字符（9）不是（11）0（13），>7（14）数组元素名(17)，其它（18）其它（21）不是（23）<-65534（25），>65535（26）<（31）数组元素名（37）其它（38）第二步确定测试用例先设计一个测试用例，使其覆盖一个或多个有效等价类。如：DIMENSIONA(2)能覆盖有效等价类1，4，7，10，12，15，24，28，29和40。为覆盖其它有效等价类，需设计另外的测试用例。如：DIMENSIONA12345(I,9,J4XXXX,65535,1,KLM,100), BBB(-65534:100,0:1000,10:10,I:65535)它可覆盖其余的有效等价类。再设计其它测试用例，使每个只覆盖一个无效等价类，直至覆盖完为止。这些测试用例是（下面各行左端括号内的数字为等价类号）：(3) DIMENSION(5) DIMENSION(10)(6) DIMENSIONA234567(2)(9) DIMENSIONA.1(2)(11) DIMENSION1A(10)第二步确定测试用例(13) DIMENSIONB(14) DIMENSIONB(4,4,4,4,4,4,4,4) (17) DIMENSIONB(4,A(2))(18) DIMENSIONB(4,,7)(21) DIMENSIONC(I.,10)(23) DIMENSIONC(10,1J)(25) DIMENSIOND(-65535:1)(26) DIMENSIOND(65536)(31) DIMENSIOND(4:3)(37) DIMENSIOND(4(2):4)(38) DIMENSIOND(.:4)连同前面两个共计18个测试用例，他们覆盖了全部等价类。中国是茶的故乡，茶是有益健康的中国饮料。茶叶与陶瓷、丝绸并称为中国三大特产而名扬中外，成为中国的代名词。人们在长期的饮茶实践中，逐渐形成了独特的茶文化。唐陆羽著《茶经》，书中详细地论述了茶的形状、品质、产地、采制、烹饮等方法及用具等，是我国第一部关于茶的专著。著名的龙井茶产地杭州，在西湖畔建有茶叶博物馆，供人们参观。千年来，我们的祖先为后代留下的茶诗、茶词，不下数千首。中国历代咏茶诗词具有数量丰富题材广泛和体裁多样的特征，是中国文学宝库中的一支奇葩。这些茶诗茶词既反映了诗人们对茶的宝爱，也反映出茶叶在人们文化生活中的地位。中国的茶文化俄罗斯茶壶日本茶壶