UIO sequence based checking sequences for distributed test architectures

被引:26
作者
Hierons, RM [1 ]
Ural, H
机构
[1] Brunel Univ, Dept Informat Syst & Comp, Uxbridge UB8 3PH, Middx, England
[2] Univ Ottawa, Sch Informat Technol & Engn, Ottawa, ON K1N 6N5, Canada
关键词
distributed testing; controllability; observability; test coordination; UIO sequences; checking sequences;
D O I
10.1016/S0950-5849(03)00060-0
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
This study addresses the construction of a preset checking sequence that will not pose controllability (synchronization) and observability (undetectable output shift) problems when applied in distributed test architectures that utilize remote testers. The controllability problem manifests itself when a tester is required to send the current input and because it did not send the previous input nor did it receive the previous output it cannot determine when to send the input. The observability problem manifests itself when a tester is expecting an output in response to either the previous input or the current input and because it is not the one to send the current input, it cannot determine when to start and stop waiting for the output. Based on UIO sequences, a checking sequence construction method is proposed to yield a sequence that is free from controllability and observability problems. (C) 2003 Elsevier B.V. All rights reserved.
引用
收藏
页码:793 / 803
页数:11
相关论文
共 18 条
[1]  
Aho A. V., 1988, P IEEE 8 INT S PROT, P75
[2]   THE SYNCHRONIZATION PROBLEM IN PROTOCOL TESTING AND ITS COMPLEXITY [J].
BOYD, S ;
URAL, H .
INFORMATION PROCESSING LETTERS, 1991, 40 (03) :131-136
[3]   Controllability and observability in distributed testing [J].
Cacciari, L ;
Rafiq, O .
INFORMATION AND SOFTWARE TECHNOLOGY, 1999, 41 (11-12) :767-780
[4]  
CHAN WYL, 1989, COMP COMM R, V19, P283, DOI 10.1145/75247.75274
[5]   SYNCHRONIZABLE TEST SEQUENCES BASED ON MULTIPLE UIO SEQUENCES [J].
CHEN, WH ;
URAL, H .
IEEE-ACM TRANSACTIONS ON NETWORKING, 1995, 3 (02) :152-157
[6]   FORMAL METHODS FOR GENERATING PROTOCOL CONFORMANCE TEST SEQUENCES [J].
DAHBURA, AT ;
SABNANI, KK ;
UYAR, MU .
PROCEEDINGS OF THE IEEE, 1990, 78 (08) :1317-1326
[7]  
Gill A., 1962, INTRO THEORY FINITE
[8]  
GUYOT S, 1995, P IFIP IWPTS 95 EVR, P395
[9]  
Hennie F. C., 1964, P 5 ANN S SWITCH CIR, P95, DOI 10.1109/SWCT.1964.8
[10]   Testing from a finite-state machine: Extending invertibility to sequences [J].
Hierons, RM .
COMPUTER JOURNAL, 1997, 40 (04) :220-230