【摘 要】
：
有限状态机可以精确地刻画软件系统或其子系统的行为,其在软件建模中被广泛应用.基于有限状态机的测试问题得到了广泛的研究,其中Wp方法由于限制条件较少,并且其可以达到较高
论文部分内容阅读
有限状态机可以精确地刻画软件系统或其子系统的行为,其在软件建模中被广泛应用.基于有限状态机的测试问题得到了广泛的研究,其中Wp方法由于限制条件较少,并且其可以达到较高的错误覆盖度,因此被广泛使用.但当有限状态机的实现中的状态数目的估计值m较大时,产生的测试输入序列数目过多,影响了其使用效率.提出一种Wp方法的改进方法R-Wp方法,使用该方法在m值较大时可以产生相对较少的测试输入序列数目,可以提高测试效率;同时本文对Wp方法和R-Wp方法产生的测试输入序列数目进行了讨论,并证明了该方法与Wp方法相同的错误覆
其他文献
创伤性纵隔血肿是一种临床少见、死亡率高的胸部外伤,早期诊断及时处理是提高抢救成功率的关键.我急救中心从 2003年至今 163例胸部外伤病例中,有一例创伤性纵隔血肿,现报道
1探索"以人为本"管理模式的必要性近年来由于中等职业中专学校生源质量下降,出现了部分学生文化基础差、综合素质低的情况,再加之班主任的工作多由青年教师担任,其工作经验不
本文结合近几年韶关学院体育学院的社会实践工作开展中存在的问题主要有思想认知不够、实践内容形式单一、社会实践机制、评价体系不够完善是影响大学生党员社会实践开展的主
目的进行科学综合防治,降低小学生蛔虫感染.方法驱虫前后蛔虫感染监测,调查学生卫生行为、学校卫生设施.结果驱虫后蛔虫感染明显低于驱虫前(P<.01),乡村学生蛔虫感染明显高于
同志们:这次林业工作会议,是继1997年自治区林业工作会议之后,又一次专题研究加快我区林业发展的重要会议.会议的主要任务是,认真贯彻落实<中共中央、国务院关于加快林业发展
大型科学计算领域需要良好的应用开发和管理环境，以提高应用组件可复性为目标，规范应用软件开发过程和计算工作流程。