软件可靠性验证测试实验报告.doc

.标识：RMS-SRDT-SY1514127, SY1514207-BG-V1.0-2015 ATM软件可靠性验证测试实验报告北航可靠性与系统工程学院二一五年十二月部分内容来源于网络，有侵权请联系删除！ATM软件可靠性验证测试实验报告编 写：林烨 (SY1514127)日期:12月31日校 对：王洋洋(SY1514207)日期:12月31日.目 录1 软件可靠性验证测试要求11.1 软件可靠性验证测试统计方案11.2 软件失效的定义11.3 软件可靠性验证测试终止条件22 测试结果22.1 测试用例生成情况22.2 测试用例执行情况23 软件可靠性验证测试结论34 软件可靠性点估计和区间估计35 软件可靠性验证测试实验总结与建议3部分内容来源于网络，有侵权请联系删除！1 软件可靠性验证测试要求1.1 软件可靠性验证测试统计方案软件可靠性验证测试常用的统计方法有定时结尾、贯序截尾和无失效结尾三种。序贯截尾试验事先对试验总时间及试验所需用资源无法确定，只能根据事先拟定的接收、拒收条件结束试验，无法估计MTBF的真值，但是为了更充分地利用软件每次的失效信息，以及在可靠性比较高或比较低的情况下可以做出更快的判决，我们采用序贯验证测试。选取的序贯测试方案参数为：生产方风险（）：10%，使用方风险（）：10%，鉴别比（d）：1.5，MTBF最低可接受值：600s。生成序贯曲线如图1所示。图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%；i) “挂失”操作测试用例50个，占总数的5%。2.2 测试用例执行情况共执行测试用例150个，累计执行时间1265秒，平均每个测试用例执行时间8.4秒，发现缺陷个数7个。表 1 测试用例执行情况表执行用例数未通过用例数未执行用例数1507850表 2 失效数据记录表序号累计失效时间失效间隔时间失效描述用例编号16060查询余额为负12213070可以向自己账号转账163370240可以为非11位手机号充值844700330转账金额大于卡上余额时也转账成功995950250缴纳手机费的金额可以是小数100696515卡内无余额，但是可以给别人转账12071265300查询余额与卡内实际金额不符180图2 失效间隔时间与失效累计时间记录界面截图3 软件可靠性验证测试结论如图3所示，在序贯曲线上发现第7个点落在拒绝区，故拒绝软件。图3 序贯曲线结果图4 软件可靠性点估计和区间估计在置信度为0.8时，MTTF的置信下限为373.35秒，MTTF的置信上限为957.18秒。5 软件可靠性验证测试实验总结与建议 在本次实验中出现了一些非人为因素的问题，影响了实验操作的准确性，比如：账号和密码经常不匹配 (卡11111111的密码原来是111111，但是测试若干个用例后，密码为222222或其他未知密码)，这使我们不得不关闭软件，重新开始做过。但这样把之存储的信息也改了，比如，测试到一半的时候，卡内余额还有5000，但是重新开始卡内余额为0，直接影响后面诸如“转账”、“查询余额”等的影响，导致发现失效的时间不一样； ATM操作软件本身存在一些问题，给试验带来了诸多不便，比如：在密码与账号不匹配的时候提示要拔卡之后才能退出重启，但是界面上没有退卡的选项。只能通过ALT+CTRL+Delete-任务管理器-结束任务强行退出。此类错误并不属于故意设置的失效类型，但是的确存在并影响我们的实验进程，我们希望ATM操作系统本身可以多做一些改善； 对于变量的设置、各操作之间的连接方式以及个操作发生的转移概率都对本次实验结果有很大的影响。仔细看需求说明书是一个重要的环节，因为它可以指导我们对变量进行适当的设置。测试用例生成的比例是按上周的剖面中各个操作的比例来生成的，而这个比例很大程度上影响验证测试的结果，导致失效数过多或过少或者失效间隔时间相对集中等问题； 稳定使用过程中，发现失效后不对软件进行修改，从而保证失效时间服从指数分布； 在可靠性参数评估中，应计入每一次失效，无论其是