一种基于程序状态的随机测试模型
-
摘要: 讨论了马尔可夫链模型在随机程序测试中的应用。在建立了程序的马尔可夫链测试模型和马尔可夫链使用模型的基础上,提出了衡量测试完备性的量化计算公式和估计程序平均失败频率的计算公式。测试结果证实了其可行性和正确性。Abstract: The application of Markov train model in random program testing is discussed in this paper. Having established the Markov usage model and Markov testing model respectively, the algorithms to evaluate testing completeness and to estimate mean failure frequency are proposed. Their availability and correctness have been validated in testing.