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

被引:1
作者
朱继盛
林家骏
王行愚
机构
[1] 华东理工大学自动化所
关键词
软件测试;黑盒测试;随机测试;马尔可夫链;
D O I
10.14135/j.cnki.1006-3080.1999.01.018
中图分类号
TP311.1 [程序设计];
学科分类号
081202 ; 0835 ;
摘要
讨论了马尔可夫链模型在随机程序测试中的应用。在建立了程序的马尔可夫链测试模型和马尔可夫链使用模型的基础上,提出了衡量测试完备性的量化计算公式和估计程序平均失败频率的计算公式。测试结果证实了其可行性和正确性。
引用
收藏
页码:75 / 78
页数:4
相关论文
empty
未找到相关数据