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

网络化软件运行时交互行为过程特性分析

彭成  
【摘要】:摘要:软件已经成为国民经济的支柱产业,在人们的日常生活中起着越来越重要的作用。由软件质量缺陷引发的损失和灾难,却一直困扰着人们。特别是网络化软件的出现,使得保障和提高软件的可靠性、安全性等可信属性面临极大挑战。网络化软件的复杂特征研究已经成为一个热点问题,而以网络化软件运行时交互行为为研究对象,掌握其行为规律和内部机理等交互行为过程中隐藏的行为特性,是解决网络化软件可信性问题的关键之一。因此,网络化软件运行时交互行为过程特性研究具有很强的现实意义。 现行的针对传统软件的行为分析方法,不仅没有考虑网络化软件复杂的运行环境,而且对构成网络化软件的基础设施和软件实体本身的结构和行为的复杂性都缺乏表达能力。如何在开放、难控、动态的网络环境下,对这类结构复杂、行为复杂和多重复杂性融合在一起的网络化软件运行时产生的交互行为,从不同层次挖掘其行为过程特性,进行准确的行为描述、构建高效的行为模型、实时充分地展开异常行为传播分析,并将这些方法应用于实际系统中,对推动网络化软件的实证研究都具有重要的挑战意义。 针对网络化软件运行时多实体并行执行产生的行为踪迹标记丢失、缺失行为主体,而无法识别这些行为踪迹由哪些事务生成等问题,本文提出了对这类带部分标记和不带标记的不完全事务分别采用网络流和二分图匹配的方法,进行重新标记。该方法能有效解决上述问题,为时间上交错,空间上重叠的行为踪迹找到行为主体,便于网络化软件运行时的行为描述。 针对现有行为建模方法在监控收集的日志文档格式无标准、约束条件不充分、模型空间冗余、状态设置不合理等问题,本文提出了基于不变量约束的交互行为动态建模方法。该方法从预先设定格式监控收集的行为日志中抽取出六类不变量,对模型中的事件关联进行约束,并采用精化和抽象的方法确保模型的确定性和完备性。不变量的挖掘算法和建模算法具有良好的时空效率。对模型中的反例路径分析,可揭示系统中存在的潜在威胁,验证已知漏洞。 针对现有异常行为分析方法对异常行为传播特征的描述不充分、检测能力有限等问题,本文提出了从不同粒度审视网络化软件,将仓室模型和个体模型结合起来,构建出描述异常行为传播的过程模型。同时提出影响异常行为传播的三类参数,传播概率、交互频率和连接率,并给出了相关定义及其计算方法,增强了对异常行为传播分析的准确性,对网络化软件系统中存在的由错误和漏洞引发的异常行为预测和牵制控制也具有启发作用。 以在线电子购物系统软件为实例,与研究的每一个阶段相结合,验证了上述方法的有效性和可行性,包括对软件交互行为的描述、动态模型的构建指导、以及通过异常行为传播分析提高系统可靠性等。本文通过研究网络化软件运行时交互行为过程特性,提出的一整套方案,为提高网络软件的可信性开辟了新思路。
【学位授予单位】:中南大学
【学位级别】:博士
【学位授予年份】:2013
【分类号】:TP311.53

手机知网App
【参考文献】
中国期刊全文数据库 前10条
1 陈火旺,王戟,董威;高可信软件工程技术[J];电子学报;2003年S1期
2 张尧学;透明计算:概念、结构和示例[J];电子学报;2004年S1期
3 方锦清;汪小帆;郑志刚;;非线性网络的动力学复杂性的研究[J];复杂系统与复杂性科学;2010年Z1期
4 彭成;杨路明;满君丰;;网络化软件交互行为动态建模[J];电子学报;2013年02期
5 徐建军;谭庆平;熊磊;叶俊;;一种针对软错误的程序可靠性定量分析方法[J];电子学报;2011年03期
6 杨芙清;吕建;梅宏;;网构软件技术体系:一种以体系结构为中心的途径[J];中国科学(E辑:信息科学);2008年06期
7 ;Complexity of software trustworthiness and its dynamical statistical analysis methods[J];Science in China(Series F:Information Sciences);2009年09期
8 潘伟丰;李兵;马于涛;覃叶宜;周晓燕;;Measuring Structural Quality of Object-Oriented Softwares via Bug Propagation Analysis on Weighted Software Networks[J];Journal of Computer Science & Technology;2010年06期
9 李仁杰;张瞩熹;江海燕;王怀民;;基于监控的可信软件构造模型研究与实现[J];计算机应用研究;2009年12期
10 梅宏;刘譞哲;;互联网时代的软件技术:现状与趋势[J];科学通报;2010年13期
【共引文献】
中国期刊全文数据库 前10条
1 宋强;王霞;吴怡静;;一类带有非线性传染率的病毒动力学模型的全局稳定性[J];鞍山师范学院学报;2008年02期
2 邱翔;张莉;;异常传播网络静态建模方法及特性分析[J];北京航空航天大学学报;2012年04期
3 邓绯;;基于模糊综合评判的软件可信度量和评价方法研究[J];四川职业技术学院学报;2012年03期
4 徐文雄;张太雷;徐宗本;;两种群相互竞争的高维SEIR传染病模型全局渐近稳定性[J];纯粹数学与应用数学;2008年02期
5 柴继贵;王蓉;;软件技术发展趋势的探析[J];成都电子机械高等专科学校学报;2011年04期
6 叶志勇;江华南;邓存兵;;一个具有非线性发生率的捕食者-食饵系统的稳定性和Hopf分支[J];重庆理工大学学报(自然科学版);2011年02期
7 柏灵 ,王克;Global Stability of SEIRS Model in Epidemiology[J];Northeastern Mathematical Journal;2002年03期
8 叶海福,赵伟;可管理多功能网络仪器——一种新型的网络化仪器[J];电测与仪表;2005年09期
9 徐敏;丁永生;胡良剑;;Global Asymptotic Stability of a Kind of Stochastic SIRS Model[J];Journal of Donghua University(English Edition);2010年06期
10 杨霞;雷剑;熊光泽;;支持MLS的多层次嵌入式高可信软件架构[J];电子科技大学学报;2009年06期
中国重要会议论文全文数据库 前10条
1 罗飞;邵堃;刘宗田;;基于混合分布的直接信任模型研究[A];2011中国仪器仪表与测控技术大会论文集[C];2011年
2 楼俊钢;江建慧;靳昂;;可信性属性权重分配的模糊层次分析方法[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
3 王颜新;李向阳;;基于可信平台的军品供应链支持系统[A];2008全国制造业信息化标准化论坛论文集[C];2008年
4 丁礼儒;谈正;仝晓敏;;基于多视点视频的感知系统[A];第一届建立和谐人机环境联合学术会议(HHME2005)论文集[C];2005年
5 谭怀亮;朱存望;张镇平;;iSCSI网络计算模式下的可靠多播策略[A];2010年第16届全国信息存储技术大会(IST2010)论文集[C];2010年
6 李冬;罗宇;;一种基于网络文件系统的Windows操作系统远程启动技术[A];第十届中国科协年会信息化与社会发展学术讨论会分会场论文集[C];2008年
7 张悦今;张玲玲;刘莹;石勇;;软件可信性属性及其度量研究[A];第四届(2009)中国管理学年会——管理科学与工程分会场论文集[C];2009年
8 石海鹤;薛锦云;;一种基于PAR的高可靠算法程序设计技术[A];第六届中国测试学术会议论文集[C];2010年
9 裴顺昌;宋浩;李建平;蔡晨;;基于CMMI风险管理体系的可信软件开发风险管理研究[A];第十一届中国管理科学学术年会论文集[C];2009年
10 史领航;王丹;赵晶;;可信软件的一种可靠性建模方法[A];第二十五届中国数据库学术会议论文集(一)[C];2008年
中国博士学位论文全文数据库 前10条
1 张海涛;自律计算系统的自律可信性评估研究[D];哈尔滨工程大学;2010年
2 赵倩;基于自配置的软件可信性增长模型及方法[D];哈尔滨工程大学;2010年
3 杨喜敏;面向多视点设计的EIS访问控制技术研究[D];华中科技大学;2010年
4 郭树敏;传染性疾病传播机制与控制的系统研究[D];北京信息控制研究所;2010年
5 曹涌;基于分形的软件可靠性模型和程序证明的数学机械化[D];电子科技大学;2010年
6 王晓暾;不确定信息环境下的质量功能展开研究[D];浙江大学;2011年
7 田精白;网络式软件非功能需求分析方法及其应用[D];武汉大学;2009年
8 占济舟;失信因子对软件可信性的影响及其控制[D];南京大学;2011年
9 吴新星;基于语言的软件可信性度量理论及其应用[D];华东师范大学;2011年
10 陶红伟;基于属性的软件可信性度量模型研究[D];华东师范大学;2011年
中国硕士学位论文全文数据库 前10条
1 王永伟;基于构件的形式化方法在软件开发中的应用研究[D];哈尔滨工程大学;2010年
2 王志兵;软件行为运行时验证研究[D];湖南工业大学;2010年
3 刘广宾;分布式系统中实体交互行为的可信研究[D];湖南工业大学;2010年
4 吴晓丹;CTCS-3级列控系统的UML建模与模型检验研究[D];北京交通大学;2010年
5 邱爽;具有连续接种免疫的SEIS模型和具有饱和接触率的SEIV模型的动力学分析[D];昆明理工大学;2009年
6 常祥祥;基于二叉决策图的别名分析研究[D];西安电子科技大学;2010年
7 王运;基于静态分析的隐通道检测[D];西安电子科技大学;2010年
8 贺康;面向软件安全检查工具的符号表设计与实现[D];西安电子科技大学;2009年
9 丁鹏飞;可信网络连接直接匿名认证研究[D];太原理工大学;2011年
10 赵飞;基于Trustie技术的可信软件在电厂MIS系统中的研究和应用[D];吉林大学;2011年
【二级参考文献】
中国期刊全文数据库 前10条
1 杨芙清,梅宏,吕建,金芝;浅论软件技术发展[J];电子学报;2002年S1期
2 林惠民,张文辉;模型检测:理论、方法与应用[J];电子学报;2002年S1期
3 黄罡,王千祥,曹东刚,梅宏;PKUAS:一种面向领域的构件运行支撑平台[J];电子学报;2002年S1期
4 陈火旺,王戟,董威;高可信软件工程技术[J];电子学报;2003年S1期
5 张尧学,彭玉坤,周悦芝,方存好;可管理多媒体网络计算机(MMNC)[J];电子学报;2003年S1期
6 张尧学;透明计算:概念、结构和示例[J];电子学报;2004年S1期
7 王飞跃;;关于复杂系统的建模、分析、控制和管理[J];复杂系统与复杂性科学;2006年02期
8 郑晓龙;曾大军;李慧倩;毛文吉;王飞跃;戴汝为;;开源软件的复杂网络分析及建模[J];复杂系统与复杂性科学;2007年03期
9 周涛;;在线电影点播中的人类动力学模式[J];复杂系统与复杂性科学;2008年01期
10 李慧倩;曾大军;郑晓龙;王飞跃;毛文吉;;基于开源软件的有向图研究[J];复杂系统与复杂性科学;2008年01期
【相似文献】
中国期刊全文数据库 前10条
1 姬光锋;;课程论坛中的交互行为研究[J];陇东学院学报;2009年04期
2 丛荣华;刘亚娟;尚亚丽;;中小学网络教育中师生交互行为研究[J];长春师范学院学报;2011年02期
3 黄兰;;鼠标交互行为下的网络互动视觉设计[J];装饰;2012年08期
4 王生生;杨锋;刘依婷;王伟烈;李洋;;基于时空关系的复杂交互行为识别[J];吉林大学学报(工学版);2014年02期
5 李洪海;齐兵;;界面设计中交互行为的分类[J];艺术与设计(理论);2013年11期
6 刘涛;;试述高职学生信息交互行为的有效培养[J];中国信息界;2011年03期
7 王丹;孙浩扬;王进;付利华;;基于程序切片的软件交互行为可信性分析模型[J];北京工业大学学报;2013年05期
8 吴伟和;万巧慧;;体感语境下的交互行为设计[J];装饰;2013年06期
9 彭成;杨路明;满君丰;;网络化软件交互行为动态建模[J];电子学报;2013年02期
10 祁晓园;王涛;马川;;构件演化的交互行为一致性研究[J];计算机工程;2010年24期
中国重要会议论文全文数据库 前1条
1 陈建国;陈江;Stefan D.Bruda;Wai K.YEAP;;基于预序的交互行为分析[A];第四届和谐人机环境联合学术会议论文集[C];2008年
中国重要报纸全文数据库 前1条
1 Garther Group;无线互联的下一个风暴?[N];中国计算机报;2001年
中国博士学位论文全文数据库 前1条
1 彭成;网络化软件运行时交互行为过程特性分析[D];中南大学;2013年
中国硕士学位论文全文数据库 前10条
1 翟菁;网络学习交互行为研究[D];华中师范大学;2009年
2 姚群;网络学习交互行为评价指标体系研究[D];西南大学;2011年
3 任彩;交互行为在三通道多媒体信息获取中的特征研究[D];宁波大学;2013年
4 白海灵;交互白板环境下师生交互行为个案研究[D];华中师范大学;2013年
5 周艳;信息技术教学环境下课堂教学交互行为研究[D];华中师范大学;2013年
6 张亚培;群体非线性学习中交互行为与绩效关系研究[D];华中师范大学;2011年
7 元伟;仿生学意义上的交互行为方式研究[D];中央美术学院;2013年
8 胡东明;医患之间积极取向的言语交互行为及患者满意度研究[D];西南大学;2010年
9 刘冬;基于学习风格的在线学习交互行为研究[D];曲阜师范大学;2009年
10 刘浩;苹果应用软件交互行为研究[D];上海交通大学;2009年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026