On minimizing the lengths of checking sequences

被引：82
|
作者：
Ural, H
Wu, XL
Zhang, F
机构：
[1] BELL NO RES LTD, OTTAWA, ON K1Y 4H7, CANADA
[2] CITY UNIV HONG KONG, DEPT COMP SCI, KOWLOON, HONG KONG
来源：
IEEE TRANSACTIONS ON COMPUTERS | 1997年 / 46卷 / 01期
基金：
加拿大自然科学与工程研究理事会;
关键词：
finite state machines; fault detection; checking experiments; checking sequences; testing;
D O I：
10.1109/12.559807
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
A general model for constructing minimal length checking sequences employing a distinguishing sequence is proposed. The model is based on characteristics of checking sequences and a set of state recognition sequences. Some existing methods are shown to be special cases of the proposed model and are proven to construct checking sequences. The minimality of the resulting checking sequences is discussed and a heuristic algorithm for the construction of minimal length checking sequences is given.
引用
收藏
页码：93 / 99
页数：7
相关论文
共 50 条
  • [1] Lower bounds on lengths of checking sequences
    Jourdan, Guy-Vincent
    Ural, Hasan
    Yeniguen, Huesnue
    Zhang, Ji Chao
    [J]. FORMAL ASPECTS OF COMPUTING, 2010, 22 (06) : 667 - 679
  • [2] Reducing the lengths of checking sequences by overlapping
    Ural, Hasan
    Zhang, Fan
    [J]. TESTING OF COMMUNICATION SYSTEMS, PROCEEDINGS, 2006, 3964 : 274 - 288
  • [3] Probabilistic Approach for Minimizing Checking Sequences for Non-deterministic FSMs
    Kushik, Natalia
    Yevtushenko, Nina
    Lopez, Jorge
    [J]. TESTING SOFTWARE AND SYSTEMS, ICTSS 2023, 2023, 14131 : 237 - 243
  • [4] Minimizing orifice meter installation lengths
    Morrow, T
    Kelner, E
    Bowles, E
    [J]. PIPELINE & GAS JOURNAL, 2000, 227 (07) : 38 - 45
  • [5] A STUDY OF MINIMIZING SEQUENCES
    POLAK, E
    WARDI, YY
    [J]. SIAM JOURNAL ON CONTROL AND OPTIMIZATION, 1984, 22 (04) : 599 - 609
  • [6] CONVERGENCE OF MINIMIZING SEQUENCES
    LOONEY, CG
    [J]. JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS, 1977, 61 (03) : 835 - 840
  • [7] Compactness of minimizing sequences
    Boccardo, Lucio
    Gallouet, Thierry
    [J]. NONLINEAR ANALYSIS-THEORY METHODS & APPLICATIONS, 2016, 137 : 213 - 221
  • [8] THE CONSTRUCTION OF MINIMIZING SEQUENCES
    PLOTNIKOV, VI
    SUMIN, MI
    [J]. DIFFERENTIAL EQUATIONS, 1983, 19 (04) : 420 - 425
  • [9] Cycle lengths in sequences of permutations
    Mendelsohn, NS
    [J]. UTILITAS MATHEMATICA, 1996, 49 : 173 - 183
  • [10] THE COMPLEXITY OF MINIMIZING WIRE LENGTHS IN VLSI LAYOUTS
    BHATT, SN
    COSMADAKIS, SS
    [J]. INFORMATION PROCESSING LETTERS, 1987, 25 (04) : 263 - 267
12345