软件可靠性测试剖面构造实验.docxVIP

软件可靠性测试与评估实验 ——软件可靠性测试剖面构造实验 学号 SY1414237 姓名 陈正洋、刘杨 成绩  一、实验目的 软件可靠性测试的主要思想就是按照用户对软件实际使用的统计规律进行随机测试，目前通常采用操作剖面的形式对软件的使用情况进行建模，然后在建模的基础上生成测试数据进行测试。常见的操作剖面通常有Musa的操作剖面、Markov、使用剖面等方法。本实验将采用Musa操作剖面构造方法对软件的操作剖面进行构造。 软件的操作剖面是指操作的集合及其概率分布。在Musa的操作剖面中，操作是一个主要的系统逻辑任务，持续时间短，结束时将控制权交还给系统，并且它的处理与其它操作明显不同。按照Musa的定义，操作应该是一个逻辑概念，它与软件的功能需求和特征相关。 二、实验软件 软件可靠性测试数据生成工具TCS 软件可靠性测试数据生成工具TCS是集软件可靠性测试剖面建模与测试用例生成为一体的软件工具，支持使用Musa的建模。 ATM机软件 ATM机软件主要用于用户进行取款，存款，转账，查询余额，退卡等操作。客户通过插入银行卡，输入正确的密码，便可根据显示器页面上的提示进行以上操作。 三、实验过程 1、打开TCS工具软件，点击新建，出现一个方块，改名称为“ATM机”，并且接入一个用户小人，建立双向关系。 本实验假设只有一个潜在的使用者，就是储户，来执行操作剖面的所有操作。 2、点击剖面，在开始和结束之间插入操作，分别命名为“插卡”、“密码”、“取款”、“查询余额”、“存款”、“转账”、“退卡”、“修改密码”。并且设置开始到各个操作为概率转移，概率和为1，各部分操作的概率分析如下：插卡和退卡概率一样，同时考虑到在插卡和退卡之间可能会重复进行存取款，所以插卡的概率与存取款概率没有直接关系，所以本实验所设定的概率还是有一定的科学性的，其他操作虽然也存在上述可能，但是联系实际生活中的实际操作，都会低于插卡退卡操作。各个操作到结束为顺序转移。 随后对所设定的操作进行描述，均为离散变量，并附上变量描述{点击变量，添???输入变量“卡号”（枚举型：62220200000001、62220200000002、62220200000003），“密码”（整型：-11-1000000其中正常部分1-999999概率为95%），“取款金额”（整型：1-60，其中1表示100元，所以正常部分为1-50,概率为95%），“存款金额”（整型：1-100，存款无上限），“转账金额”（整型：1-100为正常部分概率为95%，枚举型0.1、0.2、0.3），“插卡”、“退卡”、“查询余额”（布尔型：0、1），新密码（整型：-11-1000000其中正常部分1-999999概率为95%）。其中一些溢出数据时为了之后暴露软件缺陷}。 具体赋值为： 插卡：插卡； 密码：密码； 存款：存款金额； 取款：取款金额； 转账：卡号，转账金额； 修改密码：密码、新密码； 查询余额：查询余额； 退卡：退卡。 3、进行用例生成设置。首先设置参数，设定生成的用例数为1000，其它采用默认数值。生成可靠性测试用例。点击用例，这时候就可以查看生成的剖面数据。 四、实验结果 点击用例，可以查看生成的剖面数据，各个变量按照操作的设定概率出现，并且在设置的范围内随机产生了各种值。