文献类型：期刊文章

作　　者：龚红仿[1,2] 李军义[2] 高捷[3] 童小娇[1]

机构地区：[1]长沙理工大学数学与计算科学学院 [2]湖南大学计算机与通信学院 [3]长沙理工大学网络中心

出　　处：《计算机应用研究》

基　　金：国家自然科学基金资助项目(60474070);湖南省教育厅科研项目(05C263)

年　　份：2005

卷　　号：22

期　　号：12

起止页码：69-72

语　　种：中文

收录情况：AJ、BDHX、BDHX2004、CSA-PROQEUST、CSCD、CSCD2011_2012、IC、INSPEC、JST、RCCSE、UPD、ZGKJHX、ZMATH、核心刊

摘　　要：从类的状态模式、状态转移图以及UML状态图等三方面讨论了类的状态测试问题,提出了基于UML类图的类的状态模式测试用例生成方法,介绍了基于状态转移图的类测试方法及其对象状态测试模式在类的状态测试中的运用,讨论了基于UML状态图的测试模型———EFSM模型的类测试方法。

关 键 词：类的状态测试  状态模式  状态转移图 EFSM UML

分 类 号：TP391.76]