计算机科学 ›› 2005, Vol. 32 ›› Issue (8): 219-222.
• 软件工程与数据库技术 • 上一篇 下一篇
朱虹虹 熊光泽 雷航 桑楠
出版日期:
发布日期:
基金资助:
Zhu HongHong;Xiong GuangZe;Lei Hang;Sang Nan
Online:
Published:
摘要: 为增强统计测试的可行性、可测试性,降低建立使用模型的难度,通过研究作为工业标准的统一建模语言UML,提出了一种基于UML模型的统计测试方法。论文首先建立了基于UML模型的统计测试过程,然后结合扩展的UML模型和使用模型的形式化描述,给出了从UML模型导出使用模型的一种形式化算法,并以工控机器人软件为例说明了应用该方法的完整过程。
关键词: 统计测试 使用模型 UML模型 马尔可夫链 有限状态机 测试方法 统一建模语言UML 形式化描述 可测试性 工业标准
Abstract: 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 pape
Key words: Statistical testing, Usage model, UML model, Markov chain, Finite state machine
朱虹虹 熊光泽 雷航 桑楠. 基于UML模型的统计测试方法研究[J]. 计算机科学, 2005, 32(8): 219-222. https://doi.org/
Zhu HongHong;Xiong GuangZe;Lei Hang;Sang Nan. [J]. Computer Science, 2005, 32(8): 219-222. https://doi.org/
0 / / 推荐
导出引用管理器 EndNote|Reference Manager|ProCite|BibTeX|RefWorks
链接本文: https://www.jsjkx.com/CN/
https://www.jsjkx.com/CN/Y2005/V32/I8/219
Cited