| 
  中国学术期刊网络出版总库
  关闭
软件可信性动力学特征及其演化复杂性  
   推荐 CAJ下载 PDF下载
【下载频次】 ★★★★★
【作者】 郑志明; 马世龙; 李未; 韦卫; 姜鑫; 张占利; 郭炳晖;
【作者单位】 北京航空航天大学数学、信息与行为教育部重点实验室; 北京大学数学科学学院; 北京航空航天大学软件开发环境国家重点实验室;
【文献出处】 中国科学(F辑:信息科学) , Science in China(Series F:Information Sciences), 编辑部邮箱 2009年 09期  
期刊荣誉：中文核心期刊要目总览  ASPT来源刊  CJFD收录刊
【中文关键词】 软件可信性; 可信特征属性; 演化复杂性; 动力系统;
【摘要】 可信软件已成为现代软件技术发展和应用的重要趋势和必然选择,而软件可信性建模已成为构造可信软件的先决条件和必要手段.为了探讨和阐明软件可信性的基本科学问题、建立软件可信性度量的理论基础,文中结合动力系统的基本思想探讨软件可信性及其演化规律,研究在各种内部和外部因素作用下软件可信性演化的动力学机制,并建立相应的动力学模型,从而软件系统的可信性可以认为是软件系统在动态开放环境下其行为的统计特性.通过对两个简单实例的建模分析,说明了软件系统可信属性的极限演化行为与动力系统特征的对应关系,诠释了软件可信性的动力学特征及其演化复杂性.
【基金】 973国家重点基础研究发展计划(批准号:2005CB321900); 国家自然科学基金(批准号:60473019)资助项目
【更新日期】 2009-10-23
【分类号】 TP311.52
【正文快照】 0引言最近十多年来，软件系统的开发和运行环境已经从静态封闭转化为动态开放.运行环境开放多变导致了多种不确定性因素，使得软件系统的正确性、安全性、可靠性、可用性和实效性等性质难以保证，甚至软件系统本身的生存性都难以保证.在开放多变的环境中，软件系统变得越来越脆

xxx
【读者推荐文章】中国期刊全文数据库 中国博士学位论文全文数据库 中国优秀硕士学位论文全文数据库 中国重要会议论文全文数据库
【相似文献】
中国期刊全文数据库
中国优秀硕士学位论文全文数据库
中国博士学位论文全文数据库
中国重要会议论文全文数据库
中国重要报纸全文数据库
中国学术期刊网络出版总库
点击下列相关研究机构和相关文献作者，可以直接查到这些机构和作者被《中国知识资源总库》收录的其它文献，使您全面了解该机构和该作者的研究动态和历史。
【文献分类导航】从导航的最底层可以看到与本文研究领域相同的文献，从上层导航可以浏览更多相关领域的文献。

工业技术
　 自动化技术、计算机技术
　　 计算技术、计算机技术
　　　 计算机软件
　　　　 程序设计、软件工程
　　　　　 软件工程
　　　　　　 软件开发
  
 
  CNKI系列数据库编辑出版及版权所有：中国学术期刊(光盘版)电子杂志社
中国知网技术服务及网站系统软件版权所有：清华同方知网(北京)技术有限公司
其它数据库版权所有：各数据库编辑出版单位（见各库版权信息）
京ICP证040431号    互联网出版许可证 新出网证（京）字008号