高可靠系统软件确保若干技术的研究

项目名称： 高可靠系统软件确保若干技术的研究

项目编号： No.60973118

项目类型： 面上项目

立项/批准年度： 2010

项目学科： 自动化技术、计算机技术

项目作者： 耿技

作者单位： 电子科技大学

项目金额： 30万元

中文摘要： 现在很多软件都在不同程度上具有脆弱性和功能执行的非预期性，软件确保的职责就是把这些风险减少至最低。高可靠系统软件通常应用于对国民经济、政治有重大影响的领域，确保其软件安全尤为重要。本项目首先对影响高可靠系统软件的可靠性影响因子进行研究，建立基于模糊贝叶斯网络的软件可靠性预测模型；其次在该模型基础上进行基于软件缺陷的自动测试技术研究，具体思路是首先进行软件测试用例自动生成算法研究，构建基于最优测试剖面（OTP）和软件操作剖面（SOP）测试优化；最后，采用第二阶段的测试结果，结合第一阶段可靠性预测模型，对可靠性的影响因子进行形式化描述，构建一个新的可靠性量化评估模型。本项目对提高高可靠系统软件的可靠性及量化评估都提供了一种非常有益的思路。

中文关键词： 软件测试；软件可靠性；软件生存性；；

英文摘要：

英文关键词： software testing；software reliability；software survivability；；