文章来源于网络，相关信息请点击：测试培训 http://www.imbus.cn/

软件测试是软件质量保证的重要手段，通过软件测试可以发现软件缺陷，从而修改缺陷，提高软件的质量水平。软件产品的测试比硬件产品的检测要复杂得多，并且软件产品的测试不能充分利用检测工具，还需依赖测试人员的个人判断，对业务知识的掌握程度以及测试用例的设计能力，知识和经验。 随着计算机技术和软件技术的发展，近年来，软件测试在各个领域发挥着重要的作用。随着软件工程的发展，对系统化的软件测试技术和软件测试方法的研究也随之发展。软件测试从静态分析、动态测试等简单的查错行为发展成为系统化的工程行为。为了提高软件的测试效率，减少人员手工操作的次数，克服由于人员水平造成的测试差异，人们开始研究自动化测试技术。 本文通过对大量软件测试技术相关文献的阅读，分析了自动化测试框架、自动化测试用例生成技术两个软件自动化测试的热点问题，结合目前软件企业使用的测试工具，总结了软件自动化测试技术的应用现状和存在的问题，对未来软件测试技术的发展进行了展望。
自动化测试

随着软件系统规模的扩大和软件应用领域的不断扩展，软件系统的测试也变更越来越困难，传统的人工测试已无法满足人们的测试需要，虽然自动化测试不能从根本上解决问题，但其技术可以部分解决测试覆盖的问题和测试效率问题。 随着自动化测试技术的不断发展，自动化技术更加注重实用性、有效性和性能的不断提高，自动化软件测试技术同各种传统的人工测试技术相结合，大缩短了测试的时间和测试的开销，自动化测试已成为软件测试技术的重要研究方向。目前，自动化测试技术的主要研究内容包括：测试自动化框架、测试自动化脚本技术、自动化测试用例生成技术、测试自动化的预测、自动测试与可靠性分析、自动化安全测试技术等。

自动化测试框架

自动化测试框架模型的研究是为了使整个测试过程可以建立在一个框架模型之上，这些过程包括编制测试计划、安排测试活动、实现测试及检查和评估测试结果等。

1 基于程序结构的自动化测试框架

在文献中，作者提出了一种面向程序结构测试的一体化自动测试框架模型——C-ATFM模型。该模型是基于C语言的面向程序的测试框架，集成了自组织的环境，采用源码嵌入式的测试探针技术，模型包括5个模块。

1）语法分析器：用于对源程序进行分析，使用了有限自动机对正则表达式所表示的规则进行识别。

2）策略配置器：根据所要采用的测试方法来设计测试模型对测试活动的支持，使测试模型具有较好的适应性，对自动测试的有效性非常重要。

3）指令生成器：自动采集和分析程序结构的控制流信息，在测试策略的控制下，针对不同测试策略，计算程序动态测试过程，生成测试处理模块并插入到程序中，构成包含测试信息的被测程序，提交给仿真执行模块运行测试。

4）测试用例生成器：在自动测试过程中，为了尽量减少人工的介入，输入处理被实现为一个独立的模块，在需要时被调用，以模拟人工输入，为程序提供必要的输入数据。测试用例的自动生成技术也是自动化测试的一个重要的研究方向，将在后面的文章中进行介绍。

5）指令仿真执行器：提供测试框架内部的仿真执行环境。

以上测试框架是基于程序结构的测试方法，即主要被用于白盒测试过程中。

1 基于程序结构的自动化测试框架

在文献中，作者提出了一种面向程序结构测试的一体化自动测试框架模型——C-ATFM模型。该模型是基于C语言的面向程序的测试框架，集成了自组织的环境，采用源码嵌入式的测试探针技术，模型包括5个模块。

1）语法分析器：用于对源程序进行分析，使用了有限自动机对正则表达式所表示的规则进行识别。

2）策略配置器：根据所要采用的测试方法来设计测试模型对测试活动的支持，使测试模型具有较好的适应性，对自动测试的有效性非常重要。

3）指令生成器：自动采集和分析程序结构的控制流信息，在测试策略的控制下，针对不同测试策略，计算程序动态测试过程，生成测试处理模块并插入到程序中，构成包含测试信息的被测程序，提交给仿真执行模块运行测试。

4）测试用例生成器：在自动测试过程中，为了尽量减少人工的介入，输入处理被实现为一个独立的模块，在需要时被调用，以模拟人工输入，为程序提供必要的输入数据。测试用例的自动生成技术也是自动化测试的一个重要的研究方向，将在后面的文章中进行介绍。

5）指令仿真执行器：提供测试框架内部的仿真执行环境。

以上测试框架是基于程序结构的测试方法，即主要被用于白盒测试过程中。

2 基于类的测试模型

面向对象的软件程序开发方法的出现，使软件测试者从传统的基于过程的测试转向基于类的测试。类的封装机制限制了对象对外部的可见性和外部以其的操作权限，而类的继承机制增加了软件测试的复杂性，多态和动态绑定为程序的执行带来了不确定性。由于以上问题的出现，人们开始讨论面向对象的软件测试模型。文献中给出了一种基于EDPN的类测试模型，作者基于面向对象软件测试的层次划分、测试方法，讨论了从UML图到EDPN图的转换，提出了一种基于EDPN的有标记的唯一输入输出测试用例的生成方式，并设计了基于EDPN模型的类测试模型。该模型可以通过唯一输入输出测试类的状态及状态转移；通过优化正交阵列测试类的交互；还可以通过生成协同路径方法测试类的层次。

联系地址：上海浦东新区张江高科技园区碧波路500号206室

联系方式：021-50274732 (联系我时请说明是从房旅网看到的，请验明证件当面交易防被骗！)

联系人：钱雯琼

发布时间：2014-08-27

用户IP: 218.90.9.66

上传时间:  2014-08-27

我要宣传此条信息（复制网址给朋友）：