摘要
文章讨论了基于UML状态图的测试用例生成方法,在此基础上,讨论了状态图测试中状态识别这一难点的解决方法,最后介绍了基于状态图的测试覆盖标准。
出处
《计算机时代》
2006年第4期1-2,共2页
Computer Era
参考文献6
-
1郑人杰.计算机软件测试技术.清华大学出版社,1993.
-
2Pressman,R.S,梅宏译.软件工程:实践者的研究方法(第五版).机械工业出版社,2002.
-
3李留英,王戟,齐治昌.UML statecharts的测试用例生成方法[J].计算机研究与发展,2001,38(6):691-697. 被引量：26
-
4KIM Y G,HONG H S,BAE D H.Test cases generation from UML state diagrams.Proceeding on Software,1999.
-
5王建国,吴建平.基于扩展有限状态机的协议测试集生成研究[J].软件学报,2001,12(8):1197-1204. 被引量：24
-
6邹维忠,杨芙清.面向对象的系统分析.清华大学出版社,1998.
二级参考文献7
-
1李留英.UML测试技术的研究与实现：博士论文[M].长沙：国防科学技术大学,2000..
-
2李留英，博士论文，2000年
-
3Li Liuying，Proc of the 31th Int Conf Technology of Object Oriented Languages and Systems，1999年，273页
-
4Wang Jianguo，Proc IEEE Int Conference on Communications，1998年，286页
-
5Huang Chungming，Proc Int Workshop on Protocol Test Systems（IWPTS），1995年，273页
-
6Chanson S T，Proc IEEE INFOCOM，1993年，106页
-
7Shen Y N，IEEE Transactions Communications，1992年，40卷，8期，323页
共引文献47
-
1袁博,李进,孙海波,杨盘隆.协议测试中测试序列生成方法综述[J].军事通信技术,2008,29(1):49-52. 被引量：2
-
2陈昱松,聂剑平,景博,崔楠.一种改进的基于EFSM变迁依赖图的协议测试序列生成算法[J].计算机研究与发展,2010,47(S1):79-85.
-
3乔木,曾一,林宏.状态图的并发状态约束及测试用例生成研究[J].计算机工程与应用,2004,40(14):91-93. 被引量：1
-
4陈云芳,王汝传,杨学刚.基于扩展有限状态机的诱骗服务器关键技术研究[J].计算机科学,2004,31(6):79-81.
-
5缪淮扣,占学德,刘玲.基于UML Statecharts的测试用例生成[J].小型微型计算机系统,2005,26(4):662-666. 被引量：8
-
6吴有杰,蔡文杰.在信息处理系统中一种基于FSM的用户权限自动化控制方法[J].中山大学研究生学刊（自然科学与医学版）,2005,26(1):100-109.
-
7刘勇,曾明,朱利,陈继峰,严建伟.基于数据流的软件测试序列自动生成技术研究[J].微电子学与计算机,2005,22(5):131-135. 被引量：10
-
8朱振华,许毅平,周曼丽.网络协议测试生成方法综述[J].计算机工程与应用,2005,41(15):172-175. 被引量：6
-
9陈继锋,徐亚妮,沈钧毅.一种基于确定型有穷自动机的动物识别系统的设计方法[J].微电子学与计算机,2005,22(12):55-58. 被引量：3
-
10方木云,戴小平.基于UML的集成化CASE平台的研究和实现[J].计算机技术与发展,2006,16(2):26-28. 被引量：3
-
1高莉,李龙澍.基于UML状态图的测试技术研究[J].计算机技术与发展,2009,19(5):68-71. 被引量：5
-
2王钊,白晓颖,戴桂兰.基于有色Petri网模型的GUI测试用例自动生成技术[J].清华大学学报（自然科学版）,2008,48(4):600-603. 被引量：7
-
3崔尚森,孙琳.基于UML状态图和基本Petri网生成测试用例[J].交通与计算机,2006,24(4):116-119. 被引量：4
-
4陈欣,高建华.测试用例集的双优排序研究[J].计算机研究与发展,2010,47(S1):311-315.
-
5何洋,洪玫,祁琳莹,王存伟,郑佳琪.基于模型检测工具NuSMV的功能测试用例生成方法[J].计算机应用,2015,35(A02):155-159. 被引量：7
-
6龚红仿,李军义,胡积平,邹北骥,孙家广.基于扩展的EDPN的类的交互测试用例生成技术的研究[J].湖南大学学报（自然科学版）,2005,32(1):99-103. 被引量：1
-
7龚红仿,李军义,邹北骥.基于事件消息驱动的Petri网的类族测试用例生成技术的研究[J].计算机应用,2005,25(1):65-68. 被引量：3
-
8杨宇,沈立炜,林云,彭鑫,赵文耘.软件产品线测试中具有优先级的特征配置生成方法[J].小型微型计算机系统,2015,36(4):654-660. 被引量：1
