基于模型软件测试方法研究.docVIP

基于模型软件测试方法研究 　　摘要：基于模型的软件测试方法不仅可以有效地提高测试效率，提高测试用例生成的自动化程度，进行测试失效辨识，也有利于评价测试结果。基于此，本文给出了比较典型的软件测试模型，总结了基于模型的软件测试过程，并分析了基于模型的软件测试方法的优缺点。 　　关键词：软件测试；测试模型；UML；测试用例 　　 　　引言 　　 　　随着面向对象软件开发技术的广泛应用和软件测试自动化的要求，基于模型的软件测试逐渐得到重视。基于模型的软件测试属于基于规范的软件测试范畴，其特点是：在产生测试用例和进行测试结果评价时，都是根据被测试应用程序的模型及其派生模型（一般称作测试模型）进行的。基于模型的测试最初应用于硬件测试，广泛应用于电信交换系统测试，目前在软件测试中得到了一定应用，并在学术界和工业界得到了越来越多的重视。 　　软件模型是对软件行为和软件结构的抽象描述。软件行为可以用系统输入序列、活动、条件、输出逻辑或者数据流进行描述，软件结构使用组件图、部署图等进行描述。针对测试任务，通过对软件功能和结构进行抽象并用易于理解的方式进行描述，获得的模型就是对被测试软件系统精确的描述，可以用于软件测试。一般对软件不同行为要用不同模型进行描述。例如：控制流图、数据流图和程序依赖图表达了程序和代码结构间的行为关系，决策表和状态机则可以描述软件外部行为。基于模型的软件测试可以