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