基于ORD和FSM的Web应用的建模与测试  

Modeling and Testing Web Applications Based on ORD and FSM

作　　者：钱忠胜[1,2] 缪淮扣[1] 陈圣波[1] 

机构地区：[1]上海大学计算机工程与科学学院,上海200072 [2]江西财经大学信息管理学院,南昌330013

出　　处：《计算机科学》2008年第9期278-281,291,共5页Computer Science

基　　金：国家自然科学基金(60373072和60673115);国家973项目(2007CB310801);上海市教委科学发展基金(05AZ70)资助

摘　　要：Web测试是保证高质量Web应用的一种有效技术。然而,由于其特殊性和复杂性,很难直接将传统的测试理论与方法学运用到Web应用的测试当中来。对Web应用进行了分析与建模,并对其进行测试,提出了一种可行的Web测试模型。首先得到页面流图(PFD,Page Flow Diagram),进而产生对象关系图(ORD,Object Relation Dia-gram),然后根据提出的算法将ORD转化为形式化的有限状态机(FSM,Finite State Machine)模型。基于FSM模型,提出了一种有效的测试路径自动生成方法,这些测试路径可以转化为XML语法的测试规格说明。测试引擎将测试规格说明作为输入最终产生测试报告。全文以所开发的一个小型的Web应用SWLS(Simple Web Login System)为例进行阐述。Web testing is an effective technique to ensure the high quality of Web applications. Unfortunately, it is hard to directly employ the traditional test theories and methodologies because of the particularities and complexities of Web applications. The paper analyzes, models and tests Web applications, and then presents a practical Web test model. It begins with PFD （Page Flow Diagram） and then generates ORD （Object Relation Diagram） ,which is converted into FSM （Finite State Machine） model according to an algorithm proposed. An efficient approach to automatically generating test paths is presented based on the FSM model. The test paths can be translated into test specification in XML syntax. Finally, the test engine takes the test specification as its input and produces a test report. The SWLS （Simple Web Login System） ,a small Web application developed, is taken as an example throughout the paper.

关 键 词：WEB应用 页面流图 对象关系图 有限状态机 形式化 测试路径 Web测试模型 

分 类 号：TP309.2[自动化与计算机技术—计算机系统结构] TP393[自动化与计算机技术—计算机科学与技术]