收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

基于UML的软件系统的功能性验证和非功能性度量

林红昌  
【摘要】: 随着软件系统的日益庞大,对软件的要求也越来越高,对软件模型的验证和性能的度量,受到前所未有的关注,同时基于统一建模语言(Unified Modeling Language, UML)[1][2]的软件设计方法也日益成为一种行业标准,因此从UML中获得一些需求和性能的信息,分析并发现系统中潜在的漏洞和性能瓶颈,将成为一种优秀的解决方法。 UML是一种通用的可视化建模语言,它具有建模方法直观、易于理解、便于表达和使用、代码生成等优点。但是UML语言缺少精确的形式化描述。而Petri网则是一个侧重描述动态行为的形式化描述语言,尤其能很好的描述系统的并发和分布系统[3]。 本文充分结合UML和Petri网这两种建模语言,互相取长补短:一方面可以对软件进行直观设计,另一方面可以描述软件的动态行为。首先将系统用UML进行描述,然后把带有非功能信息的UML状态图转换为Petri网模型,基于这个Petri网模型,我们可以验证功能性和对非功能性进行度量。 在功能性验证方面,过滤Petri网模型中的非功能信息,通过定义转换规则将Petri网转到模型检测工具SPIN的输入语言—PROMELA语言,我们将所要检查的功能用线性时序逻辑公式(LTL)表示。通过分析SPIN的运行结果和系统的执行路径,我们可以判断出该功能是否满足系统。 在非功能度量方面,我们将Petri网转化为随机Petri网(SPN),由于任何含有有穷个库所、有穷个变迁的连续时间的SPN同构于一个连续时间马尔可夫链[4]。在马尔科夫链模型的基础上,得出表示系统非功能性质的数学表达式,从而实现对系统可行性、安全性、性能效率等非功能性进行度量。 最后文中运用Service Robot例子验证我们的方法。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 兰天明;;基于UML计算机联锁控制系统的设计[J];电脑知识与技术;2008年14期
2 庾佳;;浅析基于UML模型的软件测试[J];才智;2009年34期
3 刘峰;王颍;伊文敏;;UML在信息管理系统需求分析中的应用[J];河北建筑工程学院学报;2006年02期
4 涂荣军,陶俊才,徐鹏飞;Rational统一过程中的Use Case业务建模[J];计算机与现代化;2002年06期
5 李天陵;;浅析UML对象建模技术及应用[J];科学咨询(决策管理);2009年12期
6 刘敬勇;钟勇;张立臣;;软件非功能需求的面向方面建模[J];计算机应用与软件;2010年12期
7 陆远蓉;;基于UML的“4+1”视图软件体系结构描述研究[J];现代计算机(专业版);2011年04期
8 麻志毅;面向对象方法与UML[J];信息技术与标准化;2003年05期
9 韩红宇;;标准建模语言UML综述[J];中国科技信息;2005年23期
10 吴印;张庆华;程国全;王转;董绍华;;基于UML配送中心管理信息系统的建模方法[J];物流技术;2006年01期
11 周妮;;基于UML学习管理系统的软件建模[J];考试周刊;2009年36期
12 张敏;;基于UML的机房管理系统的设计[J];福建电脑;2009年11期
13 夏美姣;;基于UML网上选课系统的研究[J];武汉航海(武汉航海职业技术学院学报);2006年03期
14 张太武;刘珊艳;;UML在系统需求分析中的应用[J];长江大学学报(自科版)理工卷;2006年01期
15 高晖;张莉;樊志强;;基于模板的软件体系结构描述技术[J];北京航空航天大学学报;2008年01期
16 陈建国;;充填测控系统与UML建模[J];中国西部科技;2008年06期
17 胡秀;王书爱;;基于UML的面向对象的系统建模[J];保山师专学报;2008年02期
18 程晓广;李会刚;姜清超;;基于UML的关系数据库设计与实现[J];硅谷;2008年12期
19 刘毅力;;基于UML的图书馆自建特色数据库的探索[J];现代情报;2009年02期
20 张太武;刘珊艳;;UML在系统需求分析中的应用[J];长江大学学报(自科版)医学卷;2006年01期
中国重要会议论文全文数据库 前10条
1 杨太明;李学俊;何彬方;张爱民;;基于UML和ArcEngine的农业保险气象服务系统[A];中国农业工程学会2011年学术年会论文集[C];2011年
2 张夏林;吴冲龙;翁正平;田宜平;刘刚;何珍文;綦广;李章林;孙卡;陈国旭;;数字矿山软件架构与关键技术研究[A];第八届全国采矿学术会议论文集[C];2009年
3 李闽峰;李圣强;;测震学综合应用软件系统简介[A];中国地球物理学会年刊2002——中国地球物理学会第十八届年会论文集[C];2002年
4 王红艳;刘黎平;肖艳娇;王改利;庄薇;张志强;;多普勒天气雷达三维数字组网系统开发及应用[A];2008年海峡两岸气象科学技术研讨会论文集[C];2008年
5 廖绍华;曹华军;杜彦斌;刘飞;李先广;陈时权;;综合废旧机床再制造测试与评价支持系统开发及应用[A];2009海峡两岸机械科技论坛论文集[C];2009年
6 廖绍华;曹华军;杜彦斌;刘飞;李先广;陈时权;;综合废旧机床再制造测试与评价支持系统开发及应用[A];十三省区市机械工程学会第五届科技论坛论文集[C];2009年
7 ;致谢[A];第十一届全国数据库学术会议论文集[C];1993年
8 王承松;毛晓光;雷晏;王燕妮;;基于UML的可信概念模型[A];第六届中国测试学术会议论文集[C];2010年
9 吴纬强;王生印;袁勇;;围护结构有限元分析系统实现与工程应用[A];第七届全国结构工程学术会议论文集(第Ⅲ卷)[C];1998年
10 王晓军;岳云飞;;架空光缆故障定位软件系统(PHCOGTS)原理[A];全国广播电影电视系统首届中青年优秀科技论文集[C];2001年
中国博士学位论文全文数据库 前10条
1 邓阿群;面向方面技术在大规模嵌入式软件中的应用[D];浙江大学;2007年
2 叶若思;商业外观权研究[D];吉林大学;2009年
3 唐姗;基于目标的高可信自适应容错软件开发方法研究[D];复旦大学;2011年
4 李钦;面向模型的组合理论研究[D];华东师范大学;2011年
5 王强;构件软件可靠性分析理论与方法研究[D];合肥工业大学;2012年
6 颜炯;基于UML的软件统计测试研究[D];国防科学技术大学;2005年
7 杨静;UML模型的语义模型[D];贵州大学;2006年
8 朱家诚;基于Web Services的客户定制产品设计系统研究[D];合肥工业大学;2005年
9 李桓;基于复杂网络的软件结构复杂性分析与建模[D];武汉大学;2009年
10 聂艳;耕地质量评价的模型方法与信息系统集成及应用研究[D];华中农业大学;2005年
中国硕士学位论文全文数据库 前10条
1 林红昌;基于UML的软件系统的功能性验证和非功能性度量[D];浙江理工大学;2010年
2 王珊珊;统一建模语言结合.NET框架在物流管理系统中的应用[D];吉林大学;2008年
3 周文亚;实时测控软件技术研究[D];西北工业大学;2007年
4 李凯;基于UML与J2EE的物流管理系统的设计与实现[D];吉林大学;2006年
5 赵晓宇;基于图书馆管理系统软件体系结构的设计与研究[D];天津大学;2006年
6 郑达;商业网站软件系统的设计与实现[D];华东师范大学;2008年
7 李相璞;移动终端非功能性测试系统的设计与应用[D];北京邮电大学;2010年
8 师勇;变电站工作票自动生成系统的设计和实现[D];山东大学;2006年
9 屈翔珍;基于UML和RUP的逆向工程及其对注塑分析软件(MPI)建模的应用[D];南昌大学;2007年
10 陈倩倩;基于实时UML对实时系统LTE无线通信系统信令子系统(RRC系统)建模[D];华东师范大学;2011年
中国重要报纸全文数据库 前10条
1 林洪岱;过硬的度假旅游软件系统[N];中国旅游报;2005年
2 刘丽霞;电算化会计档案应注意的问题[N];财会信报;2006年
3 刘振强通讯员 于飞 李正文;中国石油第一套协作与决策中心落户大港[N];中国石油报;2007年
4 林羽;汉王“易识”进入江浙市场 提升中小企业效率[N];中国高新技术产业导报;2008年
5 张文宝;我多媒体公告软件系统研发获新突破[N];科技日报;2007年
6 证券时报记者 彭妮;微软们当心,Google来了[N];证券时报;2007年
7 张春花;汉王“易识” 提升中小企业效率[N];大众科技报;2008年
8 赵宏 杨红玲;陕西省人民医院引进先进软件系统治疗脑瘫患儿[N];医药经济报;2004年
9 对外经济贸易大学信息学院 曹景广;用UML实现ERP系统建模(五)[N];国际商报;2002年
10 汤洪波、丁猛、黄双权;升级软件系统 联通作战要素[N];战士报;2011年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978