• 学术研究 • 下一篇
杨晓艺, 兰雨晴, 张越
YANG Xiaoyi, LAN Yuqing, ZHANG Yue
摘要: 随着软件系统质量的提高,用户对软件系统可靠性的需求增加。由于软件系统复杂,加之运行环境中含有不确定性,研究人员较难获取精确的软件可靠性估计。基于非齐次泊松过程(Non-homogeneous Poisson process,NHPP)的软件可靠性模型可将运行环境中的不确定性纳入软件可靠性评估。将环境中的不确定性量化,提出了基于NHPP及广义多项式混沌框架的可靠性模型数值解法,将软件测试环境的不确定性的影响纳入考虑,以完成软件可靠性评估。在量化环境中不确定性的前提下,拟通过分析输入参数状态及分布形式,给出统一广义多项式混沌框架求解常微分方程数值解。为验证上述方法的性能,将三个基于不同的故障检测率的软件可靠性模型的传统解法作为对照,用系列常用统计指标来给出面向不同模型数值求解的表现。结果表明,该数值解法的表现可与三个经典模型解析解的结果媲美。同时,该数值解法能够快速获得模型结果,降低了模型本身的要求,为软件质量保障领域提供了一种高效且实用的分析工具,有较好的推广价值。