基于有限状态自动机的web应用系统的测试

《基于有限状态自动机的web应用系统的测试》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、分类号：TP311学校代码：10109密级：公开太原科技大学硕士学位论文（学术型）学位论文题目：基于有限状态自动机的Web应用系统的测试英文题目：WebApplicationSystem’sTestingbasedonFiniteStateMachine研究生姓名：王琳琳导师姓名及职称：刘耀军教授培养单位：计算机科学与技术学院学科专业：软件工程论文提交日期：2016年5月18日论文答辩日期：2016年6月5日答辩委员会主席：宋文爱教授论文独创性声明本人郑重声明：所呈交的论文，是本人在导师指导下，独立进行研究所取得的成果。除文中特别加以标注和致谢的地方外，论文中不包含其他个

2、人或集体已经发表或撰写的研究成果。对本研究所做的任何贡献的个人或集体均已在论文中作了明确的说明并表示了谢意。本声明产生的法律责任由本人承担。论文作者签名：日期：中文摘要中文摘要随着IT基础设施建设的飞速发展，瘦客户端逐渐成为计算机工业发展的一个趋势，Web应用系统逐渐代替现有的运行在个人PC端的胖客户端应用程序，即把大部分的数据处理放在服务器端进行。并且Web应用系统的操作简单、松散耦合性、规范性、行业支持性和开放性等特点也使其得到迅速发展。所以保证Web应用系统的质量也逐渐成为一个更加至关重要的问题。但是Web应用系统和传统软件系统相比在体系结构、[1]实现技术、组成成

3、分、运行环境、运行过程、运行机制和开发过程上相比更具特殊性，因此Web应用系统的测试和传统软件系统相比具有更多的复杂性。测试的关键步骤就是生成测试用例，一组好的测试用例集就是用尽可能少的测试用例达到尽可能高的测[2]试覆盖度。因此测试用例的质量不但关系到最终软件系统的质量优劣，还关系到整个测试过程的效率甚至整个工程项目的工期长短。基于模型的Web应用系统的测试方面的理论近几年已经有了广泛的研究，比较具有代表性的是基于有限状态自动机的Web应用系统的测试，有限状态自动机的优点是可以形式化的体现Web应用系统状态之间的交互，便于设计、开发、测试人员的理解，最重要的是有限状态自

4、动机可以根据给定的遍历算法自动生成测试用例，大大的提高了生成测试用例的效率。本文的主要研究成果如下：(1)分析待测Web应用系统的UML状态图模型，把UML状态图模型通过一定的转换方法转换成有限状态自动机模型，其次再通过有限状态自动机极小化方法对其进行极小化处理，从而降低了模型的状态规模，起到简化测试的目的。(2)给出了从FSM的状态转换图到正则表达式的转化方法，扩展了正则语言描述FSM的规则，使正则语言不仅能够体现出FSM中的迁移，而且还能体现出每个迁移对应的状态。(3)研究了Web应用系统功能测试当中的三个测试覆盖准则：状态覆盖、迁移覆盖和迁移对覆盖，并且结合FSM的

5、正则表达式给出了各种覆盖准则的测试用例，最后把白盒测试中的判定-条件覆盖准则引用到Web应用系统的功能测试当中，并结合FSM的正则表达式给出了各种覆盖准则的测试用例。关键字:Web应用系统；有限状态自动机；UML；极小化；正则表达式；覆盖准则IABSTRSCTABSTRACTWiththerapiddevelopmentofITinfrastructure,theThinClientProgramisbecomingatrendofindustrialdevelopment,Webapplicationsystemgraduallyreplacetheexistingin

6、dividualPCrunningterminalFatClientapplication,thatmostofthedataprocessingontheserverside.AndsimpleWebapplicationsystems,looselycoupled,standard,industrysupportandopennesscharacteristicsalsomakeitrapiddevelopment.Therefore,toensurethequalityofWebapplicationshasbecomeamorecriticalissue.Howe

7、ver,Webapplicationscomparewithtraditionalsoftwaresystemshasmanydifferenceonarchitecture,implementationtechniques,composition,operatingenvironment,[1]operationalprocess,operatingmechanism,sothetestingontheWebapplicationsdifferentwiththetestingontraditionalsoftwaresys