请问有人做基于模型的软件测试吗

[ddyang]

最近开始做这方面，但是没什么进展，哪位也是做这方面的研究，能否给点指导？谢谢了

[prettyboy923]

基于模型的软件测试技术是针对软件中的一些常见的软件模型而提出的一种测试技术，如故障模型、安全模型、死锁模型等.
优点
（1）工具自动化程度高以及测试效率高，检测所需时间较短；
（2）基于模型的软件测试技术往往能发现其他测试技术难以发现的故障。
基于模型的软件测试技术
缺点
(1）误报问题。通常基于模型的软件测试技术都属于静态分析技术，由于某些故障的确定需要动态的执行信息，因此对于基于静态分析的工具来说，误报问题是不可避免的。
(2）漏报问题。漏报问题主要由模型定义和模型检测算法引起。目前对于软件模式没有一个规范的、统一的和形式化的定义。
(3）模型机理。由于编程过程中，程序员具有较强的个体性，因此软件模型是多种多样的。

[kelph]

什么模型

[ddyang]

用抽象状态机模型做测试

[AwL_1124]

不是很理解
顶个 先·

[w512577152]

模型检测（Model checking）