软件Markov测试的使用链及测试充分性研究

基于有限Markov链理论,形式化的描述了软件统计测试,提出了一种频率计数算法,它能够同时解决软件Markov测试中存在的两个难题1.建立精确的使用链(或用户剖面);2.确定满足测试充分性的最优用例数。算例表明该算法是十分有效的。