论文部分内容阅读
对软件测试建立动态运行模型,提出基于逻辑统计特征描述的软件测试方法。通过软件运行的统计特征对软件运行状态在可行域中的风险进行评估,从而得到软件测试的一个量化安全指标。最后从工程角度提出了有现实意义的软件测试框架,并从数学上证明了该框架的有效性。有一个隐含前提,就是程序应该是实际系统的拟合,程序功能模块的划分对实际系统所具有的逻辑约束与自身稳定性不构成破坏。