收藏本站
《浙江理工大学》 2010年
收藏 | 手机打开
二维码
手机客户端打开本文

基于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例子验证我们的方法。
【学位授予单位】:浙江理工大学
【学位级别】:硕士
【学位授予年份】:2010
【分类号】:TP311.52

手机知网App
【引证文献】
中国硕士学位论文全文数据库 前2条
1 杜杰;基于模型检测的UML一致性检验与测试用例生成[D];南京航空航天大学;2012年
2 贺蕃蕃;基于UML的高等院校教务管理系统设计与实现[D];湖南大学;2011年
【参考文献】
中国期刊全文数据库 前4条
1 董威,王戟,郑延平,齐治昌;UML状态机的模型检验方法[J];计算机工程与科学;2001年06期
2 李留英,王戟,齐治昌;UML Statechart图的操作语义[J];软件学报;2001年12期
3 朱筱筱,董路明;着色Petri网在UML建模中的应用[J];现代图书情报技术;2004年02期
4 郭壮辉;胡柯;;基于Petri网模型的典型技术及其应用[J];系统仿真技术;2006年02期
中国博士学位论文全文数据库 前1条
1 祖旭;基于Petri网理论的产品开发过程建模方法研究[D];大连理工大学;2005年
中国硕士学位论文全文数据库 前4条
1 徐超;随机Petri网可视化分析软件系统的设计[D];天津大学;2003年
2 王巧丽;SPIN模型检测的研究与应用[D];贵州大学;2006年
3 孙莹;Petri网和UML在建模过程中的转换机制研究[D];大连海事大学;2008年
4 单卓为;基于SPIN的UML模型验证技术的研究[D];西北大学;2008年
【共引文献】
中国期刊全文数据库 前10条
1 方冉;陈乃金;;基于S3C44B0X处理器触摸屏接口的设计与测试[J];安徽工程科技学院学报(自然科学版);2010年02期
2 金莹;丁峰;;广义随机Petri网在工作流建模中的应用研究[J];安庆师范学院学报(自然科学版);2010年01期
3 邵志芳;钱省三;刘仲英;;基于Petrinet的半导体代工系统建模及案例研究[J];半导体技术;2006年11期
4 汪亚男,王明哲;赋时着色Petri网在建模仿真中的应用[J];兵工自动化;2005年01期
5 郭建章;王明哲;;基于Petri网的排队网分析方法[J];兵工自动化;2006年07期
6 王娜;罗小明;;基于模糊Petri网的推理算法在C~4ISR系统效能评估中的应用[J];兵工自动化;2008年05期
7 韦雪洁;刘金梅;姚晓琼;李国洪;;CAN总线通信过程实时性能的仿真计算[J];兵工自动化;2008年06期
8 宋朝河;戴羽;;基于面向对象Petri网的侦察配系评估模型[J];兵工自动化;2009年04期
9 刘学程;张乾;蔡强;王骏;陈煜;;基于CPN的维修保障资源配置建模与仿真方法[J];兵工自动化;2009年09期
10 熊杰;刘湘伟;周国辉;;基于MC的电子对抗情报系统ESCPN模型性能分析[J];兵工自动化;2010年08期
中国重要会议论文全文数据库 前10条
1 岳昊;李文杰;陈宝兴;;Petri网系统本原有效受控可重复向量分析[A];中国自动化学会控制理论专业委员会B卷[C];2011年
2 阿孜古丽;刘建明;刘洁卉;;基于Petri网的业务流程评估[A];着力提高高等教育质量,努力增强高校创新与服务能力——北京市高等教育学会2007年学术年会论文集(下册)[C];2008年
3 葛丹;郑会颂;姚国章;;应急管理工作流模型的研究[A];节能环保 和谐发展——2007中国科协年会论文集(一)[C];2007年
4 马玉琨;陆彦辉;杨守义;;OFDMA系统中接纳控制的Petri网模型[A];第十届中国科协年会论文集(三)[C];2008年
5 陆公正;张广泉;;UML状态图中的数据流语义[A];2006年全国理论计算机科学学术年会论文集[C];2006年
6 鲁志兵;胡金柱;胡燕;焦金丹;舒江波;;门户网自助系统的扩展有色Petri网建模与分析[A];2006年全国开放式分布与并行计算机学术会议论文集(三)[C];2006年
7 塔娜;刘慧;邵大欣;;网络系统可用度全面评估方法研究[A];中国企业运筹学[C];2009年
8 王小梅;朱诗兵;王新波;;军事航天信息网络的Petri网建模与分析[A];2008通信理论与技术新进展——第十三届全国青年通信学术会议论文集(上)[C];2008年
9 常欣;袁华;逄焕利;胡亮;王喆;王小虎;;基于Petri网的分布式计算机网络模型研究[A];中国通信学会第六届学术年会论文集(中)[C];2009年
10 罗纤夫;李艺;王小梅;;基于Petri网的导弹预警系统建模分析[A];'2010系统仿真技术及其应用学术会议论文集[C];2010年
中国博士学位论文全文数据库 前10条
1 刘心;基于Petri网的FMS建模及故障诊断方法研究[D];哈尔滨工程大学;2010年
2 宋巍;Web服务组合动态演化技术研究[D];南京大学;2010年
3 车建华;虚拟计算系统性能与可用性评测方法研究[D];浙江大学;2010年
4 赵亮;Web服务组合性能建模与分析[D];武汉大学;2009年
5 曹源;高速铁路列车运行控制系统的形式化建模与验证方法研究[D];北京交通大学;2011年
6 吕继东;列车运行控制系统分层形式化建模与验证分析[D];北京交通大学;2011年
7 梅樱;城轨车辆新型网络控制系统的调度、建模及优化[D];北京交通大学;2011年
8 杨斯淇;危险货物运输管理流程优化与系统实现[D];吉林大学;2011年
9 魏领会;数控机床可用性耦合建模及影响度分析[D];吉林大学;2011年
10 陈辉;控制网络节点通信协议栈可重构自组织研究[D];华中科技大学;2011年
中国硕士学位论文全文数据库 前10条
1 刘炎培;基于扩展OOPN业务流程建模及异常处理模型研究[D];南昌航空大学;2010年
2 杨磊;基于面向对象Petri网的企业间工作流建模研究[D];山东科技大学;2010年
3 李蕾;有色Petri网的动态性质判定及其在组装生产线中的应用[D];山东科技大学;2010年
4 孙海春;C_net到可编译表达式的映射方法[D];山东科技大学;2010年
5 王廷刚;Petri网表征语言和可达性分析[D];山东科技大学;2010年
6 吕楠;基于层次颜色Petri网的协同工作流的建模与分析[D];山东科技大学;2010年
7 肖露娟;Web服务组合性能分析[D];浙江理工大学;2010年
8 王佳慧;基于面向对象的随机Petri网图形建模与分析工具的开发[D];郑州大学;2010年
9 梁永会;面向网格服务的SWAT模型集成体系研究[D];郑州大学;2010年
10 李建民;AUV水下回收预测与协调控制技术研究[D];哈尔滨工程大学;2010年
【同被引文献】
中国期刊全文数据库 前10条
1 张姝;张广泉;;UML顺序图的一种形式化描述方法[J];重庆师范大学学报(自然科学版);2007年03期
2 陈利民;信息化社会与网络教育[J];大连理工大学学报(社会科学版);2001年04期
3 梁陈良;聂长海;徐宝文;陈振宇;;一种基于模型检验的类测试用例生成方法[J];东南大学学报(自然科学版);2007年05期
4 赵伟;李宏滨;;基于UML的教务系统设计方法研究[J];电脑知识与技术;2009年35期
5 王磊;;基于UML和RUL设计高职院校教务管理系统的研究[J];电脑知识与技术;2010年12期
6 窦立莉;;基于C/S和B/S结构的高校教务管理系统设计和实现[J];电脑知识与技术;2010年24期
7 林惠民,张文辉;模型检测:理论、方法与应用[J];电子学报;2002年S1期
8 陈智军;;UML建模在教务管理系统中的应用[J];福建电脑;2010年11期
9 姬莉霞;李俊锋;张雷;;实时系统验证工具UPPAAL[J];光盘技术;2006年01期
10 朱晓波;杨伟民;叶芯;;更改条件/判定覆盖最小真值表生成算法及其应用[J];上海理工大学学报;2007年01期
中国博士学位论文全文数据库 前2条
1 董威;面向UML的模型检验研究[D];中国人民解放军国防科学技术大学;2002年
2 李军义;软件测试用例自动生成技术研究[D];湖南大学;2008年
中国硕士学位论文全文数据库 前10条
1 吕审;NuSMV模型检测的研究及应用[D];武汉理工大学;2011年
2 殷琴;高职院校教务管理系统分析与设计[D];北京邮电大学;2010年
3 曹爽;航空软件测试用例自动生成方法研究[D];南京航空航天大学;2010年
4 郭晋伟;SOA架构的管理信息系统设计与实现[D];中国科学院研究生院(沈阳计算技术研究所);2006年
5 唐春艳;基于模型检测的类测试自动生成技术研究[D];广西大学;2007年
6 黎吾平;模型检测在软件方面的应用[D];吉林大学;2008年
7 韩萌;基于SOA的教学资源系统的研究与实现[D];北京交通大学;2008年
8 马亮;基于软件需求建模的测试用例自动生成工具的研究[D];中国航天第二研究院;2008年
9 王锋华;航空类软件测试方法的研究与实施[D];北京邮电大学;2008年
10 陈卉;UML顺序图和状态图的形式化方法研究[D];南京师范大学;2008年
【二级参考文献】
中国期刊全文数据库 前10条
1 冯富霞;李森贵;;基于XMI的UML模型转换到XML Schema的研究[J];安徽工程科技学院学报(自然科学版);2007年02期
2 郭峰;姚淑珍;;基于Petri网的UML状态图的形式化模型[J];北京航空航天大学学报;2007年02期
3 张广泉;关于软件形式化方法[J];重庆师范学院学报(自然科学版);2002年02期
4 乐晓波,陈黎静;Petri网应用综述[J];长沙交通学院学报;2004年02期
5 黄洪钟,祖旭,张旭;基于Matlab/Simulink的键合图仿真[J];大连理工大学学报;2003年05期
6 林惠民,张文辉;模型检测:理论、方法与应用[J];电子学报;2002年S1期
7 陈火旺,王戟,董威;高可信软件工程技术[J];电子学报;2003年S1期
8 鲍震宁 ,张洵 ,范玉顺;企业资源建模方法研究[J];航空制造技术;2002年12期
9 曾小伟,向华,陈吉红,黄菲;Petri网可视化工具的设计与实现[J];华中科技大学学报(自然科学版);2002年06期
10 陈传波,谢文君;一种基于PNML的工作流模型的实现[J];华中科技大学学报(自然科学版);2004年10期
中国博士学位论文全文数据库 前2条
1 董威;面向UML的模型检验研究[D];中国人民解放军国防科学技术大学;2002年
2 李留英;UML测试技术的研究与实现[D];中国人民解放军国防科学技术大学;2000年
中国硕士学位论文全文数据库 前10条
1 呙涛;用PETRI网对智能交通系统建模[D];西南师范大学;2001年
2 熊惠明;Petri网在FMS中的若干应用研究[D];西安电子科技大学;2004年
3 袁庆喜;Petri网在市场营销中的应用研究[D];西安建筑科技大学;2004年
4 李俊伟;基于混杂Petri网的交通流建模[D];北京工业大学;2004年
5 周长红;UML图的Petri网建模[D];山东科技大学;2004年
6 姚晓玲;基于SBOPN的UML模型的正确性验证[D];山东科技大学;2004年
7 徐新;Petri网分析工具:PTAnalyser的设计与实现[D];大连理工大学;2006年
8 张文静;基于UML和形式化方法的软件体系结构研究与应用[D];华北电力大学(河北);2006年
9 燕昊;UML建模的形式化研究[D];兰州大学;2006年
10 吴刚;基于UML的面向方面建模研究与实现[D];西北大学;2006年
【相似文献】
中国期刊全文数据库 前10条
1 张志斌,赵宝君;HYDIS(V3.0)软件系统在内蒙古水文数据库建设中运用的体会[J];内蒙古水利;1997年04期
2 杨英;汤立宏;;个人计算机维护初探[J];赤峰学院学报(自然科学版);2008年12期
3 张硕云;武小悦;刘琦;;装备可靠性Bayes试验评定软件系统设计[J];电子产品可靠性与环境试验;2008年06期
4 张左之;;进入21世纪中国竞争情报发展的回顾及未来展望[J];图书情报工作;2009年12期
5 王文琦;邱文琳;周鸣籁;;基于双核处理器的电能质量监测系统的设计[J];电工电气;2010年10期
6 侯瑞刚;姜于亮;嵇尚珠;;基于ARM和Linux的嵌入式汽车记录仪的研制[J];科技创新导报;2010年29期
7 刘爱国;张红波;;某型加速度计测试系统的实现[J];福建电脑;2011年04期
8 任利兵;尉昊赟;李岩;;中红外傅里叶气体分析软件系统的设计[J];光学仪器;2010年06期
9 许旭;;硬件设备安全运行与维护策略[J];中国石油和化工标准与质量;2011年07期
10 李松清 ,滕剑虹 ,薛宏;软件开发工具APC系统[J];计算机工程与设计;1986年05期
中国重要会议论文全文数据库 前10条
1 张夏林;吴冲龙;翁正平;田宜平;刘刚;何珍文;綦广;李章林;孙卡;陈国旭;;数字矿山软件架构与关键技术研究[A];第八届全国采矿学术会议论文集[C];2009年
2 李闽峰;李圣强;;测震学综合应用软件系统简介[A];中国地球物理学会年刊2002——中国地球物理学会第十八届年会论文集[C];2002年
3 王红艳;刘黎平;肖艳娇;王改利;庄薇;张志强;;多普勒天气雷达三维数字组网系统开发及应用[A];2008年海峡两岸气象科学技术研讨会论文集[C];2008年
4 廖绍华;曹华军;杜彦斌;刘飞;李先广;陈时权;;综合废旧机床再制造测试与评价支持系统开发及应用[A];2009海峡两岸机械科技论坛论文集[C];2009年
5 廖绍华;曹华军;杜彦斌;刘飞;李先广;陈时权;;综合废旧机床再制造测试与评价支持系统开发及应用[A];十三省区市机械工程学会第五届科技论坛论文集[C];2009年
6 ;致谢[A];第十一届全国数据库学术会议论文集[C];1993年
7 马纲;朱玉枫;俞萍萍;王育新;邵毓;;视功能诊疗软件系统治疗低幼儿童屈光不正性弱视的疗效观察[A];浙江省中医药学会眼科分会中医眼科现代化学术交流会暨继续教育学习班资料[C];2005年
8 楼凤丹;;输变电设备状态检修评估分析软件系统[A];衢州市自然科学优秀论文选编(2001-2004)[C];2005年
9 李晓玲;;关于辽宁省林业计算机信息网络化的探讨[A];全面建设小康社会:中国科技工作者的历史责任——中国科协2003年学术年会论文集(下)[C];2003年
10 王海涛;吴宜灿;李亚洲;胡丽琴;刘萍;袁润;曹兴焕;李媛媛;;核电站风险监测器软件开发研究[A];第十二届反应堆数值计算与粒子输运学术会议论文集[C];2008年
中国重要报纸全文数据库 前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 刘磊;银行软件系统,外来的和尚会念经?[N];中国计算机报;2005年
10 汤洪波、丁猛、黄双权;升级软件系统 联通作战要素[N];战士报;2011年
中国博士学位论文全文数据库 前10条
1 李钦;面向模型的组合理论研究[D];华东师范大学;2011年
2 李桓;基于复杂网络的软件结构复杂性分析与建模[D];武汉大学;2009年
3 薛兴亚;复杂未知样品气相色谱分离分析理论基础研究[D];中国科学院研究生院(大连化学物理研究所);2004年
4 谢丹;油气藏经营管理模式及数字油气藏设计与应用[D];西南石油学院;2005年
5 胡天翔;智能对靶喷雾机软件系统设计与集成研究[D];南京林业大学;2009年
6 文环明;分形测井解释理论方法研究[D];成都理工大学;2003年
7 崔广迪;矿产资源定量预测系统开发与应用[D];吉林大学;2013年
8 王姝音;网构软件系统可信模型研究[D];哈尔滨工程大学;2013年
9 张贵霞;GPS掩星振幅反演的若干问题研究[D];中国科学院研究生院(上海天文台);2004年
10 赵连锋;井间地震波速与衰减联合层析成像方法研究[D];成都理工大学;2002年
中国硕士学位论文全文数据库 前10条
1 曾昭毅;对B/S结构软件系统开发模式的研究[D];武汉理工大学;2003年
2 刘建中;软件系统加密研究[D];解放军信息工程大学;2004年
3 张志锋;图像变换技术在数字散斑相关方法中的应用研究[D];天津大学;2005年
4 徐慧博;机器视觉测量系统的精度研究[D];合肥工业大学;2006年
5 袁其源;基于PMAC的磨料水射流数控切割软件系统的研究[D];西华大学;2008年
6 刘晓敏;分形软件系统在江西省大吉山钨矿矿产预测中的应用[D];中国地质大学(北京);2009年
7 徐娜;移动社会性软件系统中位置隐私机制研究[D];山东师范大学;2010年
8 黄雯;移动社会性软件系统中搜索关键技术研究[D];山东师范大学;2010年
9 仇娜;移动社会性软件系统中激励机制的研究[D];山东师范大学;2011年
10 何洪生;教育机器人软件系统的设计与开发[D];东北大学;2008年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026