作者：乔木; 曾一; 林宏状态图测试序列同步问题有限状态机
摘要：对于由通信有限状态机构成的状态图的可同步测试序列的生成策略,一种现有的方法是由状态图生成相应的积自动机,然后采用有限状态机的测试序列生成策略.这种方法存在组合空间爆炸问题和测试序列的同步问题.在定义了测试序列的两类同步问题的基础上,提出了基于多测试驱动的测试模型MTM和基于该模型的测试序列生成策略,该策略在不生成积自动机的情况下,通过同步锁和相应的策略解决两种类型的同步问题,避免了组合空间爆炸问题.
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
