软件可信复杂性及其动力学统计分析方法

被引：8

作者：

郑志明 ^{[1
,2
]}

马世龙 ^{[3
]}

李未 ^{[3
]}

姜鑫 ^{[1
]}

韦卫 ^{[2
]}

马丽丽 ^{[1
]}

唐绍婷 ^{[1
]}

机构：

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

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

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

来源：

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

关键词：

软件可信性; 可信属性指标; 动力系统; 不变测度;

D O I：

暂无

中图分类号：

TP311.52 [];

学科分类号：

081202 ; 0835 ;

摘要：

可信软件已成为现代软件技术发展和应用的重要趋势和必然选择.目前,关于软件可信性度量与评测方法无法完全有效地对软件系统的安全可靠运行提供保障.基于动力系统理论,文中诠释了软件系统的行为特性及其可信复杂性的基本科学问题.分析和讨论了软件可信性的复杂性特征,提出了通过可信复杂性研究软件可信性度量的观点.利用动力学统计分析方法给出了软件系统可信性统计指标的不变测度评测方法,给出了软件系统不可信的动力学判据.通过实例,采用数值模拟与理论分析方法验证了动力学统计分析方法在软件可信性度量方面的可行性.

引用

页码：1050 / 1054

页数：5

共 10 条

[1] 软件可信性动力学特征及其演化复杂性 [J].

郑志明 ;

马世龙 ;

李未 ;

韦卫 ;

姜鑫 ;

张占利 ;

郭炳晖 .

中国科学(F辑:信息科学), 2009, 39 (09) :946-950

[2] “可信软件基础研究”重大研究计划综述 [J].

刘克 ;

单志广 ;

王戟 ;

何积丰 ;

张兆田 ;

秦玉文 .

中国科学基金, 2008, (03) :145-151

[3] 高可信软件工程技术 [J].

陈火旺 ;

王戟 ;

董威 .

电子学报, 2003, (S1) :1933-1938

[4] 基于软件体系结构的反射式中间件研究 [J].

黄罡 ;

王千祥 ;

梅宏 ;

杨芙清 .

软件学报, 2003, (11) :1819-1826

[5] 不变测度及其计算 [J].

丁玖 ;

周爱辉 .

数学进展, 1998, (04) :22-36

[6]

向量场的分岔理论基础[M]. 高等教育出版社 , 张芷芬等[编著], 1997

[7]

Chaos in the Lorenz equations: a computer-assisted proof[J] . Konstantin Mischaikow,Marian Mrozek.bull . 1995 (1)

[8]

On the existence of invariant measures for piecewise monotonic transformations[J] . A. Lasota,James A. Yorke.tran . 1973

[9]

Cooperative and group testingin verification of dynamic composite Web services. Tsai W T,Chen Y,Paul R,et al. Proc of the28th Annual Int Computer Software and Applications Conf （COMPSAC04） . 2004

[10]

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

← 1 →