01 软件可靠性操作剖面报告.doc

标识： 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之间的数值是一个等价类，代表超出卡内余额的转账金额；小数部分的数