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

摘要：

为增强统计测试的可行性、可测试性,降低建立使用模型的难度,通过研究作为工业标准的统一建模语言UML,提出了一种基于UML模型的统计测试方法.论文首先建立了基于UML模型的统计测试过程,然后结合扩展的UML模型和使用模型的形式化描述,给出了从UML模型导出使用模型的一种形式化算法,并以工控机器人软件为例说明了应用该方法的完整过程.

关键词：统计测试、使用模型、UML模型、马尔可夫链、有限状态机

所属期刊栏目：32

分类号：TP3(计算技术、计算机技术)

资助基金：国家预研基金41315040106

在线出版日期：2005-10-13（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：219-222