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

被引：13

作者：

郑志明 ^{[1
,2
]}

马世龙 ^{[3
]}

李未 ^{[3
]}

韦卫 ^{[2
]}

姜鑫 ^{[1
]}

张占利 ^{[2
]}

郭炳晖 ^{[1
]}

机构：

[1] 北京航空航天大学数学、信息与行为教育部重点实验室

[2] 北京大学数学科学学院

[3] 北京航空航天大学软件开发环境国家重点实验室

来源：

中国科学(F辑:信息科学) | 2009年 / 39卷 / 09期

关键词：

软件可信性; 可信特征属性; 演化复杂性; 动力系统;

D O I：

暂无

中图分类号：

TP311.52 [];

学科分类号：

081202 ; 0835 ;

摘要：

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

引用

页码：946 / 950

页数：5

共 7 条

[1] Stability and instability of Liapunov-Schmidt and Hopf bifurcation for a free boundary problem arising in a tumor model [J].

Friedman, Avner ;

Hu, Bei .

TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 2008, 360 (10) :5291-5342

[2]

Symmetry-breaking bifurcation of analytic solutions to free boundary problems: An application to a model of tumor growth[J] . Avner Friedman,Fernando Reitich.tran . 2000 (4)

[3]

BASE[J] . Miguel Castro,Rodrigo Rodrigues,Barbara Liskov.ACM Transactions on Computer Systems (TOCS) . 2003 (3)

[4] ON THE PREDICTION OF COMPUTER IMPLEMENTATION FAULTS VIA STATIC ERROR PREDICTION MODELS [J].

TRIANTAFYLLOS, G ;

VASSILIADIS, S ;

KOBROSLY, W .

JOURNAL OF SYSTEMS AND SOFTWARE, 1995, 28 (02) :129-142

[5]

A two-dimensional mapping with a strange attractor[J] . M. Hénon.Communications in Mathematical Physics . 1976 (1)

[6]

Complexity of software trustworthiness and its dynamical statistical analysis methods[J] . ZhiMing Zheng,ShiLong Ma,Wei Li,Xin Jiang,Wei Wei,LiLi Ma,ShaoTing Tang.Science in China Series F: Information Sciences . 2009 (9)

[7]

Leverag ing architectural models to inject trust into software systems .2 Banerjee S,Mattmann C A,Medvidovic N,et al. Proceedings of the Workshop on Software Engineering for Secure Systems——Building Trustworthy Applications . 2005

← 1 →