%0 Journal Article
%T 基于uml状态图的c/s模式软件系统的一致性测试例生成
%A 叶新铭
%A 王谱新
%A 白翔宇
%A 谢辉？
%J 计算机科学
%D 2009
%R 10.11896/j.issn.1002-137X.2009.07.027
%X c/s模式的软件系统具有多层次结构、采用面向对象编程技术等特点，为其生成一致性测试变得十分困难。使用uml状态图，为一个c/s模式的软件系统建模，将建立好的模型转换为扩展的有限状态机，并在该有限状态机上使用uio序列与中国邮递员算法相结合的方法进行测试例的生成，最后应用数据流分析技术对生成的测试例进行分析，排除了其中不可执行的测试例。该方法利用了uml状态图易于建模的优点，降低了测试生成的难度，缩短了测试例的长度并节省了软件开发的成本。
%K 软件测试
%K c/s模式
%K uml状态图
%K 有限状态机
%K uio
%K 中国邮递员算法
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=090727&flag=1