软件可信复杂性及其动力学统计分析方法 |
| |
引用本文: | 郑志明,马世龙,李未,姜鑫,韦卫,马丽丽,唐绍婷.软件可信复杂性及其动力学统计分析方法[J].中国科学F辑:信息科学,2009(10):1050-1054. |
| |
作者姓名: | 郑志明 马世龙 李未 姜鑫 韦卫 马丽丽 唐绍婷 |
| |
作者单位: | 北京航空航天大学数学、信息与行为教育部重点实验室;北京大学数学科学学院;北京航空航天大学软件开发环境国家重点实验室 |
| |
基金项目: | 国家重点基础研究发展计划(批准号:2005CB321900);国家自然科学基金(批准号:60473019)资助项目 |
| |
摘 要: | 可信软件已成为现代软件技术发展和应用的重要趋势和必然选择.目前,关于软件可信性度量与评测方法无法完全有效地对软件系统的安全可靠运行提供保障.基于动力系统理论,文中诠释了软件系统的行为特性及其可信复杂性的基本科学问题.分析和讨论了软件可信性的复杂性特征,提出了通过可信复杂性研究软件可信性度量的观点.利用动力学统计分析方法给出了软件系统可信性统计指标的不变测度评测方法,给出了软件系统不可信的动力学判据.通过实例,采用数值模拟与理论分析方法验证了动力学统计分析方法在软件可信性度量方面的可行性.
|
关 键 词: | 软件可信性 可信属性指标 动力系统 不变测度 |
本文献已被 维普 等数据库收录! |
|