基于Markov链路径使用模型的软件统计测试

探讨了建立基于路径使用的 Markov 链模型来分析模块内部代码结构的统计测试方法的可能性。提出将统计理论用于软件的结构测试， 从理论上得出软件的结构可靠性结论。