收藏本站
《西南大学》 2012年
收藏 | 手机打开
二维码
手机客户端打开本文

基于构件的软件开发关键问题研究

丁晓明  
【摘要】:软件开发方法与技术一直是软件工作者的主要研究方向,随着以计算机软件为核心的信息时代的来临,软件开发技术受到了越来越多的关注。近年来软件领域研究的一个重要进展就是软件构件化。基于构件的软件开发方法(Component-Based Software Development, CBSD)将已有的构件集成到具体应用环境中来构建面向特定应用的软件系统,不仅能提高生产效率,降低开发成本,还能显著提高软件的可靠性。因此,构件技术已成为当前软件领域的研究热点。 拥有大量可重用构件的构件库是支撑CBSD的前提条件。然而,一方面传统的构件描述方法缺乏对构件功能的形式化描述,导致用户难以从海量构件中快速、准确地检索到满足用户功能需求的构件;另一方面,为了确保构件系统的质量,构件入库前必须进行全面、充分的测试,由于构件固有的封装性、平台独立性,以及接口组装等特性,使现有的软件测试方法并不适合于海量构件的测试环境,因此,必须开发适合构件特性的自动化测试方法和工具,以对构件进行有效的测试;此外,在组装的构件数量较多的情况下,构件用户难以预料组装后的构件接口和行为特征,导致构件组装的结果往往难以符合设计需求。上述问题极大地限制了CBSD的实际应用。 如何描述构件的动态行为以准确地检索到所需求的构件,如何自动化地产生构件测试用例以支持构件的充分测试,如何组装己有的构件以满足系统的应用需求并对组装的系统端口和行为进行规约成为当前此领域的研究热点和难点。形式化方法因其精确性和严密性,能较好的满足构件功能描述与接口规约的要求,CBSD与形式化方法的融合对于开发构件软件系统具有重要的理论价值和实际意义。本文将形式化方法和遗传算法应用于构件检索、构件测试,以及构件组装等构件软件开发的关键步骤,旨在有效地支持构件软件系统的开发。本文的研究成果及核心内容归纳为如下三个方面: 本文首先参照3C构什模型,提出一种基于形式化方法的,可扩展的构件描述模型,包括构件的功能描述、接口描述、环境依赖描述等,并保留了构件关键字、非功能属性等描述项。在此描述模型基础上根据心理学认知理论提出了构件的多模糊级分步检索法,以方便用户对构件的检索,并保证了检索的准确性和有效性。 其次,为了提高构件自动化测试效率,本文提出了一种基于遗传算法的构件内置测试用例生成方法,设计了测试点的染色体编码方法,以及基于构件刻面描述的测试数据自动产生方法;为了提高测试用例的生成质量,并加快遗传算法的收敛速度,我们改进了算法的适应度函数的计算方法,适应度函数不仅考虑了用例对路径的覆盖率,而且考虑了路径覆盖率的增加速率,从而有效地提高了路径的覆盖率,同时降低了用例产生代价。 本文第三部分的工作提出了六种构件组装机制:构件顺序组装机制,构件选择组装机制、构件循环组装机制、构件并行组装机制、构件同步组装机制、构件中断组装机制。并对如何根据多个构件的语义规约推导出复合构件的语义规约等相关问题进行了研究,提出了基于CSP的构件端口和行为规约描述方法以及相关推导算法,并通过实例对方法的有效性进行了验证。
【学位授予单位】:西南大学
【学位级别】:博士
【学位授予年份】:2012
【分类号】:TP311.52

【参考文献】
中国期刊全文数据库 前10条
1 单锦辉,姜瑛,孙萍;软件测试研究进展[J];北京大学学报(自然科学版);2005年01期
2 荚伟,高仲仪;基于遗传算法的软件结构测试数据生成技术研究[J];北京航空航天大学学报;1997年01期
3 张晓丽,杨建强,常春影,董威;多目标模糊优化方法及其在工程设计中应用[J];大连理工大学学报;2005年03期
4 边小凡;朱建林;王倩;;形式化方法对构件库管理系统支持的探讨[J];电子技术应用;2006年04期
5 彭鑫;赵文耘;钱乐秋;;基于领域特征本体的构件语义描述和组装[J];电子学报;2006年S1期
6 边小凡;夏华轩;;一种面向构件自动化组装的构件检索方法[J];河北大学学报(自然科学版);2005年06期
7 张永梅,陈立潮,高媛;软件构件与测试技术的设计研究[J];信息技术;2004年11期
8 王卓;刘大昕;冯晓宁;;基于框架的软构件后缀索引构造方法研究[J];哈尔滨工程大学学报;2006年01期
9 汪浩,谢军凯,高仲仪;遗传算法及其在软件测试数据生成中的应用研究[J];计算机工程与应用;2001年12期
10 单锦辉,王戟,马晓东,齐治昌;面向路径的测试数据自动生成工具及其图形界面的Tcl/Tk设计[J];计算机工程与应用;2002年01期
中国博士学位论文全文数据库 前3条
1 席琳;形式化方法在构件组装实时系统中的应用研究[D];郑州大学;2012年
2 任洪敏;基于π演算的软件体系结构形式化研究[D];复旦大学;2003年
3 盛津芳;商业构件评估方法及关键技术研究[D];中南大学;2007年
中国硕士学位论文全文数据库 前5条
1 曲益民;软件构件的形式化描述与检索研究[D];昆明理工大学;2011年
2 冯艳华;基于语义的构件描述和检索方法的研究[D];西北大学;2005年
3 朱建林;形式化方法在基于构件软件重用中的应用研究[D];河北大学;2006年
4 陈文;基于形式化描述的构件库应用研究[D];西南大学;2008年
5 袁雪莉;基于扩展WSDL的测试用例自动生成[D];西南大学;2009年
【共引文献】
中国期刊全文数据库 前10条
1 张成武,唐瑛;简析肯定自我与否定自我及其应用[J];阿坝师范高等专科学校学报;2003年03期
2 杜黎;音乐教学中歌唱心理因素分析[J];阿坝师范高等专科学校学报;2003年03期
3 汪茂华;;谈网络办公系统自动化性能测试[J];安徽教育学院学报;2006年03期
4 方九亿;庞靖;;孔子思想指导下的导师制[J];安徽电子信息职业技术学院学报;2008年03期
5 方冉;陈乃金;;基于S3C44B0X处理器触摸屏接口的设计与测试[J];安徽工程科技学院学报(自然科学版);2010年02期
6 蔡芸;论广告记忆效应的策划[J];安徽师范大学学报(人文社会科学版);1999年02期
7 刘列斌;大脑记忆规律在英语词汇教学中的运用[J];安徽工业大学学报(社会科学版);2004年02期
8 耿宁;;对普通高校女大学生体育课堂运动积极性的分析[J];安徽工业大学学报(社会科学版);2006年02期
9 韩柏光;;大学生心理危机应激源解析与疏导[J];安徽工业大学学报(社会科学版);2011年02期
10 李秀珊;;想象力在个体发展中的作用[J];安徽文学(下半月);2011年02期
中国重要会议论文全文数据库 前10条
1 黄茂生;陈平;;软件测试过程的质量保证[A];中国电子学会可靠性分会第十四届学术年会论文选[C];2008年
2 张明;周永权;;一种新型的全局优化算法—区间进化算法[A];第二十七届中国控制会议论文集[C];2008年
3 郑连递;;关于中学生心理健康问题分析及对策[A];创新沈阳文集(B)[C];2009年
4 黄建华;蔡建平;董晶晶;常守峰;;基于构件的北斗运营管理系统研究[A];第三届中国卫星导航学术年会电子文集——S01北斗/GNSS导航应用[C];2012年
5 陈彦萍;李增智;夏虹;朱海萍;;服务质量驱动的Web服务组合框架的设计与实现[A];2006年全国通信软件学术会议论文集[C];2006年
6 刘宏宇;杨军;欧建平;;卫星高速数传中基于进化算法的有记忆HPA预失真技术[A];第十三届全国信号处理学术年会(CCSP-2007)论文集[C];2007年
7 刘振宇;蔡立志;杨根兴;;Web应用软件的质量评价技术研究[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
8 李冬红;战茅;宗建建;;面向对象设计的构件测试方法[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
9 张克宏;;藏文文献数字化保护系统面向对象的集成测试研究[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
10 张伟;王斌;段见飞;张威;;软件运行记录模块设计及效能分析[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
中国博士学位论文全文数据库 前10条
1 赵同彬;深部岩石蠕变特性试验及锚固围岩变形机理研究[D];山东科技大学;2009年
2 卜志国;海洋生态环境监测系统数据集成与应用研究[D];中国海洋大学;2010年
3 王立国;东北滑雪产业发展问题研究[D];东北师范大学;2010年
4 殷昱煜;面向服务的软件动态配置技术研究[D];浙江大学;2010年
5 郑军红;基于知识工程的智能夹具设计系统构建研究[D];浙江大学;2010年
6 张晶;面向钢铁质量过程控制的分布式并行软件框架模型研究[D];昆明理工大学;2009年
7 曹洪江;基于用户需求的Web服务组合系统研究[D];武汉理工大学;2010年
8 赵晓峰;虚拟制造环境的信息规范及其Z描述研究[D];山东大学;2010年
9 吴艳东;思想政治教育导向论[D];武汉大学;2010年
10 曹传清;赫德对晚清中国社会的影响[D];湖南师范大学;2010年
中国硕士学位论文全文数据库 前10条
1 陈志勇;基于刻面描述的分布式构件库系统的研究[D];南昌航空大学;2010年
2 林瑞锋;互联网服务社区中服务资源的调用技术研究[D];山东科技大学;2010年
3 王广伦;基于构件的软件系统定制技术的研究与应用[D];山东科技大学;2010年
4 肖露娟;Web服务组合性能分析[D];浙江理工大学;2010年
5 范素娟;基于时间自动机模型的测试用例生成方法研究[D];郑州大学;2010年
6 田振杰;基于遗传算法的工程项目工期与成本的优化[D];哈尔滨工程大学;2009年
7 韩丽丽;基于DDS体系结构的构件组装机制研究[D];哈尔滨工程大学;2010年
8 王永伟;基于构件的形式化方法在软件开发中的应用研究[D];哈尔滨工程大学;2010年
9 安金龙;哈尔滨市普通高校体育教学安全问题研究[D];哈尔滨工程大学;2010年
10 戴步成;基于ArcGIS Server的电子地图研究及应用[D];大连理工大学;2010年
【二级参考文献】
中国期刊全文数据库 前10条
1 邓志鸿,唐世渭,张铭,杨冬青,陈捷;Ontology研究综述[J];北京大学学报(自然科学版);2002年05期
2 高仲仪 ,梁霞;符号执行和测试数据辅助生成的实验系统[J];北京航空学院学报;1988年04期
3 张广泉;关于软件形式化方法[J];重庆师范学院学报(自然科学版);2002年02期
4 田钦谟;模糊综合评判的结果分析[J];大连水产学院学报;1990年01期
5 梁陈良;聂长海;徐宝文;陈振宇;;一种基于模型检验的类测试用例生成方法[J];东南大学学报(自然科学版);2007年05期
6 王素芳;Ontology与叙词表的融合初探[J];大学图书馆学报;2005年01期
7 边小凡;朱建林;王倩;;形式化方法对构件库管理系统支持的探讨[J];电子技术应用;2006年04期
8 常继传,李克勤,郭立峰,梅宏,杨芙清;青鸟系统中可复用软件构件的表示与查询[J];电子学报;2000年08期
9 杨芙清,梅宏,吕建,金芝;浅论软件技术发展[J];电子学报;2002年S1期
10 林惠民,张文辉;模型检测:理论、方法与应用[J];电子学报;2002年S1期
中国博士学位论文全文数据库 前10条
1 王磊;免疫进化计算理论及应用[D];西安电子科技大学;2001年
2 单锦辉;面向路径的测试数据自动生成方法研究[D];国防科学技术大学;2002年
3 姚砺;面向对象软件测试的研究[D];浙江大学;2002年
4 李留英;UML测试技术的研究与实现[D];中国人民解放军国防科学技术大学;2000年
5 窦郁宏;程序挖掘中构件描述和检索的研究[D];中南大学;2002年
6 周晓峰;基于语义的软件构件匹配方法及在水利领域中应用的研究[D];河海大学;2006年
7 薛云皎;基于智能主体的分布式构件库相关技术研究[D];复旦大学;2006年
8 陈德华;基于对等网络的分布式构件库系统若干关键技术研究[D];东华大学;2006年
9 盛津芳;商业构件评估方法及关键技术研究[D];中南大学;2007年
10 马良荔;基于元数据的构件集成测试技术研究[D];华中科技大学;2006年
中国硕士学位论文全文数据库 前10条
1 李军;软构件工程学习环境开发及应用[D];大连理工大学;2001年
2 陈晓江;基于构件的分布式软件体系结构及其开发工具的研究与实现[D];西北大学;2002年
3 程勇;基于场景和形式化方法的软件需求建模研究[D];合肥工业大学;2002年
4 葛斌;基于构件的软件复用技术研究[D];合肥工业大学;2002年
5 李晔;基于构件的形式化需求分析方法研究与实现[D];西安理工大学;2003年
6 娄健;教学评测与评估领域构件库系统的设计与实现[D];河北大学;2003年
7 王荣培;面向构件的供应商管理模型研究与实现[D];南京航空航天大学;2004年
8 冯艳华;基于语义的构件描述和检索方法的研究[D];西北大学;2005年
9 朱建林;形式化方法在基于构件软件重用中的应用研究[D];河北大学;2006年
10 朱振杰;SOA的关键技术的研究与应用实现[D];电子科技大学;2006年
【相似文献】
中国期刊全文数据库 前10条
1 刘长有;管贤春;;接口变异在构件测试中的应用研究[J];电脑知识与技术;2010年13期
2 徐亮;曹万华;陈靖;谌菲;陈昀林;;一种舰载指控系统构件集成测试方法[J];计算机与数字工程;2010年06期
3 马良荔;卢炎生;刘孟仁;;基于构件的软件测试技术研究[J];计算机系统应用;2005年12期
4 罗涛;李煦;;基于构件测试的探索[J];科技资讯;2009年17期
5 冯茂岩;;基于构件的软件测试若干问题分析[J];计算机与数字工程;2006年06期
6 李良明;王志坚;刘磊;;基于用户需求的构件行为测试[J];高技术通讯;2010年07期
7 陈峰;李心科;;一种基于构件的回归测试用例选择方法[J];计算机技术与发展;2008年11期
8 孙秋云;邢静波;;构件测试的研究发展[J];价值工程;2010年16期
9 高媛;陈立潮;张永梅;;软件构件内置测试技术研究[J];自动化技术与应用;2007年07期
10 王燕燕;林宁;冯惠;周平;;构件在线测试系统的设计与实现[J];计算机应用与软件;2009年03期
中国重要会议论文全文数据库 前10条
1 李冬红;战茅;宗建建;;面向对象设计的构件测试方法[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
2 吉大纯;陈蕾;梁静;邵四海;;基于PG框架的软件结构测试用例自动生成研究[A];第十四届全国容错计算学术会议(CFTC'2011)论文集[C];2011年
3 王道堂;林春哲;张凯;;软件测试用例构造方法与手段[A];计算机技术在工程建设中的应用——第十二届全国工程建设计算机应用学术会议论文集[C];2004年
4 张成才;梁永会;李红伟;;河南航道基础地理信息系统测试方案研究与设计[A];《测绘通报》测绘科学前沿技术论坛摘要集[C];2008年
5 戴骏炜;;软件自动化测试工具的引入[A];冶金企业自动化、信息化与创新——全国冶金自动化信息网建网30周年论文集[C];2007年
6 牛建义;杨正球;;基于HtmlParser的Web测试自动化的设计[A];2007北京地区高校研究生学术交流会通信与信息技术会议论文集(上册)[C];2008年
7 王娜;孙敏;;软件测试方法研究[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
8 万琳;张威;马雪雁;陈曼青;;基于路径的测试用例自动生成技术[A];第十届全国容错计算学术会议论文集[C];2003年
9 田丽芳;刘栓;;软件测试的学习方法探究[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
10 周勇;许婕;周定康;;基于构件实现银行业务处理软件的设计[A];第十八届全国数据库学术会议论文集(技术报告篇)[C];2001年
中国重要报纸全文数据库 前10条
1 陈方友;安徽电信打造基于构件的流程平台[N];中国计算机报;2007年
2 谢敏 沈雪芳 戴金龙;解决软件测试的近忧和远虑[N];计算机世界;2005年
3 通文;罗德与施瓦茨:HSDPA测试“软硬兼施”[N];通信产业报;2006年
4 刘昶;多媒体移动终端的MMS一致性测试[N];通信产业报;2005年
5 本报记者  刘涓涓;最大软件组开发商抢滩中国[N];21世纪经济报道;2006年
6 计算机世界实验室 韩勖;拨云见日[N];计算机世界;2008年
7 本报记者 乔申颖;每走一步都留下扎实的脚印[N];经济日报;2009年
8 信息产业部软件与集成电路促进中心 于明唐仕武;驶入测试“快车道”[N];计算机世界;2007年
9 刘昶;WiMAX射频测试期待一致性解决方案[N];中国电子报;2007年
10 ;走领域构件化之路[N];中国计算机报;2005年
中国博士学位论文全文数据库 前10条
1 李良明;基于动态行为模型的构件及组装测试的研究[D];南京航空航天大学;2010年
2 席琳;形式化方法在构件组装实时系统中的应用研究[D];郑州大学;2012年
3 陈锦富;基于错误注入的构件安全性测试理论与技术研究[D];华中科技大学;2009年
4 龙文;基于构件及本体驱动的制造执行系统开发方法研究[D];南京航空航天大学;2009年
5 潘丽丽;软件测试用例集简化及其构建方法研究[D];湖南大学;2009年
6 李丽;航天相机主控软件测试用例自动生成技术的研究[D];中国科学院研究生院(长春光学精密机械与物理研究所);2010年
7 游亮;回归测试用例选择技术研究[D];华中科技大学;2012年
8 张娟;软件测试中测试用例复用的研究[D];上海大学;2012年
9 钱思佑;图形用户界面测试中相关问题研究[D];中国科学技术大学;2010年
10 涂俊翔;制造企业管理信息系统的重构技术研究[D];华中科技大学;2009年
中国硕士学位论文全文数据库 前10条
1 甄文萍;基于构件的软件测试研究及其工具支持[D];河北大学;2003年
2 李琼;构件测试信息表示与检索的研究与实现[D];昆明理工大学;2009年
3 韩仙玉;基于本体的构件测试信息语义检索方法的研究与实现[D];昆明理工大学;2011年
4 张海旺;基于合约的构件测试数据生成及复用方法的研究与实现[D];昆明理工大学;2009年
5 于亚君;构件测试用例复用方法研究与实现[D];昆明理工大学;2011年
6 陈黎丽;基于构件理论的骨架类产品快速设计[D];西南交通大学;2010年
7 周小涵;一种针对基于构件的嵌入式实时软件的测试方法[D];西南大学;2010年
8 徐素锦;基于构件的软件性能预测工具的设计与实现[D];河南大学;2010年
9 叶涛;基于合约检查的构件化软件测试的研究[D];西安理工大学;2006年
10 倪铭;基于XML的COM构件自动化测试技术研究[D];华中科技大学;2008年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026