针对当前UML建模在软件设计中的广泛应用,提出一种基于模型的软件自动化测试方案。为实现测试方案,通过UML状态图对软件模型进行构建,同时利用EFSM 模型生成路径转换序列,借助Petri网的可覆盖性、可达性,将UML状态图转换为Petri 网,再通过Petri 网对上述转换的路径进行分析,从而消除了传统测试用例生成时存在的缺点,最后通过实验验证了该算法的严谨性和有效性。