检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]武汉理工大学计算机科学与技术学院,武汉430063
出 处:《计算机与数字工程》2008年第1期20-22,25,共4页Computer & Digital Engineering
摘 要:软件统计测试要求基于软件使用模型产生测试用例对软件系统进行测试,为增强统计测试的可行性、可测试性,降低建立使用模型的难度,通过研究作为工业标准的统一建模语言UML,提出一种基于UML模型的统计测试方法。建立基于UML模型的统计测试过程,结合形式化描述,给出从UML模型导出使用模型的形式化算法,并基于卫星控制系统,说明方法的有效性。Software statistical testing is concerned with testing software systems based on their usage model,in order to enhance the feasibility,testability of statistical testing and degrade the difficulty of constructing the usage model,after researched on the UML as the industry-standard,brought forward a UML-based statistical testing method.In this paper,the UML-based statistical testing procedure was firstly proposed,then presented a formalized algorithm of deriving usage model from UML mode,and took the SCS as an example.
关 键 词:软件统计测试 使用模型 马尔可夫链 软件可靠性 UML模型
分 类 号:TP311[自动化与计算机技术—计算机软件与理论]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.15