收藏本站
《江西师范大学》 2003年
收藏 | 手机打开
二维码
手机客户端打开本文

基于算法框架的软件设计及分析复用技术研究

漆志群  
【摘要】: 近年来,软件复用作为一种新技术之所以越来越引起人们的重视,是因为人们认识到要想提高软件的生产率,解决软件危机问题,软件复用是一个重要途径。但软件复用的潜力还远远没有发挥出来,软件不仅可以在代码级复用,而且可以在系统的需求分析、软件设计、编码、测试以及形成文档等各个开发阶段和各个层次上实现复用。目前及近期的未来最有可能产生显著效益的复用是对软件生命周期中一些主要开发阶段的软件制品的复用,主要包括代码复用、设计复用及分析复用。其中实现代码复用的技术已经日趋成熟,而实现设计复用特别是实现分析复用的技术还比较少。随着软件生产的规模不断加大,对软件生产率的要求不断提高,迫切需要解决更高抽象层次级别的复用问题。 本文提出的基于算法框架的软件设计及分析复用技术是利用薛锦云教授提出的PAR方法,对算法程序进行形式化推导,得到其抽象算法。抽象算法的得出可以使设计出的算法适应面更广,复用性更高,在一定程度上实现了设计及分析复用。而代码的复用则通过JAVA语言来实现。利用JAVA语言的继承和多态性,通过使用抽象类或接口来实现操作的参数化,以达到代码的复用。 本文以软件复用和形式化方法为主要研究对象。详细探讨了软件复用的不同层次,目前流行的软件复用技术以及不同软件复用层次的实现方法和研究现状。同时也阐述了形式化方法的原理及主要内容。通过对以上内容的研究,本文提出了一种基于算法框架的软件设计及分析复用技术。依据该技术可以把看似孤立的一些问题统一在某个框架下,很大程度上实现了软件设计和分析复用,为实现框架复用开辟了一条新思路。同时,某类问题的求解过程中的形式化推导、正确性证明等都可以实现复用,从而为实现软件开发全过程的复用研究提供一种有效的途径。
【学位授予单位】:江西师范大学
【学位级别】:硕士
【学位授予年份】:2003
【分类号】:TP311.52

【参考文献】
中国期刊全文数据库 前8条
1 胡文华,李建民,胡振鹏;模式与设计模式[J];计算机与现代化;2002年12期
2 陈传波,唐咸峰;领域框架的设计[J];计算机工程与科学;2002年06期
3 李云清,杨庆红,薛锦云;基于集合与序列的Ada可复用部件及应用[J];计算机工程;1998年11期
4 周轶刚,康建初;可重用软件模式[J];计算机工程与应用;2002年17期
5 李云清;基于算法框架的可重用部件设计与实现[J];计算机工程与应用;2001年23期
6 杨庆红,李云清;一种基于程序正确性证明理论的程序开发方法[J];计算机应用研究;2001年02期
7 薛锦云,李云清,杨庆红;若干新的可重用程序部件模式[J];计算机研究与发展;1993年01期
8 陈火旺,齐治昌,王兵山,宁洪,谭庆平;一种严格的软件开发方法框架[J];软件学报;1996年03期
中国硕士学位论文全文数据库 前2条
1 骆健;APLA-JAVA程序自动转换系统的研制[D];江西师范大学;2002年
2 赖勇;APLA到C++自动程序转换系统的研制[D];江西师范大学;2002年
【共引文献】
中国期刊全文数据库 前10条
1 陈建明;软件需求工程及其发展[J];装甲兵工程学院学报;2003年03期
2 马于涛,谷淑化,姜灵敏;基于体系结构的组件集成框架的研究[J];武汉理工大学学报(交通科学与工程版);2004年03期
3 梁青,肖向军,陈德运;Visual C++/MFC下自定义控件的开发[J];哈尔滨理工大学学报;2004年04期
4 吴士亮,薛恒新,韦东方;ERP系统的组件化模型研究[J];计算机工程;2004年15期
5 李桂丽,刘悦,田莹;可复用构件的制作和组装[J];鞍山钢铁学院学报;2002年03期
6 刘瑜,张世琨,邬伦,叶燕林;地理信息系统中的设计模式——以过滤和精化为例[J];北京大学学报(自然科学版);2001年06期
7 姚敏,张柏,张树清;基于构件的地理信息系统应用软件开发模型研究[J];测绘工程;2001年01期
8 姚敏!130021,张柏!130021;采用构件技术开发地理信息系统应用软件[J];测绘信息与工程;2000年03期
9 李振华;模式复用[J];常熟高专学报;2001年04期
10 袁和金,宋雨,王翠茹;基于组件的软件设计及其在电力信息化中的应用[J];电力情报;2001年01期
中国重要会议论文全文数据库 前10条
1 施霖;刘喻民;;层次化Web应用模型[A];第一届全国Web信息系统及其应用会议(WISA2004)论文集[C];2004年
2 李浩;谢庆生;;开放式热处理车间管理控制一体化系统的研究与应用[A];全国先进制造技术高层论坛暨制造业自动化、信息化技术研讨会论文集[C];2005年
3 李少光;傅荣;;软件过程成熟度模型[A];2000中国控制与决策学术年会论文集[C];2000年
4 徐焕良;梁敬东;;一种基于CCM的农务领域的业务构件模型[A];中国数字农业与农村信息化学术研究研讨会论文集[C];2005年
5 张文婷;池志强;赵恒;;舰载指控系统构件模型研究[A];中国造船工程学会电子技术学术委员会2006学术年会论文集(上册)[C];2006年
6 孙长嵩;李海丹;;基于构件的版本控制策略[A];2006北京地区高校研究生学术交流会——通信与信息技术会议论文集(下)[C];2006年
7 孙凌宇;冷明;;分划递推法在Hanoi塔问题上的应用[A];广西计算机学会2006年年会论文集[C];2006年
8 徐正权;潘晓波;;基于适配器的软件总线体系结构下的数据传递机制研究[A];’2004计算机应用技术交流会议论文集[C];2004年
9 朱家诚;;基于软件构件的杆机构设计系统的研究[A];第十二届全国机构学学术研讨会论文集[C];2000年
10 薛慧琦;吴恒;;由程序规约推导程序[A];2005年全国理论计算机科学学术年会论文集[C];2005年
中国博士学位论文全文数据库 前10条
1 王竹荣;遗传算法及其在特种变压器优化设计中的应用研究[D];西安理工大学;2005年
2 李河;基于构件复用的测井解释系统及成像测井图像处理与自动识别技术研究[D];吉林大学;2005年
3 李朝辉;基于构件复用技术的组态模型及平台研究[D];大连理工大学;2005年
4 邓达强;运动机械监测系统数据融合关键技术的研究与应用[D];重庆大学;2001年
5 周健;分布构件计算平台cBus的研究与实现[D];中国人民解放军国防科学技术大学;2000年
6 徐焕良;企业知识资源计划及其关键技术研究[D];南京航空航天大学;2003年
7 徐如志;基于复用的软件过程改进方法与优化控制技术研究[D];复旦大学;2004年
8 吴士亮;面向行业的商品化管理信息系统框架构建与方法研究[D];南京理工大学;2005年
9 刘静;基于形式规格说明的统一软件建模系统的研究[D];上海大学;2005年
10 张驰;异构组件互操作技术研究[D];西北工业大学;2006年
中国硕士学位论文全文数据库 前10条
1 付睿臣;基于Oracle的管理信息系统开发模式的研究[D];哈尔滨理工大学;2004年
2 朱泽彬;类层次结构抽象描述语言的设计及其到C++的转换[D];长沙理工大学;2005年
3 廖立君;基于EGSA的ADL研究及其开发工具的设计[D];中南大学;2004年
4 廖昕;面向程序挖掘的构件组装设计与关键技术的研究[D];中南大学;2005年
5 胡壮志;基于组件技术的高校学生综合管理系统快速成型方法研究[D];中南大学;2005年
6 刘树山;基于ALOAF的构件库系统数据建模与系统设计[D];中南大学;2005年
7 薛华;分布式构件库系统服务框架的设计[D];中南大学;2005年
8 杨柳;基于ALOAF的构件库数据模型研究[D];中南大学;2005年
9 张先萍;一个服装加工物流管理模型及其应用研究[D];华中科技大学;2005年
10 王宝兴;基于对象关系映射的对象持久化模型分析与应用[D];华中科技大学;2005年
【二级参考文献】
中国期刊全文数据库 前3条
1 陈兆良,王千祥,梅宏,杨芙清;面向对象领域设计中的变化性处理[J];电子学报;2001年11期
2 薛锦云,李云清,杨庆红;若干新的可重用程序部件模式[J];计算机研究与发展;1993年01期
3 李云清;分划递推法及其应用[J];计算机工程与应用;2001年17期
【相似文献】
中国期刊全文数据库 前10条
1 卢中宁;程立辉;张志锋;;B方法和构件技术在软件开发中的应用研究[J];郑州轻工业学院学报(自然科学版);2008年02期
2 钱乐秋,张涌;软件复用度量综述[J];计算机应用与软件;2002年04期
3 李增智,王宇,李钢,王海,王立;面向对象可复用软件设计思想分析[J];小型微型计算机系统;2003年05期
4 张诚洁;基于构件的软件开发原则与过程[J];烟台师范学院学报(自然科学版);2003年03期
5 王丽娟,孙西超,底松茂,王哲光,冯志慧,刘倩;软件复用与基于面向对象框架的软件开发方法[J];郑州大学学报(工学版);2003年03期
6 段小君,高金环;软件复用与面向对象技术[J];西安邮电学院学报;2004年02期
7 曹春萍,龚崇栋;基于可复用构件的软件开发过程[J];上海水产大学学报;2005年03期
8 傅音翔;王直杰;张珏;;一种基于构件的软件开发方法[J];微计算机信息;2006年03期
9 商金婷;侯德文;;基于策略模式的信息隐藏处理的软构件[J];计算机技术与发展;2006年07期
10 赵辉;杨丽;张世虎;;浅谈软件开发中的复用技术[J];科技信息(学术版);2006年10期
中国重要会议论文全文数据库 前10条
1 杨晓婕;缪祥华;仇细平;;Yahalom协议的改进及安全性分析[A];2009年研究生学术交流会通信与信息技术论文集[C];2009年
2 高玉兰;姚世军;江澜;;软件复用技术研究[A];全国第19届计算机技术与应用(CACIS)学术会议论文集(下册)[C];2008年
3 吴允曾;;关于形式化的几个问题[A];金岳霖学术思想研究——金岳霖学术思想研讨会论文集[C];1985年
4 陈思;;浅谈软件复用技术及其应用[A];上海烟草系统2004年度优秀学术论文集[C];2004年
5 焦金丹;胡金柱;胡燕;鲁志兵;;基于软件复用的领域分析和建模研究[A];2006年全国开放式分布与并行计算机学术会议论文集(三)[C];2006年
6 李亚红;王坚;戴毅茹;;基于.NET构件技术的充水预压系统的设计与实现[A];先进制造技术高层论坛暨第六届制造业自动化与信息化技术研讨会论文集[C];2007年
7 黄奇;熊庆宇;石为人;;一种面向工业自动化仪表的嵌入式软件系统构建方法研究[A];2007'仪表,自动化及先进集成技术大会论文集(一)[C];2007年
8 姜佳佳;梁英;陈皓;张晓彤;;一种面向服务的复用遗留系统的方法及应用[A];2008'中国信息技术与应用学术论坛论文集(一)[C];2008年
9 张文君;顾海明;;改进的领域分析方法及数字校园网领域模型[A];中国电子学会第十五届信息论学术年会暨第一届全国网络编码学术年会论文集(上册)[C];2008年
10 占建伟;吕志成;张国柱;欧钢;;基于面向对象框架的北斗接收机自动测试系统[A];全国第19届计算机技术与应用(CACIS)学术会议论文集(上册)[C];2008年
中国重要报纸全文数据库 前10条
1 刘清秀;软件人的福音[N];中国邮政报;2003年
2 张勇 新疆维吾尔自治区烟草专卖局(公司);浅谈如何做好软件系统的架构设计[N];东方烟草报;2010年
3 上海交通大学APEX数据和知识管理实验室 王昊奋俞勇;语义Web推动下一代搜索[N];计算机世界;2007年
4 黎敬波;可拓方法与中医思维[N];中国中医药报;2005年
5 ;我国软件产业迈向何方[N];中国电子报;2001年
6 尹霞;我说的话 你能听懂吗?[N];计算机世界;2001年
7 本报记者 高丽华;构件孕育产业变局[N];计算机世界;2005年
8 朱羽;软件行业发展应走构件化道路[N];中国高新技术产业导报;2004年
9 本报记者 叶林海 实习记者 万国燕;构件化带动软件工业化[N];中国计算机报;2005年
10 本报记者 孙小羽;知识管理的力量[N];计算机世界;2001年
中国博士学位论文全文数据库 前10条
1 龙慧云;基于进程代数的Web服务数据和组合的形式化方法研究[D];贵州大学;2009年
2 郭健美;基于共性与可变性分析的适应性软件复用与配置技术研究[D];上海交通大学;2011年
3 彭思维;面向用户的软件柔性度量研究[D];燕山大学;2012年
4 丁剑洁;软件生产线度量技术应用研究[D];西北大学;2012年
5 王闯;软件智能进化模型及其实现机制研究[D];北京邮电大学;2012年
6 贾育;基于演于构件的软件复用方法[D];中国科学院研究生院(软件研究所);2002年
7 徐小辉;构件化软件动态更新关键技术及形式化研究[D];上海交通大学;2011年
8 朱建江;基于软件构件的软件复用的研究[D];南京航空航天大学;2002年
9 王奉涛;非平稳信号故障特征提取与智能诊断方法的研究及应用[D];大连理工大学;2003年
10 江敏;多视点需求工程中不一致性的检测与处理[D];武汉大学;2007年
中国硕士学位论文全文数据库 前10条
1 漆志群;基于算法框架的软件设计及分析复用技术研究[D];江西师范大学;2003年
2 范菊逸;企业级应用中面向对象框架的研究[D];华中科技大学;2005年
3 陈凯;面向网构软件的软件协同框架研究[D];江苏大学;2010年
4 马少林;基于EJB的分布式对象的研究与应用[D];兰州理工大学;2004年
5 娄晓亮;StrutsX——一种面向高层复用的Web应用框架的设计、实现与应用[D];中国科学院研究生院(软件研究所);2005年
6 杨凌燕;可复用的测试用例管理系统的开发[D];华东师范大学;2009年
7 程俊春;基于构件的软件集成研究[D];武汉大学;2004年
8 冯艳华;基于语义的构件描述和检索方法的研究[D];西北大学;2005年
9 于海泳;组件技术在GIS领域的应用与研究[D];华北电力大学(河北);2005年
10 李高明;基于构件技术的工作流引擎模型研究[D];昆明理工大学;2008年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026