期刊文献+
共找到1篇文章
< 1 >
每页显示 20 50 100
基于Markov链路径使用模型的软件统计测试 被引量:4
1
作者 高海昌 冯博琴 +1 位作者 曾明 贺晓红 《计算机工程》 EI CAS CSCD 北大核心 2006年第19期20-22,共3页
探讨了建立基于路径使用的Markov链模型来分析模块内部代码结构的统计测试方法的可能性。提出将统计理论用于软件的结构测试,从理论上得出软件的结构可靠性结论。提出具有有限状态、离散时间序列的Markov链作为程序的使用模型和测试模型... 探讨了建立基于路径使用的Markov链模型来分析模块内部代码结构的统计测试方法的可能性。提出将统计理论用于软件的结构测试,从理论上得出软件的结构可靠性结论。提出具有有限状态、离散时间序列的Markov链作为程序的使用模型和测试模型,使用Kullback判别式作为测试链收敛到使用链的判断准则,从理论上证明了测试链到使用链收敛的必然性。理论分析和初步的实验证明该方法是可行和有前途的。 展开更多
关键词 软件统计测试 结构测试 MARKOV链 路径使用模型 Kullback判别式
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部