随着软件系统规模的增大,测试用例数量爆发式增长,软件开发组织拥有的测试资源不足以执行全部测试用例,如何分配有限的测试资源成为一大难题。测试用例优先排序作为一种合理分配测试资源、提高软件测试效率的技术,被广泛运用于软件测试之中。与此同时,模型驱动开发的兴起催生了基于模型的软件测试需求,然而传统的测试用例优先排序方法往往基于软件代码,难以运用到基于模型的软件测试之中。为了解决模型驱动开发软件的基于模型的软件测试问题,本文总结现有的方法,从如下几个方面进行了研究:(1)提出了一种基于扩展有限状态机(EFSM,Extended Finite State Machine)模型的测试用例优先排序方法。该方法首先将UML模型转换为EFSM模型,然后基于UML模型预测EFSM迁移的缺陷概率,再通过EFSM切片技术分析EFSM迁移在模型中的影响力,并推导出EFSM迁移的缺陷严重性。最后基于EFSM迁移的缺陷概率、缺陷严重性结合Additional策略对测试用例进行排序。基于EFSM模型的测试用例优先排序方法能够运用到基于UML模型的测试中,解决了传统方法过于依赖代码的问题,提高了严重缺陷检测效率。(2)提出了一种基于隐马尔科夫模型(HMM,Hidden Markov model)的测试用例优先排序方法。该方法首先将UML模型转换为HMM模型,根据UML模型信息预测HMM隐含状态的缺陷概率。其次借鉴用于网页超链接排序的SALSA算法的基本思想,计算HMM隐含状态在模型中的重要度并作为HMM隐含状态的缺陷严重性。然后根据HMM隐含状态在HMM模型中的发生概率计算HMM隐含状态的缺陷优先级。最后综合HMM隐含状态的缺陷概率、缺陷严重性、缺陷优先级以及Additional策略对测试用例进行排序。基于HMM模型的测试用例优先排序方法不但解决了传统方法过于依赖代码的问题,确保了被测软件关键方法能够被优先测试。(3)在前述方法的基础上,设计并实现了基于模型的测试用例优先排序原型系统,通过无人机飞控软件的实例,验证了本系统简单易用,提出方法切实有效。