基于模型的软件测试综述.docVIP

基于模型的软件测试综述 　　【摘 要】面向对象软件开发应用越来越广泛，自动化测试也随之被程序员认可和接受，随之而来的就是基于UML的软件开发技术的大范围普及和基于模型的软件测试技术的普遍应用。由于被测软件的特点不同，测试的目的也不尽然相同，测试模型相对应的就会有很多种类。笔者在本文详细描述了基于模型的软件测试技术的现状，同时对于不同模型在测试中适用情况做了深入的比较，主要讨论了有限状态机模型、马尔可夫链模型和UML模型。文章最后，笔者就该种测试方法的未来发展前景做了分析。 　　【关键词】基于模型的软件测试，有限状态机，UML 　　一、引言 　　软件工程一直在探讨的一个问题就是提高软件质量的有效方法，无疑软件测试时解决这一问题最重要和直接的方法。软件测试的划分方法有很多种，主流的方法是将软件测试分为针对于程序代码本身的测试和针对于软件编写规范化的测试。针对程序代码本身的测试主要是依据代码语句编写测试用例，然后用测试用例对代码进行测试，直到能够完全测试代码的所有分支路径为止，我们称之为测试完全性原则。针对于软件编写规范化的测试主要是依据软件要实现的功能和设计规范进行用例设计，然后对与之相关的功能和设计属性进行测试，知道能够完全测试所有关联的属性为止，我们认为这样的测试是完全的。近年来，面向对象的软件开发逐渐普及，随之而来的是测试自动化的要求有着显著的提高，这种种技术的发