流程开展。

 

　　首先在故障模型研究的基础上，对需测试的对象按照故障模型进行实例化，完成由模
型向具体问题的转化；然后对模型实例进行分析，研究发掘更优更有效的测试方法，并用
测试方法对对象进行测试确认，不断循环分析和方法优化的过程，直至找最适合的方法；
用寻找到的方法对一类问题进行普适性确认，因为故障模型本身就是从众多实例中抽象提
炼出来的模型，因此普适性验证重点关注方法的效率和重用度；对于重用度高，通过工具
可以大幅提高效率的方法还可设计自动化测试工具对方法进行固化。

 

　　

3 结语 

　　现代信息技术的不断发展，软件应用已经无处不在，通过软件故障模型来指导软件测
试是提高软件可靠性的一个有效办法，其核心是不断地总结提炼科学有效的软件故障模型
在应用场景和方式也日趋复杂的今天形成准确的软件故障模型是件不容易的事情，特别是
从覆盖度上要能让软件故障模型覆盖所有的软件故障更是困难，即便如此，发掘和提炼软
件故障模型仍然是值得的，可以让测试更有针对性，更自信，更有效。提炼软件故障模型需
要大量的工程实践作为基础，通过假设故障存在、反向推理、实践验证的方式进行。当前软件
故障模型偏重于由软件代码层次，对软件应用环境、模式、行业特点等方面指导系统级测试
的软件故障模型还很欠缺。完善软件故障模型并应用到测试行为当中还是一个很长期的过程。
 
　　参考文献

 

　　

[1]张广梅.《软件测试与可靠性评估》.