《jml在市场网络管理平台的应用》由会员分享，可在线阅读，更多相关《jml在市场网络管理平台的应用（59页珍藏版）》请在金锄头文库上搜索。
1、中山大学 硕士学位论文 JML在市场网络管理平台的应用 姓名：冯炜 申请学位级别：硕士 专业：软件工程 指导教师：周晓聪 20090526 论文题目： 专业： 硕士生： 指导教I ) O i ： J M L 在市场网络管理平台项目中的应用 软件工程 冯炜 周晓聪副教授 摘要 单元测试作为软件测试的一个重要的组成部分，它是软件测试中最小最基 本的测试单位。单元测试是提高软件质量的一个有效途径，然而进行单元测试 的成本却相当大。随着现今软件的规模和复杂程度迅速提高，如何高效率地进 行单元测试，开始受到开发者的重视。J M L ( J a v aM o d e l i n gL a n g u a
2、g e ) 语言是 一种精确的形式规范描述语言，能准确表达方法的功能需求，且J M L 在形式 规范的基础上，可以利用自身开发的工具进行高效率的单元测试。 本文针对J M L 在一个实际开发项目中的应用，研究如何使用J M L 提高软 件的质量。首先，根据聚晖科技有限公司的具体业务流程，使用J M L 语言描述 聚晖市场网络管理平台项目功能模块的形式规范。J M L 可精确地表达系统功能 模块的行为规范，避免了使用自然语言产生的需求不精确、可能产生歧义的问 题。然后，在市场网络管理平台项目中整合J M L 的单元测试工具，开发出能够 方便利用J M L 形式规范进行单元测试的工具，改进了J M
3、 L 单元测试工具的输 入测试数据的过程，提高了使用该单元测试工具的效率。最后，通过使用一些 项目中的实例将利用J M L 进行的单元测试与传统的单元测试进行了分析比较。 通过J M L 在聚晖市场网络管理平台上的应用，证明了使用J M L 能够较好 的提高项目开发的效率。J M L 提供了一种更好的描述模块行为规范的方法，使 用J M L 的单元测试工具可以快捷准确地查出程序中的大部分错误，测试结果理 想。 关健词：J M L ，形式规范，单元测试，自动化工具 T i t i e ： M a j o r ： N a m e ： S u p e r v i s o r ： T h ea p p
4、 l i c a t i o no fJ M Li nt h eM a r k e tC y b e r i z i n gP l a t f o r m S o f t w a r eE n g i n e e r i n g F e n g W e i A s s o c i a t eP r o f e s s o rZ h o uX i a o c o n g A b s t r a c t U n i tt e s t i n gi st h em o s ti m p o r t a n tp a r to fS o f t w a r eT e s t i n g ；i tt e
5、 s t st h em i n i m a l s o f t w a r ec o m p o n e n t U n i tt e s t i n gi sa l s oa l le f f e c t i v ea p p r o a c ht o i n c r e a s i n gt h e q u a l i t yo fs o f t w a r e B u tu n f o r t u n a t e l y , t h ec o s to fu n i tt e s t i n gc o m eO u tt ob e l a b o r - i n t e n s i v
6、 e A st h er a p i d l yi n c r e a s i n go ft h es c a l ea n dt h ec o m p l e x i t yo fs o t h , v a r e ， h o wt oe x e c u t ee f f i c i e n tu n i tt e s t i n gb e c o m et h eh o tt o p i c J M L ( J a v aM o d e l i n g l a n g u a g e ) i sas p e c i f i cb e h a v i o r a li n t e r f
7、a c es p e c i f i c a t i o nl a n g u a g e B yu s i n gJ M L ，a d e v e l o p e rc a nd e s c r i b et h ed e t a i lb e h a v i o r a lo fas o f t w a r em o d u l e A n db yu s i n gt h e t o o l sw h i c ha r ep a c k a g e dw i t hJ M L ，o n eC a ne x e c u t ee f f i c i e n tu n i tt e s t
8、i n gb a s e do n t h eJ M L s p e c i f i c a t i o n I nt h i sp a p e r , b ya p p l y i n gJ M Lt ot h eM a r k e tC y b e r i z i n gM a n a g i n gP l a t f o r m p r o j e c t , w es t u d yJ V L sf e a t u r ea n dh o wt ou s eJ M Li nd e v e l o p m e n t F i r s t , w e a n a l y z et h eb
9、 u s i n e s sp r o c e s so fT r i S u nE l e c t r o n i cC o L t da n du s eJ M Lt os p e c i f y t h eb e h a v i o ro fs y s t e mf u n c t i o nm o d u l e s T h eJ M Ls p e c i f i c a t i o ne x p r e s s e st h e b e h a v i o ro ft h em o d u l ef u n c t i o ne x p l i c i t l y B e n e f
10、 i t i n gf r o mt h e 删sm o d e l i n g f e a t u r e ，t h eJ M Ls p e c i f i c a t i o ne l i m i n a t e st h ea m b i g u i t yo ft h en a t u r a ll a n g u a g e s p e c i f i c a t i o n A n ds e c o n d ，W ei n t e g r a t e dt h eJ M L u n i tt e s t i n gt o o l si n t ot h ep r o j e c t
11、 , a n dt h e nd e v e l o ps o m ew e bt e s t i n gt o o l st om a k et h eu s i n go ft h eJ M Lu n i tt e s tm u c h e a s i e r T h et o o l sa l s oh a v ei m p r o v e m e n ti nt h ei n p u to ft e s td a t ai nt h eJ M Lu n i t t e s t i n g , w h i c hp r o v i d e sm u c hb e t t e re f f
12、 i c i e n c y A tl a s t ，w eu s et h eJ M L u n i tt e s t i n g t o o l st ot e s tt h ef u n c t i o nm o d u l e so ft h ep r o j e c ta n dg e tt h et e s tr e s u l t F i n a l l y , w e u s es o m ec a s e st oc o m p a r et h ep e r f o r m a n c eo ft h eJ M Lu n i tt e s t i n gt o o l s
13、、7 l ，i t l lt h e c u r r e n t l ye x i s t i n gu n i tt e s t i n gw a y T h ea p p l i c a t i o no fJ M Li nt h eM a r k e tC y b e r i z i n gM a n a g i n gP l a t f o r mp r o j e c t , p r o v e dt h a tu s i n gJ M L i nd e v e l o p m e n tC a l li m p r o v et h ed e v e l o pe f f i c
14、i e n c y T h eJ M L s p e c i f i c a t i o ng i v e sab e t t e rw a yt od e s c r i b ef u n c t i o nb e h a v i o ra n dt h eJ M L u n i t t e s t i n gt o o l sC a nd e t e c tm o s te r r o r si nt h em o d u l ep r o g r a m K e y w o r d s ：J M L ，S p e c i f i c a t i o n , U n i tt e s t
15、i n g ，A u t o m a t i o n 学位论文原创性声明 本人郑重声明：所呈交的学位论文，是本人在导师的指 导下，独立进行研究工作所取得的成果。除文中已经注明引 用的内容外，本论文不包含任何其他个人或集体已经发表或 撰写过的作品成果。对本文的研究作出重要贡献的个人和集 体，均已在文中以明确方式标明。本人完全意识到本声明的 法律结果由本人承担。 学位论文作者签名：吗讳 E l 期：尹年爹月3 。日 学位论文使用授权声明 本人完全了解中山大学有关保留、使用学位论文的规定， 即：学校有权保留学位论文并向国家主管部门或其指定机构送 交论文的电子版和纸质版，有权将学位论文用于非赢利目的的
16、 少量复制并允许论文进入学校图书馆、院系资料室被查阅，有 权将学位论文的内容编入有关数据库进行检索，可以采用复印、 缩印或其他方法保存学位论文。保密的学位论文在解密后使用 本规定。 学位论文作者签名：塌炜 日期：I 州7 年纩月；夕E t 导师签名： E l 期：洲歹年 ， 日 “以J 如 日月 J M L 在市场网络管理平台项目中的应用第一章绪论 1 1 研究的背景及意义 第一章绪论 软件测试是软件开发中不可或缺的一部分，而软件测试中随着开发的系统 越来越复杂，系统规模越来越大，使得软件测试越来越困难，开发者从事测试 工作的成本也随之变大。到了现在，公司进行测试的工作量甚至变得比软件开 发要多得多。从而如何简化软件测试流程，提高测试者测试系统的效率，成为 软件开发中最受人关注的问题之一。 单元测试作为软件测试的一个重要的组成部分，它是软件测试中最小最基 本的测试单位【l 】。如果能够大幅度的简化系统的单元测试，把开发者从大量的 单元测试中解放出来，那么软件测试效率自然就能够得到大大的提升。 单
