- 1、本文档共18页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
标识:
RMS-SRDT-{SY1514127, SY1514207}-BG-V1.0-2015
ATM软件
可靠性操作剖面实验报告
北航可靠性与系统工程学院
二〇一五年十二月
ATM软件
可靠性操作剖面实验报告
(SY1514127) 日期:12月30日 校 对:王洋洋(SY1514207) 日期:12月30日
目 录
1. 系统建模 2
2.确定操作剖面 2
3. 确定输入变量 3
3.1插卡 3
3.2输入密码 3
3.3取款 3
3.4查询余额 4
3.5转账 4
3.6存款 5
3.7修改密码 5
3.8退卡 6
4. 对操作进行离散描述 6
4.1插卡 6
4.2转账 6
5.生成测试用例 6
6.经验总结 6
系统建模
被测系统为ATM系统,操作者为用户。根据生活经验可以知道,用户和ATM系统是双向的关系。因此,为了是我们的实验更具有工程实践意义和实际参考价值,ATM系统与用户的关系建模如图1所示:
图1 ATM系统与用户的关系建模
2.确定操作剖面
按照需求规格说明书并结合生活经验,本小组确定用户对系统的9个操作,它们分别是:插卡、存款、取款、查询余额、修改密码、转账、缴纳手机费、挂失、和退卡,并根据现实生活的经验分别为每个操作赋予一定的概率。例如,人们在ATM机上一般较多地执行取款和查询操作,而挂失和修改密码的操作相对较少,所以,我们分别赋予“取款”、“转账”和“查询余额”较高的概率0.2,而分别赋予“挂失”和“修改密码”较小的概率0.05。最终生成的操作剖面如图2所示。
图2 操作剖面的确定
确定输入变量
根据9个操作建立14个变量,其中“转账”操作包括“输入密码”、“被转账对方账户”和“转账金额”三个变量;“缴纳手机费”操作包括“输入密码”“手机号”和“缴纳的手机费用”三个变量。所有“输入密码”变量均为同一个,具体设置见3.2。
3.1插卡
插卡操作有两个变量,即“插卡”与“输入卡号”。“插卡”变量设置成布尔型,取值范围为:true和false。当用例为true时执行插卡操作;当用例为false时不执行插操作。
“输入卡号”为枚举型,并赋予5个值,分别为1111111199999999,777777777。“插卡”和“输入卡号”的设置界面分别如图3和图4所示.值得一提的是,ATM操作软件的系统内已经默认输入卡号只有三个,11111111,以,当测试用例里出现超出系统默认的三个卡号时,相当于不执行操作,直接看下一个用例。
图3 “插卡”设置
图4 “输入卡号”设置
3.2输入密码
将“输入密码“变量设为枚举型,对应三张卡号分别赋予3个值,如图5所示,分别为:000000,111111,222222。当输入对应卡号的密码时视为输入正确的测试用例;当输入非对应卡号的密码或任意输入6个0到9的数字时视为输入错误的测试用例。
图5 “输入密码“设置
3.3取款
对于取款操作采用黑盒测试中的等价类和边界值的方法。变量的范围设为1到51的枚举型。注意,这里输入的数值默认乘上100倍后成为真实的数值。将1到50视为一个等价类,即正确的取款金额。当TCS软件生成取款变量的值在1到50的范围内时,我们手动输入变量的100倍表示正确的取款金额。51视为一个等价类,则不满足需求说明书中所提的要求,即 “一次性最多可取5000元”,属于错误操作。3.5为一个等价类,则不满足需求说明书中提到的要求——不能取小数,属于错误操作。“取款操作”的变量设置如图6所示。
图6 “取款“值配置
事实上,取款值可以取整型或者浮点型,但是为了后期(例如增长测试)的测试,我们在此特意用枚举型,目的在于尽快并且尽可能多的发现其中发生的错误。
3.4查询余额
将“查询余额“变量设为浮点类型,取值范围在0到60之间。事实上,正确的取值应该是整型的0到50之间,同样出于后期测试用例的方便,此处故意设置成浮点型,并且把取款范围超出50的限定额。“查询余额”的变量设置如图7所示。
图7 “查询余额”的变量设置
3.5转账
将转账操作分解为两个变量,一个为“转账对方账户”,类型为枚举型,取值范围为:62220200000000,62220200000001,62220200000002。另一个是“转账金额”,类型为枚举型,此处取9个。取值范围为0到120,其中1到100的整数是一个等价类,代表10000以内的正确的转账金额;101到120之间的数值是一个等价类,代表超出卡内余额的转账金额;小数部分的数
文档评论(0)