基于同步有向图的同步测试序列生成方法

使用多测试单元的测试系统可以对多端口协议实现进行一致性测试，但是在进行这种一致性测试时，测试系统各个端口之间可能会出现同步问题，现在，解决同步问题常用的办法是在测试单元相应端口之间增加同步连接，然后通过此同步连接相互发送同步消息来进行同步，多端口协议和其它类型的分布式系统可以用有限状态机模型来描述，目前，同步问题被分为双端口同步问题，多端口同步问题，紧同步问题等多种类型，该文考虑两种有限状态机测试问题，第一种是面向端口的测试，不考虑有限状态机测试单元之间的通信问题，第二种面向组的测试，有限状态机中的各个端口被分成互不相关的多个组，属于不同组中的测试单元之间互不通信，该文提出了一种基于同步有向图的同步测试序列生成方法，这种生成方法适用于Pair同步，Port同步和组同步问题，并且，这种方法也可以用来判断如何在非同步测试序列中增加同步通信，将非同步测试序列转化为同步测试序列。

Generation Method of Synchronous Test Sequence Based on Synchronous Digraph

Test system with multi tester can perform conformance test for multi port protocol, among which synchronization problems are encountered. External synchronization links between testers of ports are added and synchronization operations are added to test sequence to solve this problem. The finite state machine (FSM) model is commonly used for specifying communication protocols and other types of distributed systems. A synchronous test sequence of an FSM is a test sequence for which the synchronization problem either does not exist or can be solved by communication between testers. Previous works on synchronous test sequences of an FSM bring forward several types of synchronization problem including pair synchronization test problem, multi port synchronization test problem, and tight synchronization test problem. In this paper, two synchronization test problems are considered for an FSM: port based testing, which does not allow testers for the FSM to communicate with each other, and group based testing, which divides ports of the FSM into mutually disjoint groups and allows testers for ports in the same group to communicate with each other. This paper proposes a new synchronous test sequence generation method based on synchronous digraph, which is suitable for pair, port and group synchronization problem. A method to judge how to add external synchronization operations in a nonsynchronous test sequence to change it to synchronous one is also proposed.