摘要
为增强统计测试的可行性、可测试性,降低建立使用模型的难度,通过研究作为工业标准的统一建模语言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 .
出处
《计算机科学》
CSCD
北大核心
2005年第8期219-222,共4页
Computer Science
基金
国家"十五"预研项目(No.41315040106)
