运行态软件测试技术研究

The Research on the Run-Time Software Testing

中文关键词:  软件测试  运行态  可靠性模型  程序特征空间  软件风险值

英文关键词:software testing  run-time  reliable model  program state-space  software risk values

中文摘要:

      研究了可信软件技术,特别是对软件在运行态下的软件测试和控制方法进行了研究。从运行态软件的可靠模型入手,尝试建立一种通用的新型软件测试框架。根据各种软件的系统资源占用情况和不同类型变量在运行态下的变化,建立了软件的运行态可靠模型。采用统计分析的方法,获得软件的运行风险值,然后基于这些风险值,进行运行态软件的可靠性分析,并在此基础上,尝试软件控制方法的研究。最后通过大量测试实验,验证了运行态软件状态测试方法的有效性。

英文摘要:

      The research of software credibility is focused on,especially on the run-time software testing and control methods.From reliable model of the run-time software testing,a new general software testing frame is tried to establish.According to the resource occupied by different program,and the variables changed on run-time,a new software reliable model is established.Based on the statistics of variables on the run-time software,software risk values are gotten.Then,the software reliability is analyzed and the research on the methods of software run-tme control is started.Last,many experiments have been execute,and the results proved the validity of the run-time software testing frame.