摘要
讨论了马尔可夫链模型在随机程序测试中的应用。在建立了程序的马尔可夫链测试模型和马尔可夫链使用模型的基础上,提出了衡量测试完备性的量化计算公式和估计程序平均失败频率的计算公式。测试结果证实了其可行性和正确性。
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.
出处
《华东理工大学学报(自然科学版)》
CAS
CSCD
北大核心
1999年第1期71-74,共4页
Journal of East China University of Science and Technology
关键词
软件测试
随机测试
马氏链
软件开发周期
software testing
black box testing
random testing
Markov chain