高级检索

    朱继盛, 林家骏. 一种基于程序状态的随机测试模型[J]. 华东理工大学学报(自然科学版), 1999, (1): 71-74.
    引用本文: 朱继盛, 林家骏. 一种基于程序状态的随机测试模型[J]. 华东理工大学学报(自然科学版), 1999, (1): 71-74.

    一种基于程序状态的随机测试模型

    • 摘要: 讨论了马尔可夫链模型在随机程序测试中的应用。在建立了程序的马尔可夫链测试模型和马尔可夫链使用模型的基础上,提出了衡量测试完备性的量化计算公式和估计程序平均失败频率的计算公式。测试结果证实了其可行性和正确性。

       

      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.

       

    /

    返回文章
    返回