软件可靠性验证测试实验报告
合集下载
相关主题
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
对于变量的设置、各操作之间的连接方式以及个操作发生的转移概率都对本次实验结果有很大的影响。仔细看需求说明书是一个重要的环节，因为它可以指导我们对变量进行适当的设置。测试用例生成的比例是按上周的剖面中各个操作的比例来生成的，而这个比例很大程度上影响验证测试的结果，导致失效数过多或过少或者失效间隔时间相对集中等问题；
ATM操作软件本身存在一些问题，给试验带来了诸多不便，比如：在密码与账号不匹配的时候提示要拔卡之后才能退出重启，但是界面上没有退卡的选项。只能通过ALT+CTRL+Delete-任务管理器-结束任务强行退出。此类错误并不属于故意设置的失效类型，但是的确存在并影响我们的实验进程，我们希望ATM操作系统本身可以多做一些改善；
1软件可靠性验证测试要求1
2测试结果2
3软件可靠性验证测试结论3
4软件可靠性点估计和区间估计3
5软件可靠性验证测试实验总结与建议3
1
1.1
软件可靠性验证测试常用的统计方法有定时结尾、贯序截尾和无失效结尾三种。序贯截尾试验事先对试验总时间及试验所需用资源无法确定，只能根据事先拟定的接收、拒收条件结束试验，无法估计MTBF的真值，但是为了更充分地利用软件每次的失效信息，以及在可靠性比较高或比较低的情况下可以做出更快的判决，我们采用序贯验证测试。选取的序贯测试方案参数为：生产方风险（α）：10%，使用方风险（β）：10%，鉴别比（d）：1.5，MTBF最低可接受值：600s。生成序贯曲线如图1所示。
稳定使用过程中，发现失效后不对软件进行修改，从而保证失效时间服从指数分布；
在可靠性参数评估中，应计入每一次失效，无论其是否由相同的原因导致；
在生成序贯曲线时，一定要输入一个数据生成一次曲线，否则有可能出现多个点在接收区或拒绝区的情况。
SY 1514127林烨SY1514207王洋洋
i)“挂失”操作测试用例50个，占总数的5%。
2.2
共执行测试用例150个，累计执行时间1265秒，平均每个测试用例执行时间8.4秒，发现缺陷个数7个。
表1测试用例执行情况表
执行用例数
未通过用例数未
执行用例数
150
7
850
表2失效数据记录表
序号
累计失效时间
失效间隔时间
失效描述
用例编号
1
60
60
查询余额为负
12
2
130
70
可以向自己账号转账
16
3
370
240
可以为非11位手机号充值
84
4
700
330
转账金额大于卡上余额时也转账成功
99
5
950
250
缴纳手机费的金额可以是小数
100
6
965
15
卡内无余额，但是可以给别人转账
120
7
1265
ห้องสมุดไป่ตู้300
查询余额与卡内实际金额不符
180
图2失效间隔时间与失效累计时间记录界面截图
3
如图3所示，在序贯曲线上发现第7个点落在拒绝区，故拒绝软件。
图3序贯曲线结果图
4
在置信度为0.8时，MTTF的置信下限为373.35秒，MTTF的置信上限为957.18秒。
5
在本次实验中出现了一些非人为因素的问题，影响了实验操作的准确性，比如：账号和密码经常不匹配(卡11111111的密码原来是111111，但是测试若干个用例后，密码为222222或其他未知密码)，这使我们不得不关闭软件，重新开始做过。但这样把之存储的信息也改了，比如，测试到一半的时候，卡内余额还有5000，但是重新开始卡内余额为0，直接影响后面诸如“转账”、“查询余额”等的影响，导致发现失效的时间不一样；
图1序贯验证测试曲线图
1.2
软件不能实现软件需求规格说明书上的功能。
1.3
当有点落到接受区或拒绝区时终止测试。
2
2.1
共生成1000个测试用例，其中：
a)“插卡”操作是绝大部分其他操作的前提，测试用例950个，占总数的95%；
b)“存款”操作测试用例142个，占总数的14.25%；
c)“取款”操作测试用例190个，占总数的19%；
d)“修改密码”操作测试用例约48个，占总数的4.75%；
e)“查询余额”操作测试用例190个，占总数的19%；
f)“转账”操作测试用例190个，占总数的19%；
g)“缴纳手机费”操作测试用例约142个，占总数的14.25%；
h)插卡后直接执行“退卡”操作的测试用例大约有48个，占总数的4.75%；
标识：
RMS-SRDT-{SY1514127, SY1514207}-BG-V1.0-2015
ATM软件
可靠性验证测试实验报告
北航可靠性与系统工程学院
二〇一五年十二月
ATM软件
可靠性验证测试实验报告
编写：林烨(SY1514127)
日期:12月31日
校对：王洋洋(SY1514207)
日期:12月31日
ATM操作软件本身存在一些问题，给试验带来了诸多不便，比如：在密码与账号不匹配的时候提示要拔卡之后才能退出重启，但是界面上没有退卡的选项。只能通过ALT+CTRL+Delete-任务管理器-结束任务强行退出。此类错误并不属于故意设置的失效类型，但是的确存在并影响我们的实验进程，我们希望ATM操作系统本身可以多做一些改善；
1软件可靠性验证测试要求1
2测试结果2
3软件可靠性验证测试结论3
4软件可靠性点估计和区间估计3
5软件可靠性验证测试实验总结与建议3
1
1.1
软件可靠性验证测试常用的统计方法有定时结尾、贯序截尾和无失效结尾三种。序贯截尾试验事先对试验总时间及试验所需用资源无法确定，只能根据事先拟定的接收、拒收条件结束试验，无法估计MTBF的真值，但是为了更充分地利用软件每次的失效信息，以及在可靠性比较高或比较低的情况下可以做出更快的判决，我们采用序贯验证测试。选取的序贯测试方案参数为：生产方风险（α）：10%，使用方风险（β）：10%，鉴别比（d）：1.5，MTBF最低可接受值：600s。生成序贯曲线如图1所示。
稳定使用过程中，发现失效后不对软件进行修改，从而保证失效时间服从指数分布；
在可靠性参数评估中，应计入每一次失效，无论其是否由相同的原因导致；
在生成序贯曲线时，一定要输入一个数据生成一次曲线，否则有可能出现多个点在接收区或拒绝区的情况。
SY 1514127林烨SY1514207王洋洋
i)“挂失”操作测试用例50个，占总数的5%。
2.2
共执行测试用例150个，累计执行时间1265秒，平均每个测试用例执行时间8.4秒，发现缺陷个数7个。
表1测试用例执行情况表
执行用例数
未通过用例数未
执行用例数
150
7
850
表2失效数据记录表
序号
累计失效时间
失效间隔时间
失效描述
用例编号
1
60
60
查询余额为负
12
2
130
70
可以向自己账号转账
16
3
370
240
可以为非11位手机号充值
84
4
700
330
转账金额大于卡上余额时也转账成功
99
5
950
250
缴纳手机费的金额可以是小数
100
6
965
15
卡内无余额，但是可以给别人转账
120
7
1265
ห้องสมุดไป่ตู้300
查询余额与卡内实际金额不符
180
图2失效间隔时间与失效累计时间记录界面截图
3
如图3所示，在序贯曲线上发现第7个点落在拒绝区，故拒绝软件。
图3序贯曲线结果图
4
在置信度为0.8时，MTTF的置信下限为373.35秒，MTTF的置信上限为957.18秒。
5
在本次实验中出现了一些非人为因素的问题，影响了实验操作的准确性，比如：账号和密码经常不匹配(卡11111111的密码原来是111111，但是测试若干个用例后，密码为222222或其他未知密码)，这使我们不得不关闭软件，重新开始做过。但这样把之存储的信息也改了，比如，测试到一半的时候，卡内余额还有5000，但是重新开始卡内余额为0，直接影响后面诸如“转账”、“查询余额”等的影响，导致发现失效的时间不一样；
图1序贯验证测试曲线图
1.2
软件不能实现软件需求规格说明书上的功能。
1.3
当有点落到接受区或拒绝区时终止测试。
2
2.1
共生成1000个测试用例，其中：
a)“插卡”操作是绝大部分其他操作的前提，测试用例950个，占总数的95%；
b)“存款”操作测试用例142个，占总数的14.25%；
c)“取款”操作测试用例190个，占总数的19%；
d)“修改密码”操作测试用例约48个，占总数的4.75%；
e)“查询余额”操作测试用例190个，占总数的19%；
f)“转账”操作测试用例190个，占总数的19%；
g)“缴纳手机费”操作测试用例约142个，占总数的14.25%；
h)插卡后直接执行“退卡”操作的测试用例大约有48个，占总数的4.75%；
标识：
RMS-SRDT-{SY1514127, SY1514207}-BG-V1.0-2015
ATM软件
可靠性验证测试实验报告
北航可靠性与系统工程学院
二〇一五年十二月
ATM软件
可靠性验证测试实验报告
编写：林烨(SY1514127)
日期:12月31日
校对：王洋洋(SY1514207)
日期:12月31日