（计算机应用技术专业论文）web应用交互的建模和测试用例生成.pdf

本人声明：所呈交的论文是本人在导师指导下进行的研究工作。 除了文中特别加以标注和致谢的地方外，论文中不包含其他人已发表 或撰写过的研究成果。参与同一工作的其他同志对本研究所做的任何 贡献均已在论文中作了明确的说明并表示了谢意。 签名： 禾2 遗 日期：垄! ：! ：型 本论文使用授权说明 本人完全了解上海大学有关保留、使用学位论文的规定，即：学 校有权保留论文及送交论文复印件，允许论文被查阅和借阅；学校可 以公布论文的全部或部分内容。 ( 保密的论文在解密后应遵守此规定) 弛杠聊躲笋吼坐拦 位论文 w e b 应用交互的建模和测试用例生成 作者 导师 专业 学位 宋波 缪淮扣教授 计算机应用技术 工学博士 上海大学计算机工程与科学学院 二。一。年六月 n m o d e l i n gw e ba p p l i c a t i o n s i n t e r a c t i o n s a n d g e n e r a t i n gt h e i r t e s t s b y s o n g b o s u p e r v i s o r p r o f e s s o rm i a oh u a i k o u m a j o r c o m p u t e ra p p l i c a t i o nt e c h n o l o g y d e g r e ed o c t o ro f t e c h n o l o g y j u n 2 0 1 0 s h a n g h a i ，p r c h i n a w e b 应用的巨大成功和不断发展，使其渗透到国计民生、商业领域和个人生 活的各个方面。w e b 应用是一种非常复杂的、分布式的、多层结构的交互式应用 系统，为用户提供了一种全新的部署软件应用的方式。w e b 应用的异构性、动态 性、连接的多样性、控制流程的可变性以及需要快速丌发与发布等特性给w e b 应用的建模和测试带来了新的挑战。目前还没有比较系统的方法和工具对w e b 应用进行有效的建模和测试。w e b 应用的特性要求必须对传统的建模和测试方法 进行改进或提出新的适合w e b 应用特性的建模和测试方法。目前对w e b 应用的 建模和测试工作基本上都是w e b 应用的静态导航建模和测试，很少关注w e b 应 用的交互特性。而交互特性关乎于w e b 应用的功能性，w e b 应用从它出现之日 起，它就是一个交互式系统。因此，迫切需要一套新的w e b 应用建模和测试方 法来保证w e b 应用交互的可靠性，从而最终来保证w e b 应用功能的j 下确性和安 全性。 本文研究的对象是w e b 应用，重点研究w e b 应用中交互的建模和测试。主 要贡献和创新如下： 1 w e b 浏览器的交互行为消极地影响w e b 应用的安全性、功能性和导航的正确 性。针对该问题论文，考虑了由于浏览器的交互而可能导致的和w e b 应用设 计不一致的方面，提出了w 曲应用o n - t h e f l y 导航建模方法和测试生成方法。 采用扩展的f s m ( o f n m f s m ) 来对o n t h e - f l y 导航模型进行形式化描述， 并给出了从o f n m f s m 派生f s m 测试树( f s mt e s t - t r e e ，f s m t t ) 的算 法，最后，从构造得到的f s m 1 v r 中产生测试用例，并满足相应的测试覆盖 准则。 2 随着w e b 应用的不断演化，数据库己在w e b 应用中得到了广泛使用。数据库 交互已经成为目前w e b 应用的关键功能特性之一。针对该问题，论文在对 w e b 应用进行建模和测试时考虑数据库交互。采用g f s m s ( g u a r d e df i n i t e s t a t em a c h i n e s ) 作为数据库交互的建模工具。从得到的g f s m 中构造一个 g f s m t t ( g f s mt e s t t r e e ) 。基于g f s m t r 派生出最小测试集，这样就完成 了测试生成。设计了一个算法来对测试路径进行优化，从而减少路径中重叠 部分，消除了部分冗余。 3 w e b 应用越来越依赖于后台数据库给其提供丰富的功能。a s p n e t 支持事件 驱动( e v e n t - d r i v e n ) 的编程范式，具有代码隐藏特性( c o d e - b e h i n df e a t u r e ) ， i ：海人学博i ：学位论文 使得超文本标记语言( h t m l ) 与表示逻辑完全分离。此外，数据库交互影响 w e b 应用的导航和功能性。对于a s e n e t 编程范式的数据库交互的抽取和测 试还鲜有报道。论文提出了基于事件的依赖图模型( e v e n t b a s e dd e p e n d e n c e g r a p hm o d e l s ，e d g m s ) 来对w e b 应用中数据库交互进行抽取和建模的方法。 采用f s m 来对w 曲页面的t 见( p r e s e n t a t i o n ) 建模( 也就是对w 曲页面的a s p x 部分建模) ，采用控制流图( c o n t r o lf l o wg r a p h ，c f g ) 和数据库交互流图 ( d a t a b a s ei n t e r a c t i o nf l o wg r a p h ，d i f g ) 来抽取和建模w 曲页面对应的逻 辑处理部分( c s ) 。根据得到的e d g m s ，构造一棵f s m 测试树( f s mt e s t t r e e ， f s m t t ) 。根据构造的f s m t t ，产生测试序列。结合w e b 页面的f s m ( s ) 可以进一步具体化得到的测试序列。这样就可以获得更加详细的测试序列。 4 w e b 浏览器的行为会影响到w e b 应用的j 下确性，当把它部署在其支持环境中 时有可能导致功能失常。针对w e b 浏览器的交互行为问题，论文提出一种通 过组合w e b 应用的功能模块( 用例) 和浏览器交互行为的w e b 应用建模方法。 w e b 应用被看作是一个由不同的功能模块构成的系统。最后给出了测试的生 成和优化算法。 5 论文从一般的w e b 应用的页面导航模型( u m l 状态图) 出发，设计并实现了 带浏览器交互的w e b 应用的自动建模和测试用例自动生成的工具原型 a g t 4 w ( a u t o m a t i c g e n e r a t i n gt e s t sf o rw e ba p p l i c a t i o n s ) 。论文介绍了实现 方法和详细过程。 关键字：w e b 应用，模型检测，导航模型，浏览器交互、数据库交互 n w i t ht h ed e v e l o p m e n to fw 曲a p p l i c a t i o n ，i tb e c o m e sat r e m e n d o u ss u c c e s s w h i c hp e r m e a t e si n t ot h en a t i o n se c o n o m ya n dt h ep e o p l e sl i v e l i h o o d ，s u c h 弱 c o m m e r c i a lf i e l d sa n dp e o p l e sd a i l yl i f e aw 曲a p p l i c a t i o ni sav e r yc o m p l e x ， d i s t r i b u t e d ，m u l t i t i e r , i n t e r a c t i v es y s t e m ，w h i c hp r o v i d e sab r a n d - n e ww a yf o ru s e r s t od e p l o ys o f t w a r ea p p l i c a t i o n t h ei s o m e r i s m ，d y n a m i c s ，d i v e r s ec o n n e c t i o n s ，v a r i a n t c o n t r o lf l o w s ，a n dr a p i dd e v e l o p m e n ta n dd e p l o y m e n to fw 曲a p p l i c a t i o n sh a v e b r o u g h tt h en e wc h a l l e n g ef o rt h e i rt e s t i n g a tp r e s e n t ，t h e r e a r en os y s t e m a t i cm e t h o d a n dt o o lt h a ta r ee m p l o y e dt o t e s tw e ba p p l i c a t i o n se f f i c i e n t l y 1 1 1 ei m p r o v e d t r a d i t i o n a lm e t h o d so ran e wm o d e l i n ga n dt e s t i n gm e t h o da p p r o p r i a t ef o r 鼢参 a p p l i c a t i o nt e s t i n ga r ed e s i r e du r g e n t l yf o ra l lt h ec h a r a c t e r i s t i c so fw e ba p p l i c a t i o n s t h e s ed a y s ，t h er e s e a r c h0 1 1m o d e l i n ga n dt e s t i n go fw e ba p p l i c a t i o nw a sc o n c e r n e d a l m o s ta b o u tt h es t a t i cm o d e l sf o rw e bn a v i g a t i o na n dt e s t i n g , b u tf e wp a ya t t e n t i o n t ot h ei n t e r a c t i o n sa r i s i n gi nw e ba p p l i c a t i o n s i nf a c t ，t h ei n t e r a c t i o nf e a t u r ei sa m a t t e ro fc o n c e r nt ot h ef u n c t i o n a l i t i e so fw e ba p p l i c a t i o n s w 曲a p p l i c a t i o ni sa n i n t e r a c t i v es y s t e ms i n c ei tc a m ei n t o0 1 1 1 l i f e c o n s e q u e n t l y , an o v e la p p r o a c ht o m o d e l i n ga n dt e s t i n g o fw e ba p p l i c a t i o ni sn e e d e du r g e n t l yt oe n s u r et h er e l i a b i l i t yo f i n t e r a c t i o n sa n ds o 嬲t og u a r a n t e et h es a f e t ya n dt h ef u n c t i o n a lc o r r e c t n e s sf o rw e b a p p l i c a t i o n s t h er e s e a r c ho b j e c to ft h i sd i s s e r t a t i o ni sw e ba p p l i c a t i o n s t h ek e yt ot h e r e s e a r c hi st h em o d e l i n ga n dt e s t i n go fi n t e r a c t i o n si nw e ba p p l i c a t i o n s t h ep r i m a r y c o n t r i b u t i o n sa n di n n o v a t i o ni sa sb e l o w ： 1 t h eb e h a v i o r so fw e bb r o w s e ri n t e r a c t i o n si n f l u e n c et h e s e c u r i t y , f u n c t i o n a l i t i e sa n dn a v i g a t i o no fw e ba p p l i c a t i o n s i nt h i sd i s s e r t a t i o n ，s p e c i a lc a r eo n 肫6b r o w s e ri n t e r a c t i o n si sp a i da n da na p p r o a c ht om o d e l i n go n t h e f l yn a v i g a t i o n m o d e l sa n dt e s tg e n e r a t i o nw i t hw e bb r o w s e ri n t e r a c t i o n si sp r o p o s e d t h ee x t e n d e d f s m ( o f n m f s m ) i se m p l o y e dt of o r m a l i z et h eo n t h e f l yn a v i g a t i o nm o d e l sa n da f s m - t t ( f s mt e s t - t r e e ) d e r i v e df r o mt h eo f n m f s mi sc o n s t r u c t e du s i n gt h e a l g o r i t h mw ep r e s e n t t e s tg e n e r a t i o ni sg i v e no u tf r o mf s m - t t w h i c hs a t i s f i e st h e c o r r e s p o n d i n gc o v e r a g ec r i t e r i a 2 w i t ht h ee v o l u t i o no fw 曲a p p l i c a t i o n s ，d a t a b a s eh a sb e e nw i d e l yu s e di nw 曲 a p p l i c a t i o n sa n dd a t a b a s ei n t e r a c t i o n si n f l u e n c et h en a v i g a t i o n so fw e ba p p l i c a t i o n s b e s i d e s d a t a b a s ei n t e r a c t i o n sa r ea m o n gt h em o s te s s e n t i a lf u n c t i o n a l f e a t u r e si n c u r r e n tw 曲a p p l i c a t i o n s i nt h i sd i s s e r t a t i o n ，d a t a b a s ei n t e r a c t i o n si nm o d e l i n ga n d t e s t i n gw e ba p p l i c a t i o n s a r et a k e ni n t oa c c o u n t g f s m s ( g u a r d e df i n i t es t a t e i i i 一i ：海人学博1 ：学位论文 m a c h i n e s ) ，w h i c ha r ea u g m e n t e df s m sa r ee m p l o y e da sat o o lt om o d e ld a t a b a s e i n t e r a c t i o n s ag f s m - t t ( g f s mt e s t t r e e ) i sc o n s t r u c t e df r o mg f s m f r o mt h e t e s t - t r e e ，m i n i m a lt e s ts e ti sd e r i v e dt ob ee m p l o y e dt og e n e r a t et e s t f i n a l l y , a l l a l g o r i t h mi sd e s i g n e d t oo p t i m i z et h et e s t p a t h sb yd e c r e a s i n gt h eo v e r l a pa n d a n i m i n a t eap a r to f r e d u n d a n c y 3 w e ba p p l i c a t i o n sd e p e n dm o r ea n dm o r eo nt h eb a c k - e n dd a t a b a s et op r o v i d e m a n ym o r ef u n c t i o n a l i t i e s s u p p o r t i n g e v e n t - d r i v e n p r o g r a m m i n g , a s p n e t s e p a r a t e st h ec o d ef r o mt h ec o n t e n tu s i n gt h ec o d e - b e h i n df e a t u r e a d d i t i o n a l l y , d a t a b a s ei n t e r a c t i o n sm a k eag r e a ti m p a c to nt h en a v i g a t i o na n df u c t i o n a l i t i e so fw e b a p p l i c a t i o n s a m o n ge x s t r a t i n ga n dt e s t i n go fd a t a b a s ei n t e r a c t i o n si na s p n e tw e b a p p l i c a t o n s ，f e w i sr e p o r t e do r p u b l i s e d i nt h i sd i s s e r t a t i o n ，w ep r o p o s ea l l e v e n t - b a s e dd e p e n d e n c eg r a p hm o d e l s ( e d g m s ) t om o d e la n de x t r a c t i n gd a t a b a s e i n t e r a c t i o n si nw e ba p p l i c a t i o n s af s mw a su s e da sat o o lt om o d e lt h ep r e s e n t a t i o n ( a s p x ) o fw e bp a g e a n dc o n t r o lf l o wg r a p h ( c f g ) a n dd a t a b a s ei n t e r a c t i o nf l o w g r a p h ( d i f g ) a r ee m p l o y e dt oe x t r a c t e da n dm o d e li t sc o r r e s p o n d i n gl o g i c a lp r o c e s s ( c s ) o fo n ep a g e f r o mt h ee d g m s ，af s mt e s t t r e e ( f s m t t ) w a sc o n s t r u c t e d b a s e do nf s m 一订，t h et e s ts e q u e n c e sw e r eg e n e r a t e d a tl a s t ，b ye l a b o r a t i n gt h et e s t s e q u e n c e sw i t l lt h ef s m so fw e bp a g e s ，w eg o tt h em o r ed e t a i l e dt e s ts e q u e n c e s 4 t h eb e h a v i o ro ft h ew e bb r o w s e r sm a yh a v ei m p a c to nt h ec o r r e c t n e s so fw e b a p p l i c a t i o n s ：aw e ba p p l i c a t i o nm a ym a l f u n c t i o nw h e ni ti sp u ti n t oi t ss u p p o r t i n g e n v i r o n m e n t t ot h eq u e s t i o no fw e bb r o w s e r si n t e r a c t i o nb e h a v i o r s ，t h i sd i s s e r t a t i o n p r o p o s e da na p p r o a c ht om o d e l i n gw e ba p p l i c a t i o n sb yt h em e a n so fc o m b i n a t i o no f w e bf u n c t i o n a lm o d u l e sa n dt h eb r o w s e r si n t e r a c t i o n s aw e ba p p l i c a t i o ni sr e f e r r e d t oa sas y s t e mw h i c hc o n s i s t e do fm a n yd i f f e r e n tf u n c t i o n a lm o d u l e s a tl a s t ，t e s t g e n e r a t i o na n do p t i m i z a t i o nt od e c r e a s et h eo v e r l a pa r eg i v e no u t 5 i nt h ee n do ft h i sp a p e r , b a s e do nt h eg e n e r a lw e bp a g en a v i g a t i o nm o d e l s ( u s u a l l yd e s c r i b e du s i n gu m ls t a t e c h a r t s ) ，ap r o t o t y p et o o l ，c a l l e da g t 4 w , u s e dt o a u t o m a t i cm o d e l i n gw e bb r o w s e r si n t e r a c t i o n sa n da u t o m a t i cg e n e r a t i n gt e s t sf o r w e ba p p l i c a t i o n si sd e s i g n e da n di m p l e m e n t e d a n dt h er e a l i z a t i o nm e t h o d sa n d d e t a i l sa r ea l lg i v eo u t k e yw o r d s ：w e ba p p l i c a t i o n s ；m o d e lc h e c k i n g ；n a v i g a t i o nm o d e l s ；w e bb r o w s e r i n t e r a c t o n s ；d a t a b a s ei n t e r a c t i o n s i v j ：海人学博一l ：学位论文 摘要 a b s t r a c t 插图清单。 第1 章绪论 目录 1 1 研究背景1 1 2w e b 应用的特性2 1 3w e b 应用的交互5 1 4w e b 应刖的建模6 1 5w e b 应用的测试7 1 6 论文的主要研究内容8 第2 章w e b 应用的建模和测试方法 1 1 2 1w e b 应用相关的建模技术1 l 2 2w e b 应刚相关的测试方法1 2 2 2 1 基于模型的测试方法。1 4 2 2 2 模型检测的测试用例生成方法1 4 2 2 2 1 模型检测的发展1 4 2 2 2 2 反例引导的测试生成l6 2 3 ，j 、结1 7 第3 章w e b 浏览器交互的建模和测试1 8 3 1 引言l8 3 2 运行实例1 9 3 3 特征化w e b 浏览器2 l 3 4w e b 浏览器交互的建模2 2 3 4 1w e b 麻川o n t h e f l y 导航建模2 3 3 4 2 导航模型的形式化一2 5 3 4 3f s m 测试树一2 7 3 5 ，j 、结3l 第4 章数据库交互的建模和测试3 2 4 1 简介3 2 4 2 运行实例3 3 4 3 建模数据库交互3 4 4 3 1 建模i ：具3 5 4 3 2 提出的模型3 6 4 4 测试路径的生成3 6 4 4 1g f s m 一r r 3 7 4 4 2 测试生成的优化3 8 4 4 3 测试路径的优化4 0 4 5d 、；z i l 第5 章数据库交互的抽取和测试。4 2 5 1 引言4 2 v f ：海人学博i ：学位论文 5 2 运行实例4 4 5 3 抽取数据库交互4 6 5 3 1 数据库交互语句4 7 5 3 2w 曲页面建模4 8 5 3 3 分析模型4 9 5 4 测试生成5 0 5 5d 、结5 3 第6 章组合和交互导向的w e b 建模和测试5 4 6 1 简j 个5 4 6 2w e b 麻用的建模5 5 6 3 带浏览器交且的w e b 页面的特征化5 6 6 3 1w 曲导航模型5 8 6 3 2 形式化导航模型6 0 6 4 测试生成6 l 6 5 测试序列的优化6 3 6 6 ，j 、结6 6 第7 章基于浏览器交互的测试用例自动生成工具原型的设计与实现6 7 7 1 引言6 7 7 2u m l 状态图转换成带浏览器交互的f s m 模型6 8 7 3f s m 模型转换成f s m 测试树7 5 7 4 测试用例的生成7 8 7 5 一个运行实例8 2 7 6 ，j 、结8 6 第8 章结束语8 7 8 1 主要贡献8 7 8 2 将米的1 ：作。8 8 参考文献8 9 攻读博士学位期间发表的论文和软件著作权9 5 攻读博士学位期间参与的课题9 7 致谢9 8 v i 上海人学博上学位论文 插图清单 图2 1模型检测器工作原理1 5 图3 1 运行实例2 0 图3 2 带浏览器交互和p d r 的o n - t h e f l y 导航模型2 6 图3 3 从o n t h e f l y 导航模型中派生的f s m t t 2 9 图4 1w e b 数据库应用s g r s 3 3 图4 2s g r s 示例的g f s m 3 6 图4 3g f s mt e s t t r e e 3 7 图5 1页面z ，啦1 a s p x 的源代码4 5 图5 2 l o g i n a s p x c s 的源代码4 5 图5 3 u s e r v i e w a s p x 的源代码4 5 图5 4 网页m o d i f y p w d a s p x 的源代码4 6 图5 5 m o d i f y p w d a s p x c s 的源代码。4 6 图5 6 带输入约束的l o g i n a s p x 的f s m 表示4 8 图5 7 u s e r v i e w a s p x 的f s m 表示4 8 图5 8 带输入约束的m o d i f y p w d a s p x 的f s m 表示4 9 图5 9 不带输入约束的l o g i n a s p x 的f s m 表示4 9 图5 1o 不带输入约束的m o d i f y p w d a s p x 的f s m 表示4 9 图5 11l o g n a s p x 中l o g i n 事件触发的c f g 4 9 图5 1 2 l o g i n a s p x 中r e s e t 事件触发的c f g 5 0 图5 13 m o d i f y p w d a s p x 中m o d i f y 事件触发的c f g 一5 0 图5 14m o d i f y p w d a s p x 中r e s e t 事件触发的c f g 5 0 图5 15带数据库交互的示例s i m s 的e d g m s 5 l 图5 1 6 带数据库交互的示例s i m s 的f s m 5 1 图5 17 有f s m 派生出的f s mt e s t t r e e 5 2 图6 1示例s d w a 的功能模块。5 5 图6 2 功能模块u s e rr e g i s t e r 5 5 图6 3 功能模块u s e rl o g i n 5 5 图6 4 登录前的s o u r c ed o w n l o a d 功能模块5 6 图6 5 登录后的s o u r c ed o w n l o a d 功能模块5 6 图6 6 不带w e b 浏览器交互的s d w a 导航模型5 7 图6 7 带浏览器交互的s d w a 导航模型。6 0 图6 8由导航模型派生的f s m - t t 6 1 v n i ：海人学博：l ：学位论文 图6 9f s m 们的优化6 4 图6 1o 优化后的f s m - t t 6 5 图7 。1w e b 应用的页面导航图- 6 8 图7 2 学生成绩检索系统8 2 图7 3 加载x m i 文件。8 3 图7 4x m i 文件的矩阵存储。8 3 图7 6f s m 测试树8 5 图7 7 测试用例8 5 v i l l i ：海人学博i ：学位论义 第1 章绪论 w e b 应用的巨大成功和不断发展，使其渗透到国计民生、商业领域和个人生 活的各个方面。人们只要使用浏览器，就可以享受到各种各样的w e b 服务，例 如电子政务、网上购物、网上交易、网络游戏、网上订票、网格计算等。这些 w e b 应用的质量将直接影响人们的生活和工作。因此，从w e b 应用出现之日起， 它在给大家带来巨大方便的同时也给软件的开发人员提出了一个不可忽视的问 题，那就是如何保证这些应用的质量。软件测试是软件质量保证中的关键技术， 因此，有效地测试w e b 应用成为保证w e b 应用质量的一种重要途径。自从w e b 应用出现之日起，它就成为了一个交互式媒介而盛行于i n t e r n e t 之中。随着公共 网关接口( c g i ) 和h t m l 表单的引入，交互式w e b 应用通过表单、单选按钮、 选择菜单等提供简单形式的交互。w e b 页和链接是根据用户的输入动态产生的。 随着w e b 应用的不断演化和新技术的出现，大量构件、中间件和数据库等在w e b 应用中得到广泛应用，w e b 应用的交互也有了新的发展。w e b 应用交互包括：用 户同w e b 页面的交互、w e b 浏览器的交互、w e b 数据库的交互以及w e b 中构件 和构件之间的交互等。w e b 应用的交互直接影响w e b 应用的功能性和安全性。 w e b 应用的交互特性已经成为了w e b 应用的主要特性之一。如何对这些交互进 行建模和测试，给软件开发人员提出了新的挑战。 1 1 研究背景 本文的主要研究目标是以w e b 应用为对象，研究w e b 应用中各种交互的建 模和测试。本文主要是在以下项目的资助下从事研究的：国家高技术研究发展计 划( 8 6 3 计划) ：基于模型的w e b 应用测试技术和工具的研究( 课题编号： 2 0 0 7 a a 0 1 2 1 4 4 ) 和国家自然科学基金：基于规格说明的w e b 应用测试方法研究 ( 批准号：6 0 6 7 3 1 1 5 ) 。w e b 应用和w e b 站点没有严格的定义区别，但最基本的 一条是，w e b 应用可以认为是充当用户接口，以处理服务器端业务逻辑的w e b 站点【l j 。w e b 应用已经成为发展最快的一种软件类型。 随着网络技术和i n t e m e t 的迅速发展，w e b 应用已成为人们交付各种应用的 主要平台。而目前w e b 应用设计的现状是：一方面，随着应用程序由以文档为 中心向以w e b 应用为中心发展，以往简单的基于w e b 页面的开发方法已经不再 适用，人们迫切需要采用系统化的方法开发w e b 应用；另一方面，由于w e b 应 l ：海人学博上学位论文 用和传统应用相比有着本质区别，使得传统的软件工程方法在w e b 应用的开发 中显得力不从心。为解决这个问题，w e b 应用的工程化方法已经成为w e b 应用 开发研究的热点。这些研究旨在提供全面支持w e b 应用开发生命周期的模型和 方法。w e b 应用的工程方法的一个主要目的是帮助设计者用结构化方法来处理 w e b 应用的特性，包括链接、导航、超媒体表示等。目前w e b 应用的复杂性正 r 益增加，任何稍微复杂一点的系统都需要经过仔细的设计和建模。另一方面， w e b 应用中存在大量的各种各样的交互，这些交互进一步加剧了w e b 的复杂性。 因此，迫切需要一套系统化的w e b 应用的建模方法和测试方法。 1 2w e b 应用的特性 i n t e m e t 的普及以及分布式计算、基于构件的开发和w e bs e r v i c e s 等技术的 迅速发展和应用使w e b 应用渗透到国计民生的各个领域。w e b 应用已普遍用于 在线计算、购物、航班和客房预定、拍卖、投票和电子政务等等。w e b 应用的质 量将直接影响人们的生活和工作。 随着网络技术的快速发展和近些年的相关研究工作，w 曲应用的功能变得越 来越强大。传统商业、教育等软件由传统的应用软件向w e b 应用程序过渡，w e b 应用日趋广泛。同时，对w e b 应用的测试研究工作相对来说刚刚起步，这也意 味着如果不能够对其进行很好的测试来保证其质量，那么将带来的潜在危险也会 很大。 相比传统的单机和分布式的应用软件，w e b 应用具有以下的特性： ( 1 ) 异构性。传统应用软件通常运行在一个给定的环境，而w e b 应用常常要面临 兼容性和互操作性问题。w e b 应用