软件可信复杂性及其动力学统计分析方法 | |
郑志明 ; 马世龙 ; 李未 ; 姜鑫 ; 韦卫 ; 马丽丽 ; 唐绍婷 | |
2009 | |
关键词 | 软件可信性 可信属性指标 动力系统 不变测度 |
英文摘要 | 可信软件已成为现代软件技术发展和应用的重要趋势和必然选择.目前,关于软件可信性度量与评测方法无法完全有效地对软件系统的安全可靠运行提供保障.基于动力系统理论,文中诠释了软件系统的行为特性及其可信复杂性的基本科学问题,分析和讨论了软件可信性的复杂性特征,提出了通过可信复杂性研究软件可信性度量的观点.利用动力学统计分析方法给出了软件系统可信性统计指标的不变测度评测方法,给出了软件系统不可信的动力学判据.通过实例,采用数值模拟与理论分析方法验证了动力学统计分析方法在软件可信性度量方面的可行性.; 国家重点基础研究发展计划,国家自然科学基金; 中国科学引文数据库(CSCD); 10; 1050-1054; 39 |
语种 | 中文 |
出处 | CSCD |
出版者 | 中国科学. F辑, 信息科学 |
内容类型 | 其他 |
源URL | [http://hdl.handle.net/20.500.11897/423229] ![]() |
专题 | 数学科学学院 |
推荐引用方式 GB/T 7714 | 郑志明,马世龙,李未,等. 软件可信复杂性及其动力学统计分析方法. 2009-01-01. |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论