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

若干软件非功能属性相关的设计和实现技术研究

崔展齐  
【摘要】:随着计算机系统应用的不断普及和深入,其中软件系统的规模和复杂性不断增大,如何有效地控制软件系统的复杂性已成为学术界和工业界迫切需要解决的重要问题。除了功能性需求之外,现代软件系统还需要满足越来越多的非功能性需求(属性),这也是软件系统复杂性难以控制的重要原因。在软件模块化设计和实现过程中,由于系统的非功能属性与基本功能行为间通常存在正交的耦合关系,从而横切多个基本功能模块,因此难以将其自然地封装在独立的模块之中,进而导致多个模块间存在相互依赖的复杂关系,在系统设计、实现、测试、维护等多个环节中形成了障碍、增加了软件系统的复杂性。本文针对若干软件非功能属性,研究了相应的设计和实现技术,主要工作如下: 1.基于UML活动图的面向方面软件建模与验证 面向方面软件技术引入了方面机制封装软件非功能属性,已成为处理非功能属性的重要手段。我们提出了一种基于UML活动图的面向方面建模与验证技术,在软件设计阶段将非功能属性封装为方面模型,在与基本模型集成后,基于Petri网和CTL进行验证,从而扩展和增强了面向方面建模技术处理软件非功能属性的能力。 2.基于混合执行测试的缓冲区溢出缺陷检测 缓冲区溢出是一类常见的软件安全缺陷(非功能缺陷),我们提出了一种基于混合执行测试的缓冲区溢出缺陷检测方法。该方法结合静态分析和动态执行两种互补性较强的技术,先使用静态分析工具分析程序中涉及缓冲区溢出缺陷的可疑语句,然后基于静态分析所报告的可疑缺陷语句指导程序的混合执行测试,从而有效降低了缺陷检测成本。 3.针对计算误差处理的面向方面程序设计 计算误差处理是科学计算程序中常见的非功能属性。我们发现,同一类误差的处理策略通常都是相似的,并且会横切多个基本功能模块,是典型的横切关注点。因此,我们提出使用面向方面技术将计算误差策略封装为方面,并在一个真实的卫星轨道测算系统上进行了实例研究。该项工作不仅提高了程序的模块化程度和可维护性,而且扩大了面向方面程序设计技术的应用范围。
【学位授予单位】:南京大学
【学位级别】:博士
【学位授予年份】:2011
【分类号】:TP311.52

【参考文献】
中国期刊全文数据库 前5条
1 梅宏;曹东刚;;ABC-S~2C:一种面向贯穿特性的构件化软件关注点分离技术[J];计算机学报;2005年12期
2 张健;;精确的程序静态分析[J];计算机学报;2008年09期
3 梅宏;王千祥;张路;王戟;;软件分析技术进展[J];计算机学报;2009年09期
4 徐殿祥;Omar El-Ariss;许巍峰;王林章;;Aspect-Oriented Modeling and Verification with Finite State Machines[J];Journal of Computer Science & Technology;2009年05期
5 陈向群;杨芙清;;面向Aspect的操作系统研究[J];软件学报;2006年03期
【共引文献】
中国期刊全文数据库 前10条
1 张丽艳;戚发轫;李颐黎;;交会对接远距离导引精度分析[J];北京航空航天大学学报;2006年06期
2 李涛护;刘建胜;秦红磊;李锐;;单星导航HEO卫星初轨确定算法[J];北京航空航天大学学报;2012年06期
3 刘兆存;范玮佳;;软件过程中可复用需求分析[J];重庆理工大学学报(自然科学);2012年01期
4 赵春梅;瞿锋;;无准确初轨信息时星载GPS低轨卫星定轨方法研究[J];测绘科学;2006年03期
5 宋雷;吴斌;彭碧波;周旭华;;使用能量守恒方法恢复CHAMP地球重力场[J];测绘科学;2006年04期
6 丁琳;任留成;侯哲威;;卫星图像斜方位投影正反解变换研究[J];测绘科学;2010年02期
7 瞿锋,王谭强,陈现军,刘乃苓,程伯辉;GPS35卫星的SLR轨道与IGS轨道的联合比较[J];测绘通报;2002年02期
8 赵春梅;瞿锋;程鹏飞;徐克红;文汉江;;阿根廷圣胡安激光测距系统的SLR数据质量分析[J];测绘学报;2008年03期
9 翁子盛;王宝生;林锦滨;;程序符号执行中的数组分析[J];长江大学学报(自然科学版)理工卷;2010年01期
10 洪炳熔,刘艳芳,胡芳;基于延拓法的卫星初轨算法——应用于单个观测物体确定低轨卫星初始轨道[J];导弹与航天运载技术;1999年05期
中国重要会议论文全文数据库 前9条
1 赵庆海;楼楠;;T20光压模型及偏导数的推导[A];第二届中国卫星导航学术年会电子文集[C];2011年
2 陈刘成;周建华;韩春好;陈金平;;导航卫星历书参数拟合算法研究[A];中国测绘学会九届三次理事会暨2007年“信息化测绘论坛”学术年会论文集[C];2007年
3 刘强;高怀保;;TRACK——运行于WINDOWS下的人造卫星星下点轨迹演示软件[A];中国空间科学学会空间探测专业委员会第九次学术会议论文集[C];1996年
4 刘艳芳;洪炳熔;;用两颗GPS卫星确定低轨卫星轨道的线性变换和牛顿下山算法[A];中国空间科学学会空间探测专业委员会第十一次学术会议论文集[C];1998年
5 刘林;张巍;;月球探测器的定轨和星下点计算所涉及的月球历表和物理天平动问题[A];中国宇航学会深空探测技术专业委员会第一届学术会议论文集[C];2005年
6 蒋虎;尹增山;;空间飞行器轨道机动燃料初步估计[A];中国宇航学会深空探测技术专业委员会第五届学术年会论文集[C];2008年
7 任留成;;变视点卫星轨迹线投影研究[A];第四届“测绘科学前沿技术论坛”论文精选[C];2012年
8 柳丽;董绪荣;杨洋;;基于星载GPS的GEO卫星定轨方法研究[A];第一届中国卫星导航学术年会论文集(下)[C];2010年
9 李恒年;李济生;焦文海;;全球星座摄动运动及摄动补偿控制策略研究[A];第一届中国卫星导航学术年会论文集(中)[C];2010年
中国博士学位论文全文数据库 前10条
1 杨年华;模型驱动架构中的可信嵌入式软件建模与分析[D];华东理工大学;2011年
2 杨春花;软件体系结构中状态方面的编织研究[D];山东大学;2010年
3 黄波;星间测距与导航卫星自主定轨研究[D];华中科技大学;2011年
4 陶红伟;基于属性的软件可信性度量模型研究[D];华东师范大学;2011年
5 蓝朝桢;空间目标天基光学观测系统建模与探测能力分析[D];解放军信息工程大学;2009年
6 刘光明;基于天基测角信息的空间非合作目标跟踪算法及相关技术研究[D];国防科学技术大学;2011年
7 李仁见;堆操作程序分析验证技术研究[D];国防科学技术大学;2011年
8 陈晓江;分布式系统软件体系结构建模与开发方法研究[D];西北大学;2010年
9 马高峰;VLBI2010与GNSS联合数据分析理论及方法研究[D];解放军信息工程大学;2011年
10 张飞鹏;PRARE及其应用于ERS-2精密定轨的研究[D];中国科学院上海天文台;2000年
中国硕士学位论文全文数据库 前10条
1 陶叶青;单基站CORS-RTK精度分析与测量数据处理[D];辽宁工程技术大学;2009年
2 王志兵;软件行为运行时验证研究[D];湖南工业大学;2010年
3 张军宝;基于域描述语言的Java规则引擎实现方法[D];华东理工大学;2011年
4 李征;AOP应用程序中的结构冲突问题解决框架研究[D];武汉工程大学;2010年
5 张成义;气动辅助变轨的轨道模拟[D];浙江大学;2010年
6 周卓俊;空间碎片环境建模及其电磁散射特性研究[D];西安电子科技大学;2011年
7 李文瑞;基于Petri网的软件测试技术研究[D];江南大学;2011年
8 聂世超;PHP程序静态分析系统的设计与实现[D];吉林大学;2011年
9 赵慧娟;基于符号执行与遗传算法的单元测试研究与应用[D];北京交通大学;2011年
10 原义盈;嵌入式软件堆栈溢出的静态测试方法研究[D];北京交通大学;2011年
【二级参考文献】
中国期刊全文数据库 前8条
1 黄罡,王千祥,曹东刚,梅宏;PKUAS:一种面向领域的构件运行支撑平台[J];电子学报;2002年S1期
2 杨芙清;吕建;梅宏;;网构软件技术体系:一种以体系结构为中心的途径[J];中国科学(E辑:信息科学);2008年06期
3 李必信,郑国梁,王云峰,李宣东;一种分析和理解程序的方法──程序切片[J];计算机研究与发展;2000年03期
4 曹东刚;梅宏;;面向Aspect的程序设计——一种新的编程范型[J];计算机科学;2003年09期
5 张健;;精确的程序静态分析[J];计算机学报;2008年09期
6 梅宏,陈锋,冯耀东,杨杰;ABC:基于体系结构、面向构件的软件开发方法[J];软件学报;2003年04期
7 杨芙清;软件工程技术发展思索[J];软件学报;2005年01期
8 汪黎;杨学军;王戟;罗宇;;操作系统内核程序函数执行上下文的自动检验[J];软件学报;2007年04期
【相似文献】
中国期刊全文数据库 前10条
1 苏文莉;韦泉;帅丹;;非功能软件体系结构研究[J];职业技术;2006年12期
2 张琳琳;应时;赵楷;文静;倪友聪;;一种建模软件体系结构非功能属性的方法[J];计算机科学;2009年07期
3 张岩;梅宏;;UML类图中面向非功能属性的描述和检验[J];软件学报;2009年06期
4 袁东维;李蜀瑜;;一种基于信任的Web服务发现方法[J];计算机工程与科学;2011年03期
5 盛津芳;;基于模糊综合评判模型的软件非功能属性评估方法研究[J];企业技术开发;2007年09期
6 朱红宁;张斌;申笑颜;;Web服务非功能属性相关性与QoS评价[J];微计算机信息;2009年21期
7 王志刚;王民北;骆雷飞;;一个嵌入式软件构件的NFA量化度量模型[J];计算机工程;2006年13期
8 王世安;;一种软件构件的非功能属性量化评价方法[J];计算机时代;2010年07期
9 李昌盛;周娅;黄桂敏;;一种逐步的Web服务选择方法[J];计算机系统应用;2008年03期
10 白东伟;刘传昌;陈俊亮;;基于策略的Web服务非功能属性匹配[J];计算机工程;2007年13期
中国博士学位论文全文数据库 前2条
1 余波;网格工作流中服务选择策略的研究[D];中国科学院研究生院(计算技术研究所);2006年
2 白东伟;基于语义的Web服务匹配与发现技术研究[D];北京邮电大学;2008年
中国硕士学位论文全文数据库 前2条
1 宗方;综合功能属性和非功能属性的Web服务组合研究[D];西南大学;2014年
2 姜黎明;元数据驱动的Web服务质量保障框架设计与实现[D];华中科技大学;2008年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026