状态图中可同步测试序列生成策略

对于由通信有限状态机构成的状态图的可同步测试序列的生成策略，一种现有的方法是由状态图生成相应的积自动机，然后采用有限状态机的测试序列生成策略。这种方法存在组合空间爆炸问题和测试序列的同步问题。在定义了测试序列的两类同步问题的基础上，提出了基于多测试驱动的测试模型MTM和基于该模型的测试序列生成策略，该策略在不生成积自动机的情况下，通过同步锁和相应的策略解决两种类型的同步问题，避免了组合空间爆炸问题。

Synchronizable test sequences generation methods in statecharts

This paper discusses the approach of the generation of synchronizable test sequences in a statechart which consisting of a set of communicating finite state machines. One existing approach is to generate the product machine from a state chart and then apply standard finite state machine test technique. This approach may, however, suffer from a combinatorial explosion. Instead, this paper discusses two kinds of synchronizable problems and presents a multiple tester model (MTM) of a statechart and test sequences generation approaches that using this model. The approaches can solve the two kinds of synchronizable problems by using concurrent locks without the generation of the product machine and avoid a combinatorial explosion.