三角形基本路径覆盖测试 三角形白盒测试.pdfVIP

三角形基本路径覆盖测试 于名飞 学号2220130799 刘振昌 学号2220130793 陈诗明 学号2220120200 张超宁 学号2220120210 王永峰 学号2220120193 1 三角形基本路径覆盖测试 对于上述三角形基本路径覆盖测试程序流程，根据条件判定来生成测试用例， 得到的测试用例如下： 用例 输入取值 覆盖路径 case1 a=8, b=9, c=10 0→1→3→5→7→8→9→10→11 case2 a=8, b=20, c=9 0→1→3→5→7→8→9→10→12 case3 a=20, b=8, c=9 0→1→3→5→7→8→9→12 case4 a=8, b=9, c=30 0→1→3→5→7→8→12 case5 a=10, b=10, c=30 0→1→2→3→5→7→13→14→12 case6 a=10, b=10, c=9 0→1→2→3→5→7→13→14→15 case7 a=10, b=30, c=10 0→1→3→4→5→7→13→16→17→12 case8 a=10, b=9, c=10 0→1→3→4→5→7→13→16→17→15 case9 a=30, b=10, c=10 0→1→3→5→6→7→13→16→18→19→12 case10 a=9, b=10, c=10 0→1→3→5→6→7→13→16→18→19→15 case11 a=10, b=10, c=10 0→1→2→3→4→5→6→7→13→16→18→20 2 开发环境 操作系统: Window7 开发环境: VS2008 、C# 运行环境: Window 2000/XP/2003/7/8 、.net FrameWork 2.0 屏幕分辨率要求大于1024x768 3 编程思路 完成该系统，实现基本的判定条件和路径覆盖，从编程的角度来说比较简单， 但为了能够实现较好的可视化效果，希望能够将程序执行路径的每一步分别顺序 输出，并能够在可视化的流程图上动态展现出来。 3.1 参考故障树知识库来表示流程 为了达到较好的可视化效果，这里面将路径执行过程参考故障树知识库的形 式进行组织。 1) 产生式知识表示法 产生式表示方法由前提和结论两部分组成，这种格式容易对知识进行扩展， 有助于系统推理的实现。其基本形式如下： IF P THEN R 其中，P 代表产生式规则的前提，R 代表该规则的结论或操作。例如： IF “a=b ” THEN “将match+1” 2) 调度器 按照系统建造者所给的控制知识，从议程中选择一个项作为系统下一步要执 行的动作。 3) 执行器 应用知识库中的及黑板中记录的信息，执行调度器所选定的动作。 3.2 多线程 为了较直观的展现程序的执行顺序，需要再每一步执行完让程序停顿一下， 如果使用传统的单线程操作来实现，会出现用户界面“假死”（对用户的操作响 应慢）现象。异步模式是 .net 框架中的核心技术，我们采用多线程技术实现程 序执行和停顿操作，相比单线程技术节约了大量的时间。异步调用的本质是利用 新的线程完成工作，而免除对当前线程的阻塞，解决了UI 界面“假死”的现象。 3.3 流程图控件 为了较好的展现程序流程图，本程序没有采用直接绘图的方式，而是使用了 一套比较成熟的流程图控件AddFlow ，使得结果更加美观。对流程图中的每一个 节点和连接，都可以设定颜色，字体，形状，风格，文本等等特性，当移动的时 候节点保持连接状态。 4 程序说明 4.1 程序界面 输入结果时，照例是先对输入进行检查，输入为空或者不为数字则不进行后 面的测试。 4.2 生成测试结果 输入正确的值，点击开始，程序开始异步执行，并以高亮的形式展示程序已 经运行的步骤，这个步骤是渐进的(动画)，当某个用例测试完成后，该用例覆盖 的测试路径会由“未执行路径”组转移到“已执行路径”组中。 另外，通过点击文件菜单，还可以将执行的图形以图形文件或者xml 文件的 形式保存起来。