软件可靠性测试与评估实验-软件可靠性测试剖面构造实验.docxVIP

ZY1414109董冬妮 ZY1414126李琼  PAGE \* MERGEFORMAT 10 软件可靠性测试与评估实验 ——软件可靠性测试剖面构造实验 班级 ZY14141班 学号 ZY1414109、ZY1414126 姓名 董冬妮、李琼 成绩  实验目的 软件可靠性测试的主要思想就是按照用户对软件实际使用的统计规律进行随机测试，目前通常采用操作剖面的形式对软件的使用情况进行建模，然后在建模的基础上生成测试数据进行测试。常见的操作剖面通常有Musa的操作剖面、Markov、使用剖面等方法。本实验将采用Musa操作剖面构造方法进行剖面构造。 按照GB/T11457-95-软件工程术语，软件可靠性的定义为： 在规定的条件下，在规定的时间内，软件不引起系统失效的概率。该概率是系统输入和系统使用的函数，也是软件中存在的缺陷的函数。系统输入将确定是否遇到已经存在的缺陷（如果有缺陷存在的话）。 在规定的时间周期内所述条件下，程序执行所要求的功能的能力。 软件的操作剖面是规定的条件之一，是指软件运行的输入空间及其概率分布。软件的输入空间是指软件所有可能的输入值构成的空间。软件的操作剖面是指对系统使用条件的定义。即系统的输入值用其按时间的分布或按它们可能输入的范围内的出现概率的分布来定义。 实验软件 软件可靠性测试数据生成工具TCS 软件可靠性测试数据生成工具TCS是集软件可靠性测试剖面建模与测试用例生成为一体的软件工具，支持使用Musa的建模。 软件可靠性评估工具SRET SRET支持基于软件可靠性失效数据分析可靠性趋势，分析软件可靠性模型的质量，并进行可靠性评估。 ATM机软件 ATM机软件主要用于用户进行取款，存款，转账，查询余额，退卡等操作。客户通过插入银行卡，输入正确的密码，便可根据显示器页面上的提示进行以上操作。 实验过程 打开TCS工具软件，点击新建，出现一个方块，改名称为“ATM提款机”，并且接入一个用户小人，建立双向关系。 点击剖面，在开始和结束之间插入操作，开始命名为“用户”，结束命名为“ATM”。分别命名为“插卡”、“输入密码”、“取款”、“查询余额”、“存???”、“转账”、“退卡”。并且设置开始到各个操作为概率转移，概率和为1，联系实际生活中的取款操作这只各个操作的概率（可能会有区别），各个操作到结束为顺序转移。 点击变量，添加输入变量“卡号”（枚举型：62220200000001、62220200000002、62220200000003）、“输入密码”（整型：1-999999）、”取款金额” （枚举型：100、200……、5000）、“存款金额”（枚举型：100、200……、5000）、“转账卡号”（枚举型：62220200000001、62220200000002、62220200000003）、“转账金额”（整型：1-5000）。其中一些设置为了之后暴露软件缺陷。 点击操作，离散描述双击，右键变量配置。给各个变量进行匹配并上下限输入。 点击数据，进行错误检查，修改错误。 点击数据，进行用例生成设置。 点击数据，进行可靠性测试用例 点击用例，这时候就可以查看生成的剖面数据。 实验结果 点击用例，可以查看生成的剖面数据，各个变量按照操作的转移概率出现，并且在设置的范围内随机产生了各种值。