《软件质量保证与测试》实验指导书.docVIP

《软件质量测试与保证》 实验指导书 信息科学与工程学院 信息技术实验中心 实验一 等价划分测试 【目的与要求】 了解在测试工具对程序进行测试，通过对程序的测试，明白等价划分的意义。 【上机内容】 等价划分测试的英文是equivalence partition testing。 等价划分测试是根据等价类设计测试用例的一种技术。是黑盒测试的典型方法之一，通过把被测试程序所有可能的输入数据域划分成若干部分。从每一部分中选取少数有代表性的数据作为测试用例，可有效减少测试次数，极大提高软件测试效率，缩短软件开发周期．等价类划分测试的目的就是为了在有限的测试资源的情况下，用少量有代表性的数据得到比较好的测试效果。有效等价类盒无效等价类。有效等价类中的数据代表的是一组符合需求文档的正确的有意义数据。无效等价类则正相反。 本的是：等价划分测试的概念含义，以及什么是等价划分测试。 实战演习 　　1.某程序规定：输入三个整数 a 、 b 、 c 分别作为三边的边长构成三角形。通过程序判定所构成的三角形的类型，当此三角形为一般三角形、等腰三角形及等边三角形时，分别作计算 … 。用等价类划分方法为该程序进行测试用例设计。（三角形问题的复杂之处在于输入与输出之间的关系比较复杂。） 　　分析题目中给出和隐含的对输入条件的要求： 　　（1）整数 （2）三个数 （3）非零数 （4）正数 　　（5）两边之和大于第三边 （6）等腰 （7）等边 　　如果 a 、 b 、 c 满足条件（ 1 ） ~ （ 4 ），则输出下列四种情况之一： 　　1)如果不满足条件（5），则程序输出为 非三角形 。 　　2)如果三条边相等即满足条件（7），则程序输出为 等边三角形 。 　　3)如果只有两条边相等、即满足条件（6），则程序输出为 等腰三角形 。 4)如果三条边都不相等，则程序输出为 一般三角形 。 实验报告书写认真，不得抄袭，如有雷同，按不及格处理 边界值分析是一种常用的黑盒测试方法，是对等价类划分方法的补充；所谓边界值，是指相对于输入等价类和输出等价类而言，稍高于其最高值或稍低于最低值的一些特定情况。边界值分析的步骤包括确定边界，选择测试用例两个步骤。 三角形问题有三个输入，即三条边a、b、c，其取值范围为： 1 ≤ a ≤ 200 1 ≤ b ≤ 200 1 ≤ c ≤ 200 a = {1，2，100，199，200} b = {1，2，100，199，200} c = {1，2，100，199，200} 用例 A B C 预期输出 1 100 100 1 等腰三角形 2 100 100 2 等腰三角形 3 100 100 100 等边三角形 4 100 100 199 等腰三角形 5 100 100 200 非三角形 6 100 1 100 等腰三角形 7 100 2 100 等腰三角形 8 100 100 100 等边三角形 9 100 199 100 等腰三角形 10 100 200 100 非三角形 11 1 100 100 等腰三角形 12 2 100 100 等腰三角形 13 100 100 100 等边三角形 14 199 100 100 等腰三角形 15 200 100 100 非三角形 实验步骤： 1、在实验机调试运行质量测试程序。 2、记录测试实验结果。 3、分析实验结果。 考核形式 1．实验考勤 20%： 2．上机操作能力及实验纪律占40%： 3．实验报告40%； 实验报告要求 １．写出算法原理 ２．写出程序清单及注释 ３．写出测试数据及结果 ４．写出上机调试中遇到的错误及实验体会 5．实验报告书写认真，不得抄袭，如有雷同，按不及格处理 状态转换测试的英文是state transition testing；是根据状态转换来设计测试用例的一种方法。一个系统或组件的两个允许状态之间的切换。 基于状态转换的测试方法是探测Web程序动态行为异常的有效途径.Web程序状态的变迁由链接序列和提交数据共同构成的导航场景决定.本文用活动页面导航图(APND)来描述页面间的链接转换行为,用状态变量的组合对象状态图(COSD)来刻画由提交数据导致的系统状态变量改变,再将两者统一成一个较为全面的动态行为模型Web程序状态转换图(WSTD).最后,采用线索k叉树并加以改进来自动生成测试用例。 假设有一个状态转换图或者一个与其等价的理解，那么就很容易获得可以明确地检查不可到达的状态是否真的不可到达的测试用例。与这种方法相同的变种称为n-switch 测试，在一套已知的转换之后，那些不可到达的状态仍然是不可到达吗？图形工具，例如