论文部分内容阅读
测试用例的生成是软件测试的关键和难点所在。基于UML状态图的测试是近年来研究的热点。本文根据UML状态图的层次结构，提出了对UML状态图分层产生测试用例的测试用例生成方法。对迁移关系冲突而导致测试无法正确执行的情况，给出了插入测试子序列来避免迁移冲突的测试方法。
基于状态图的测试用例自动生成方法
【摘 要】
：
测试用例的生成是软件测试的关键和难点所在。基于UML状态图的测试是近年来研究的热点。本文根据UML状态图的层次结构，提出了对UML状态图分层产生测试用例的测试用例生成方法
【机 构】
：
华中师范大学计算机科学系
【出 处】
：
计算机与数字工程
【发表日期】
：
2007年1期
其他文献
例题如图1，在矩形ABCD中，AB=3AD=4，P是AD边上的动点，PE⊥上AC于E，PF⊥BD于F，则PE＋PF的值为（）
提出一种即时信息检索体系结构的设计模型。首次将双基协同用于即时信息检索，特别注意到整个系统的负载问题，增加了缓冲知识库，并分析这种即时信息检索的设计方案。知识的可信和
采用基于DSP和USB架构实现视频图像的实时处理和存储,其中DSP作为系统对视频图像数据进行处理的核心,USB作为视频数据传输和存储的接口。介绍了该视频图像处理系统的硬件组成、工作原理和USB软件结构的设计。