《基于组件软件系统的测试用例自动生成方法》由会员分享，可在线阅读，更多相关《基于组件软件系统的测试用例自动生成方法（56页珍藏版）》请在金锄头文库上搜索。
1、上海大学 硕士学位论文 基于组件软件系统的测试用例自动生成方法 姓名：童翠玲 申请学位级别：硕士 专业：计算机应用技术 指导教师：缪淮扣 20040201 上海大学硕士学位论文 T H EP O S T G R A D U A T ET H E S I SO FS H A N G H A IU N I V E R S I T Y 摘要 基于组件的软件工程正逐渐被人们用来进行软件开发，这种把可重用的组件 作为构建软件块的方法使得软件系统的扩展和改进变得非常容易。同时，它提高 了软件的质量和生产效率。虽然人们在开发基于组件的软件系统方面取得了颇有 成效的进展，但是在测试基于组件的软件方面进展却缓慢
2、。而测试又是软件开发 过程中的一个不可缺少的重要阶段。在这个阶段中，通过实际运行程序发现软件 自身所存在的缺陷。 然而，由于基于组件的软件自身的一些特点，传统的一些测试方法通常不 能直接用来测试基于组件的软件。例如，由于组件实现的透明性，组件的源码通 常是不可用的，在这种情况下，基于源码的白盒测试就不能直接用来测试。因而 就非常需要一些新的技术测试和维护基于组件的软件。 本文提出一种测试基于组件的软件方法，它首先假设每个组件是面向对象 的，即组件由有状态和行为的对象组成。状态由每个对象的状态变量决定，行为 则由那些对一个或者多个对象进行读取操作或改变状态变量的方法决定。我们把 状态和行为表示成
3、组件状态机。在组件状态机中，状态来源于对状态变量的判定， 迁移则来源于每个方法的状态迁移规格说明。接着把这种有限状态机表示成一种 有向图。这个图的顶点由这个有限状态机的状态、条件( g u a r d s ) 和迁移组成， 边则由方法调用所引起的数据流和控制流组成。最后在这个有向图的基础上得到 一组覆盖了所有潜在的数据流的测试用例。这种测试方法充分考虑到了基于组件 软件这种类型软件的特征：缺乏组件的源码：仅使用了所提供组件的部分功能； 依赖于中间件：组装组件以及依赖于状态等组件特征。 本文的主要工作步骤如下：将组件状态机转换成U M L 状态图，利用工具R o s e 构建该U M L 状态图
4、，并导出X M I 格式的X M L 文件( 该X M L 文件包含了组件状态机 信息) ；然后利用M i c r o s o f t 的D O M ( 文档对象模型) 对X M L 文件进行语法和语 义分析，找到基于组件软件系统的数据流和控制流信息，并利用我们提出的算法 来构造该有向图；最后在这个有向图的基础上产生满足某个测试标准的测试用 例。 关键字：基于组件的软件工程，组件状态机，状态，U M L 状态图，行为，数据 流，控制流，测试用例，有向图 上海大学硕士学位论文 T H EP O S T G R A D U A T ET H E S I SO FS H A N G H A lU N
5、 I V E R S I T Y A b s t r a c t C o m p o n e n t - b a s e d s o f t w a r e e n g i n e e r i n g i s i n c r e a s i n g l yb e i n ga d o p t e d f o rs o f t w a r e d e v e l o p m e n t T h i sa p p r o a c h ，w h i c hu s e sr e u s e dc o m p o n e n t sa sb u i l d i n gb l o c kf o rc o
6、n s t r u c t i n g s o f t w a r e ，c a nf a c i l i t a t e f a s t - p a c e dd e l i v e r y o fs e a l a b l e e v o l v a b l es o f t w a r e s y s t e m s 1 ta l s o i m p r o v e s s o f t w a r e q u a l i t y a n d p r o d u c t i v i t y M u c h w o r kh a sb e e nd e v o t e dt o d e v
7、e l o p i n g i n f r a s t r u c t u r ef o rt h ec o n s t r u c t i o no fc o m p o n e n t - b a s e ds o f t w a r e ，b u tl e s sw o r kh a sb e e nd o n et o t e s tt h ec o m p o n e n t - b a s e ds o f t w a r e T e s t i n gi sa ni n d i s p e n s a b l ek e y p h a s es o f t w a r ed e
8、v e l o p m e n t p r o c e s s I nt h ep h a s e ，f a u l t se x i s t i n gi ns o f t w a r e w i l lb ed e t e c t e db y e x e c u t i n gp r o g r a mu n d e r t e s t H o w e v e r , t h et r a d i t i o n a lt e s t i n gm e t h o d sc a n t b eu s e dd i r e c t l yt ot e s t c o m p o n e n
9、 t b a s e d s o f t w a r ew i t hs o m ec h a r a c t e r i s t i c si t s e l EF o re x a m p l e ，w i t hi m p l e m e n t a t i o nt r a n s p a r e n c yt h e s o u r c ec o d eo fc o m p o n e n ti so f t e nn o ta v a i l a b l e ，a n di ns u c hc i r c u m s t a n c e sw h i t eb o xt e s t
10、 i n g ， w h i c hi s c o d e - b a s e d ，m a yn o tb ep o s s i b l e T h u s ，t h e r e i sas t r o n gn e e df o rn e w t e c h n i q u e sf o r t e s t i n ga n dm a i n t a i n i n gc o m p o n e n t b a s e ds o f t w a r e T h ep a p e rp r o p o s e sa na p p r o a c hf o rt e s t i n gc o
11、m p o n e n t - b a s e ds o f t w a r e ，w h i c hf i r s ta s s u m e e a c hc o m p o n e n ti so b j e c t o r i e n t e d ，i na n o t h e rw o r d ，c o m p o n e n tc o n s i s t so f o b j e c t sw i t hs t a t ea n d b e h a v i o r , w h e r es t a t ei sd e t e r m i n e db yt h ev a l u e
12、so fv a r i a b l e so ft h ec o m p o n e n t ，a n db e h a v i o ri s d e t e r m i n e db ym e t h o d sd e f i n e di nt h ec o m p o n e n tt h a to p e r a t eo no n eo rm o r eo b j e c t st or e a da n d m o d i f yt h e i rs t a t ev a r i a b l e s S t a t ea n db e h a v i o rw i l lb er
13、e p r e s e n t e da sc o m p o n e n ts t a t em a c h i n e ， w h i c hi sa s p e c i a lf i n i t es t a t em a c h i n e ，w h e r es t a t ei ss p e c i f i e db y t h es t a t ev a r i a b l e sa n dt r a n s i t i o n i ss p e c i f i e db ys t a t et r a n s i t i o ns p e c i f i c a t i o n
14、o f e a c hm e t h o di nt h ec o m p o n e n t A n dt h e n ，t h ef i n i t e s t a t em a c h i n ei s r e p r e s e n t e da s ad i r e c t e d g r a p h ，w h e r en o d e sc o n s i s to fs t a t e s ，g u a r d s a n d t r a n s i t i o n so ft h ef i n i t es t a t em a c h i n ea n de d g e sc
15、 o n s i s to ft h ec a u s i n gd a t aa n dc o n t r o lf l o wb y i n v o c a t i o no fm e t h o d s ，F i n a l l y , b a s e do nt h ed i r e c t e d g r a p h ，as e to ft e s tc a s e sc o v e r i n ga l l p o t e n t i a ld a t af l o wc a nb eg e n e r a t e d T h ea p p r o a c he x p l i c
16、 i t l yt a k e si n t oa c c o u n tt e s t i n g r e l e v a n t f e a t u r e so f c o m p o n e n t - b a s e ds o f t w a r e ：t h ea b s e n c eo fc o m p o n e n ts o u r c ec o d e ，t h eu s eo f as u b s e t o f p r o v i d e dc o m p o n e n tf u n c t i o n a l i t y , m i d d l e w a r ed e p e n d e n c y , c o m p o n e n ti n t e g r a t i o n ，a n d s t a t e - d e p e n dc o m p o n e n t b e h a v i o r T h em a i nw e r ko ft h ep a p e ri s f o I l o w e
