基于UML状态图的类测试用例自动生成方法

UML作为面向对象软件开发的事实上的标准建模语言，近年来得到了广泛的应用，基于UML的测试也成为面向对象软件测试的研究热点。该文把基于扩展的有限状态机EFSM的唯一输入输出UIO测试用例自动生成方法和UML的类的状态图相结合，提出了一种基于UML状态图的类的测试用例自动生成方法。     

基于状态的EJB构件集成测试

针对构件源代码的不可知性问题，该文提出了从构件规格说明、接口中提取两类测试信息，生成构件状态测试用例，通过测试这两类“测试信息”进行构件属性分析和状态判定，通过“属性-状态”依赖关系，划分属性关联关系中理想状态空间，并构造测试树，利用不同的覆盖准则生成测试用例。     

从Rose的规约文件自动生成测试用例

对基于状态的类测试用例自动生成进行了研究，重点放在状态预测和测试消息序列生成上：类的动态行为用uML的状态图表示，测试时直接从Rational Rose的规约文件中读取状态图规约生成测试消息序列；对状态的预测使用状态不变量；生成消息序列时对算法进行优化，减少消息序列的冗余，从而缩短消息序列的路径长度。