J4 ›› 2006, Vol. 28 ›› Issue (4): 53-55.
• 论文 • 上一篇 下一篇
卢炎生 郭红涛 谢晓东 毛澄映
出版日期:
发布日期:
Online:
Published:
摘要：
测试用例的生成是软件测试的关键环节。本文把基于UML的规格说明和扩展的有限自动机结合起来，利用矩阵存储扩展自动机的状态和状态转换信息，用伪等价类生成树递增 地生成测试用例，对类测试的测试用例自动生成作了有益的探讨
关键词: 测试生成 统一建模语言 扩展有限自动机 增量测试方法
Abstract:
This article describes a test generation method based on the UML specification and EFSM. We store the EFSM state information and the transition inform ation in matrixes, and generate test cases incrementally from the generated fake equivalence class.
Key words: test generation, UML, EFSM, incremental test method
卢炎生 郭红涛 谢晓东 毛澄映. 基于UML规格说明的增量式测试用例生成[J]. J4, 2006, 28(4): 53-55.
0 / / 推荐
导出引用管理器 EndNote|Ris|BibTeX
链接本文: http://joces.nudt.edu.cn/CN/
http://joces.nudt.edu.cn/CN/Y2006/V28/I4/53
