基于UML模型的统计测试方法研究  

Research on UML-Based Statistical Testing Method

作　　者：朱虹虹[1] 熊光泽[1] 雷航[1] 桑楠[1] 

机构地区：[1]电子科技大学计算机科学与工程学院,成都610054

出　　处：《计算机科学》2005年第8期219-222,共4页Computer Science

基　　金：国家"十五"预研项目(No.41315040106)

摘　　要：为增强统计测试的可行性、可测试性,降低建立使用模型的难度,通过研究作为工业标准的统一建模语言UML,提出了一种基于UML模型的统计测试方法。论文首先建立了基于UML模型的统计测试过程,然后结合扩展的UML模型和使用模型的形式化描述,给出了从UML模型导出使用模型的一种形式化算法,并以工控机器人软件为例说明了应用该方法的完整过程。In order to enhance the feasibility, testability of statistical testing and degrade the difficulty of constructing the usage model, after researched on the UMI. 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 UMI. model, and took the control software of the industry robot as an example. Finally , the conclusion as well as the further study direction were discussed .

关 键 词：统计测试 使用模型 UML模型 马尔可夫链 有限状态机 测试方法 统一建模语言UML 形式化描述 可测试性 工业标准 

分 类 号：TP311.132[自动化与计算机技术—计算机软件与理论] TP311.5[自动化与计算机技术—计算机科学与技术]