《第8篇测试用例设计之功能图分析法》由会员分享,可在线阅读,更多相关《第8篇测试用例设计之功能图分析法(6页珍藏版)》请在金锄头文库上搜索。
1、第8篇:测试用例设计之功能图分析法一、方法简介一、方法简介1、功能图分析法* 2、功能图* 3、测试用例生成方 法* 4、测试用例生成规 则5、从功能图生成测 试用例的过程* 6、功能图分析步骤二. 实战演习i功能图分析法功能图方法其实是一种灰盒测试(其具有黑盒、白盒测试,故称为灰盒)用例设计方法。通常一个程序的功能说明由动态说明和静态说明组成:*动态说明描述了输入数据的次序或转移的次序。*静态说明描述了输入条件与输出条件之间的对应关系。对于较复杂的程序,由于存在大量的组合情况。因此,仅用静态说明的软件规格说明,对于测试来 说往往是不够的,必须用动态说明来补充功能说明。功能图方法就是用功能图F
2、D形式化地表示程序的功能说明,并机械地生成功能图的测试用例。功能图模型由状态迁移图和逻辑功能模型构成:*状态迁移图用于表示输入数据序列以及相应的输出数据。在状态迁移图中,由输入数据和当 前状态决定输出数据和后续状态。逻辑功能模型用于表示在状态中输入条件和输出条件之间的对应关系。逻辑功能模型只适合 于描述静态说明,输出数据仅由输入数据决定。测试用例则是由测试中经过的一系列状态和在每个状态中必须依靠输入/输出数据满足的一对条件组成。另外,功能图方法其实是是一种黑盒白盒混合用例设计方法。因为,功能图方法中要用到逻辑覆盖 和路径测试的概念和方法,其属白盒测试方法中的内容。逻辑覆盖是以程序内部的逻辑结构
3、为基础 的测试用例设计方法,该方法要求测试人员对程序的逻辑结构有清楚的了解。由于覆盖测试的目标 不同,逻辑覆盖可分为:语句覆盖、判定覆盖、判定 -条件覆盖、条件组合覆盖及路径覆盖。下面我 们指的逻辑覆盖和路径是功能或系统水平上的,以区别于白盒测试中的程序内部。2、功能图功能图由状态迁移图和布尔函数组成。状态迁移图用状态和迁移来描述,一个状态指出数据输入的 位置(或时间),而迁移则指明状态的改变,同时要依靠判定表或因果图表示的逻辑功能。例如, 一个简化的自动出纳机AT啲功能图。3、测试用例生成方法从功能图生成测试用例,得到的测试用例数是可接受的。问题的关键是如何从状态迁移图中选取测 试用例。若用
4、节点代替状态,用弧线代替迁移,则状态迁移图就可转化成一个程序的控制流程图形 式,问题就转化为程序的路径测试问题了。4、测试用例生成规则为了把状态迁移(测试路径)的测试用例与逻辑模型(局部测试用例)的测试用例组合起来,从功 能图生成实用的测试用例,需定义如下的规则:在一个结构化的状态迁移中,定义三种形式的循 环:顺序、选择和重复。(实际中,分辨一个状态迁移中的所有循环是比较困难的)5、从功能图生成测试用例的过程1) 生成局部测试用例:在每个状态中,从因果图生成局部测试用例,局部测试用例由原因值(输入 数据)组合与对应的结果值(输出数据或状态)构成。2)测试路径生成:利用上面的规则(三种),生成从
5、初始状态到最后状态的测试路径。3)测试用例合成:合成测试路径与功能图中每个状态中的局部测试用例,结果是初始状态到最后状 态的一个状态序列,以及每个状态中输入数据与对应输出数据的组合(测试用例的合成算法采用条 件构造树)。6、功能图分析步骤1)画出状态迁移图;2)列出状态一一事件表;3)得到状态转换树;4)推出测试路径;5)根据测试路径编写测试用例;二.实战演习手机中MP播放功能状态-事件表如下,请用状态迁移法设计用例。其中没有选择 MP曲目时不能按任 何键,并且当MP曲目在起点时不能按R建,当MP曲目在末端时不能按P F建。按腱IJk倒播敵进录音R 倒、-倒P(播族播曲播展播放F E进)进进进
6、一一RC 凝咅)一S (Mk)IdleIdleIdleTdlc1画出的状态迁移图P2、得到状态-事件表R (H)P (播展)F f进、RC (JASf)s (Idle)Idle倒播放进*倒播放进Idle播放倒一一【die进Idle一一Idk3、根据状态-事件表,得到状态树4、根据以上的每一条路径,获得十条测试用例测试用例编巧MOBILES 1.MP3. PLAYJXJI测试玖目播放器坎态转换测试标IS在Idle时.先偵后播放预臂条件已选定M円曲冃并忖不在北点綸入选定曲冃操作步4!k 按 RUt2、按 PflL预期输出曲日先例诩后正能播放.测试用例编号MOBILE-ST MP3. PLAY.00
7、2测试项目播放器状态转换测试标&在Idle状态时.先倒麻快进樓要级别中预进条件已选定MP3曲目,井且不在起点输入选定曲目操作步骤K 按 R:2、按 Fit.预期输出曲目先倒帯麻快进.3测试用例编弓MOBILE ST MP3 PLAY.003测试项目播放器状态转换测试标题在Idle状态时,先倒帯,於后再停止重更级别中预置条件已选定MP3曲目.并且不在超点綸入选宜曲目操作步卿K 按 R0L2、按set.预期输出曲目先倒帝后停1上测试用例編号MOB【LE ST MP3- PI-AY.004测试项目播放器状态转换测试标18在Idle状吉时.先播放忘倒带廉要级别中预貰条件己选定MP3曲目,并且不在末瑞输
8、入选定曲目操作步骤K按P键:2、ft R3.预期出曲目先正常播放后倒带测试用例编号M()BILE.yr.MP3 PI.AYJJ05测试项目播放餌状态转换测试标題存Idle状念时先播放席快进jfi要级别中预賈条件已ftif MP3HIIH.幷H不桃*皺綸入迭定曲目操作步狈k 按 PI8:2、按F谟.预期綸出曲目先正常播放后快进测试用例编号MOB1LE ST MP3 PI/Y 006测试项目播放器状杏转换测试标题在Idle状杰时先播放麻停止盧要级别中预賈条件已选定MP3曲目.并且不在末瑞输入选定曲目操作步烫1、按 P:2. 按S0L预期输出曲目先正常播放后停止。7测试用例缩号MOBILE.ST M
9、P3. PLAY.007测试项目播放器状态转换测试标题在Idle状态时.先快进麻例带录要级别中预邂条件已选定MP3曲目.并且不在末瑞输入选定曲冃操作步骤k 按FUL 2、按R键预期输出曲目先快进后倒帯.8测试用例編号MOBILE.ST MP3 PLAY.008测试项目播放器状态转换测试标题在Idle状态时先快进斤播放巫要级别中预置条件已选定MP3曲目.并且不在末端输入选定曲目操作步骤1、按F沁2. 按P键。预期输出曲U先快进麻正常播放。9MOBILE ST MP3. PLAY 009楫试用冃播放醴状念转换测试标題在Idle状态时.先快进口停止巫要级别中条件已址JtMP3曲日.并11不住水冷诚入迭定曲冃H ft Ftt,2、ttSttc预期输出曲日先快进后停止.10测试用例編号MOBILE.ST-MP3. PLAY.0I0测试项H播放器状态转换测试标题在Idle状态时,先录音后停止血要级别中预置条件已选定MP3曲綸入选定曲目操作步骤K 按 RC:2.按 SUL预期输出曲目先录音麻停止.