收藏本站
《中国科学(F辑:信息科学)》 2009年09期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

软件可信性动力学特征及其演化复杂性

郑志明  马世龙  李未  韦卫  姜鑫  张占利  郭炳晖  
【摘要】:可信软件已成为现代软件技术发展和应用的重要趋势和必然选择,而软件可信性建模已成为构造可信软件的先决条件和必要手段.为了探讨和阐明软件可信性的基本科学问题、建立软件可信性度量的理论基础,文中结合动力系统的基本思想探讨软件可信性及其演化规律,研究在各种内部和外部因素作用下软件可信性演化的动力学机制,并建立相应的动力学模型,从而软件系统的可信性可以认为是软件系统在动态开放环境下其行为的统计特性.通过对两个简单实例的建模分析,说明了软件系统可信属性的极限演化行为与动力系统特征的对应关系,诠释了软件可信性的动力学特征及其演化复杂性.

【相似文献】
中国期刊全文数据库 前10条
1 陈火旺,王戟,董威;高可信软件工程技术[J];电子学报;2003年S1期
2 闵应骅;容错计算二十五年[J];计算机学报;1995年12期
3 赵玲;软件可靠性与维修性[J];电子产品可靠性与环境试验;1997年02期
4 杨启善;IEC/TC56简介[J];电子标准化与质量;1999年06期
5 杨春霞;周佩玲;刘隽;郭立;周涛;;基于虚拟股市的演化复杂性度量与分析[J];中国科学技术大学学报;2006年05期
6 郭树行;兰雨晴;金茂忠;;基于目标的软件可信性需求规约方法研究[J];计算机工程;2007年11期
7 ;简讯[J];电子学报;1986年01期
8 徐中伟,吴芳美;软件测试质量的度量[J];计算机工程与应用;2002年21期
9 李新祥;IEC/TC56标准结构─—工具箱概念[J];电子产品可靠性与环境试验;1997年05期
10 ;全国电工电子产品可靠性与维修性标准化技术委员会2003年工作会议纪要[J];电子产品可靠性与环境试验;2003年05期
中国博士学位论文全文数据库 前2条
1 房艳刚;城市地理空间系统的复杂性研究[D];东北师范大学;2006年
2 覃志东;高可信软件可靠性和防危性测试与评价理论研究[D];电子科技大学;2005年
中国硕士学位论文全文数据库 前2条
1 余波;基于Java平台的单元测试技术研究[D];湖南大学;2005年
2 于逊;基于反射技术的防危核研究与实现[D];电子科技大学;2003年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026