学术讲座报告

学术讲座报告

学 号：

姓 名：

报告题目：

指导教师：

所属学院：

桂林电子科技大学研究生院

2012年 12 月 19 日

为拓宽研究生的知识面，活跃学术气氛，学校要求研究生在研一期间必须参加有关学术报告和讲座。经过研一一学年，我已经按照学校规定完成了参加学术讲座听取学术报告的任务，受益匪浅。在此做一下回顾，总结一下自己的收获和体会，以便更好的指导以后的学习和工作。

为了更好地了解所学专业领域的先进技术，我先后参加了《形式软件工程方法》、《物联网、云计算技术及其应用》、《基于模型的Web应用测试》等学术讲座，对相关的只是有了更深的认识。另外为了拓宽视野，丰富课余知识，我还听取了《中国外贸顺差、外汇储备与通货膨胀》、《北部湾与海峡西岸经济区发展比较研究》等学术报告。由于篇幅所限，不一一对其进行总结，而只针对《基于模型的Web应用测试》写一下自己的心得体会。

应学院邀请，上海大学计算机工程与科学学院副院长缪淮扣教授于2012年4月12日来校进行基于模型的Web应用测试方法的学术讲座。缪淮扣教授1992年10月至1995年1月由国家公派在英国york大学做访问学者。担任中国软件行业协会理事上海市南市区第四届科协常委、上海市南市区计算机学会理事长，上海市黄浦区第一届科协常委、上海市黄浦区计算机学会理事长。现任上海大学学术委员会委员、《应用科学学报》等三个杂志的变为，是享受政府特殊津贴的专家。缪淮扣教授擅长人工智能、计算机软件方法、软件工程等。在讲座中，缪淮扣教授幽默而又严谨的讲学风格也带动了我们大家的热情以及袁教授对专业技术领域的真知灼见也令我们在座的研究生由衷钦佩。

此次讲座使我对Web应用的测试有了全新的认识。在Web工程过程中，基于Web系统的测试、确认和验收是一项重要而富有挑战性的工作。基于Web的系统测试与传统的软件测试不同，它不但需要检查和验证是否按照设计的要求运行，而且还要测试系统在不同用户的浏览器端的显示是否合适。重要的是，还要从最终用户的角度进行安全性和可用性测试。然而，Internet和Web媒体的不可预见性使测试基于Web的系统变得困难。因此，我们必须为测试和评估复杂的基于Web的系统研究新的方法和技术。

Web应用已经渗透到国计民生的各个领域一个非常关键的问题是如何保证Web应用的可靠性和质量。测试是提高软件可靠性和保证软件质量的一种最基本的手段。目前Web应用的测试主要依赖测试工程师的直觉和经验，没有比较系统的方法和工具，测试是一个耗时的、代价昂贵的过程。许多Web应用在没有进行充分测试的情况下投入运营，质量难以保证，导致Web应用软件的开发可靠性不高、风险大。因此，才有了基于模型的Web应用测试的产生。

基于模型的语言（如UML）、模型驱动技术（MDA）和以测试为中心的软件开发技术与方法的星期和应用以及形式化验证技术的逐步成熟，使基于模型的软件测试方法与技术在近几年得到了较为广泛的关注，一些理论的和商业的工具相机出现。基于模型的测试以明确描述系统预期行为的抽象模型为依据，根据模型覆盖准则自动生成抽象的测试用例：输入和预期的输出。输入部分在被实例化后输入被测系统（the System Under Test，SUT）进行测试。基于模型的测试实现测试用例生成、测试执行和测试结果判别的自动化。

Web应用的测试可以分为非功能测试和功能测试，非功能测试包括性能测试、负载测试、可用性测试、兼容性测试和安全性测试等。功能测试包括链接测试、表单测试、数据校验、cookies测试、数据库测试、应用程序特定的功能需求测试和设计语言测试。

目前，Web应用的测试技术大多着重于客户端和服务器的静态模式，包括link检查检查、HTML验证器、捕获/回访、安全性测试以及负载和压力测试等Web应用测试支持工具，大都是基于程序或源代码的静态验证和计量功能，不支持或很少支持Web应用的测试。

Web应用由复杂的用户界面和不计其数的后端构件以各种方式继承在一起。基于模型的测试方法为Web应用功能测试的自动化提供了一种非常有效的解决方案。在基于模型店测试中，测试模型和基于测试模型生成的测试用例都是抽象的，独立于平台的，从而是可重用的。测试执行时通过对测试执行环境的动态配置自动产生实例化的可执行的测试包。这一特性将大大降低由于Web应用的异构性和动态性所带来的测试复杂度。基于模型的Web应用测试方法改变了软件工程中“现在编程，以后测试”的工作方式，使得在整个软件生命期中都可以并行地进行测试工作，从而实现编码前的错误检测，大大降低测试的代价。

Web应用是一种典型的应用程序。Web应用本身越来越复杂，同时它所使用的开发语言和开发模型在不断发展。所有这些因素都给分析、建模和测试带来了很大的难度。目前的测试主要依赖测试工程师的直觉和经验。Web应用测试被认为是一个耗时、代价昂贵的过程。因此，迫切需要一套系统的Web应用测试方法并能实现测试过程的自动化。缪淮扣教授所研究的正是基于以上目的，设计并实现了一个基于模型的Web应用测试系统，以Web应用的UML状态图作为系统测试模型，采用UML书序图描述测试目标，通过转换和组合，构成FSM测试模型。实现了测试生成的自动化、测试模型以及测试用例的可视化、测试执行的自动化等。

经过这次讲座，我不仅在某些具体的实际技术理论上学到了很多，对Web测试方法的的发展有了更加清晰明确的认识，同时，我也初步领略了专家的一种思想以及思维方式，以后要经常听一些专家的讲座，让自己在具体理论以及思维方式上有一个不断的提升，进而能够理解这些大家的独特的思想。