基于模型的软件测试论文求助

ttl

我想写关于基于模型的软件测试方面的论文，请大家指导一二，提供一些资料和思路，非常感谢。

chinalong

软件建模。需求模型、设计模型。
有限状态机模型，UML模型，马尔科夫链模型等。