精确同步Markov测试帧的研究与设计

在分析传统做法的基础上,提出了一种新的自适应的方法,在进行Markov测试时的链路延时和处理延时可以动态地根据运行环境自动调整,从而保证Markov测试帧的精确同步。使用该方法解决Markov测试帧的同步问题能很好地满足应用需求,在实际应用中已表现出了良好的效果。

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

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

基于有限Markov链的软件测试的最优用例数研究

基于有限Markov链理论和软件统计测试，提出了一种频率计数算法．该算法能够同时解决软件Markov测试中存在的两个基本困难，即建立精确的使用链和确定满足测试充分性的最优用例数．综合考虑了测试执行时间，算例表明了该算法的有效性．