基于uml状态图的c/s模式软件系统的一致性测试例生成

c/s模式的软件系统具有多层次结构、采用面向对象编程技术等特点，为其生成一致性测试变得十分困难。使用uml状态图，为一个c/s模式的软件系统建模，将建立好的模型转换为扩展的有限状态机，并在该有限状态机上使用uio序列与中国邮递员算法相结合的方法进行测试例的生成，最后应用数据流分析技术对生成的测试例进行分析，排除了其中不可执行的测试例。该方法利用了uml状态图易于建模的优点，降低了测试生成的难度，缩短了测试例的长度并节省了软件开发的成本。