计算机科学 ›› 2009, Vol. 36 ›› Issue (7): 117-119.doi: 10.11896/j.issn.1002-137X.2009.07.027
叶新铭,王谱新,白翔宇,谢辉
YE Xin-min,WANG Pu-xin,BAI Xiang-yu,XIE Hui
摘要: C/S模式的软件系统具有多层次结构、采用面向对象编程技术等特点,为其生成一致性测试变得十分困难。使用UML状态图,为一个C/S模式的软件系统建模,将建立好的模型转换为扩展的有限状态机,并在该有限状态机上使用UIO序列与中国邮递员算法相结合的方法进行测试例的生成,最后应用数据流分析技术对生成的测试例进行分析,排除了其中不可执行的测试例。该方法利用了UML状态图易于建模的优点,降低了测试生成的难度,缩短了测试例的长度并节省了软件开发的成本。
No related articles found! |
|