摘要
UML中的状态图和通信图可共同作为生成测试用例的模型,用于集成测试用例的生成.在通信转换的基础上采用深度和广度搜索得到没有冗余的组合状态图,提出一种形式化组合状态图中组合状态的方法,使集成测试模型更加简单,实验结果表明易于生成集成测试用例.
A model for generating integration test cases based on communication diagram and statechart diagram is brought up. On the bases of communication transitions, using deep and extensive searching, we can get the minimal reachable combined state-chart diagram. This paper proposes a valid method of formalizing combined states. It is convenient to generate the test cases and proved to be feasible.
出处
《微电子学与计算机》
CSCD
北大核心
2008年第6期164-167,共4页
Microelectronics & Computer
基金
国家自然科学基金项目(60475021)
国家科技型中小企业技术创新基金项目(05C26214101032)
河南省科技厅软件专项基金项目
关键词
集成测试
通信图
状态图
组合状态
integration testing
communication diagram
statecharts
combined state-chart
