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

《软件可靠性测试与评估实验-软件可靠性测试剖面构造实验》由会员上传分享，免费在线阅读，更多相关内容在工程资料-天天文库。

1、北京航玄航夭大爭fteIuaftj软件可靠性测试与评估实验——软件可靠性测试剖面构造实验班级ZY14141班学号ZY1414109>ZY1414126姓名董冬妮、李琼成绩一、实验目的软件可靠性测试的主要思想就是按照用户对软件实际使用的统计规律进行随机测试，目前通常采用操作剖面的形式对软件的使用情况进行建模，然后在建模的基础上生成测试数据进行测试。常见的操作剖面通常有Musa的操作剖面、Markov.使用剖面等方法。本实验将采用Musa操作剖面构造方法进行剖面构造。按照GB/T11457-95-软件工程术语，软件可靠性的定义为：1.在规定的条件下，在规定的时间内，软件不引起系统失效的概率。该概率

2、是系统输入和系统使用的函数，也是软件屮存在的缺陷的函数。系统输入将确定是否遇到己经存在的缺陷（如果有缺陷存在的话）。2.在规定的时间周期内所述条件下，程序执行所要求的功能的能力。软件的操作剖血是规定的条件之一，是指软件运行的输入空间及其概率分布。软件的输入空间是指软件所有可能的输入值构成的空间。软件的操作剖面是指对系统使用条件的定义。即系统的输入值用其按时间的分布或按它们可能输入的范由内的出现概率的分布来定义。二、实验软件1.软件可靠性测试数据生成工具TCS软件可靠性测试数据生成工具TCS是集软件可靠性测试剖面建模与测试用例生成为一体的软件工具，支持使用Musa的建模。2.软件可靠性评估工具S

3、RETSRET支持基于软件可靠性失效数据分析可靠性趋势，分析软件可靠性模型的质量，并进行可靠性评估。3.ATM机软件ATM机软件主要用于用户进行取款，存款，转账，查询余额，退卡等操作。客户通过插入银行卡，输入正确的密码，便可根据显示器页面上的提示进行以上操作。三、实验过程1.打开TCS工具软件，点击新建，出现一个方块，改名称为“ATM提款机〃，并且接入-个用户小人，建立双向关系。文・a)Mio■■<£)«a«)B«

4、»XA(X>■□9!!舉1^!2・・>«MMURMWV

5、Ra«URAiooL1.点击剖面，在开始和结束之间插入操作，开始命名为“用户〃，结朿命名为“ATM"。分别命名为"插卡〃、"输入密码〃、"取款〃、"查询余额〃、“存款〃、"转账〃、"退卡”。并且设置开始到各个操作为概率转移，概率和为1,联系实际生活中的取款操作这只各个操作的概率（对能会有区别），各个操作到结束为顺序转移。AHITCS(ATI：文M«)*«(£)K9«)»«(>)IMa)•□!)霸動QP』•・-”咖工"•*««DMO▲•wwJ

6、F«r«lIAHI•TCS・(AXhcrvsst!!舉竟計・・99vMMRKNDMRaMMR1OO3•点击变量，添加输入变量“卡号〃（枚举型:6222

7、0200000001、62220200000002、62220200000003）>"输入密码〃（整型：1999999）、"取款金额"（枚举型：100>200、5000）、"存款金额〃（枚举型：200、200、5000）、"转账卡号〃（枚举型：62220200000001、62220200000002>62220200000003）、"转账金额"（整型：1-5000）o其中一些设置为了之后暴露软件缺陷。atii・ic$・-■fti•户

8、给各个变量进行匹配并上下限输入。xm（x）ff«（r）mdqbi（i）i*a>«r）a）qg<4M«(D刃第工具QL■口燮.«*>«>771出MM*K««S)wsn«uu«Ma)Mt)it*«mitalic•±»aw9A»S(X)tmuit13IT22.>«*Za««♦/iHtwaa•11<(•I-VAWI•TCS・【・0X

9、8t•■•CT»l«t••CD中丄«(£)M9(0•口也■動QP&入”⑴■mo・nvotmuit13IT22■1—<1J•r_i'•m•tcs•(•>.□X»l-■.

10、il2mjittic)p叫•・—31jXf«•®・i>JWKT&MU)>HQ(DIo.♦