M. S. Chen, Y. Choi, and A. Kershenbaum, "Minimal length test sequences for protocol conformance," in Proc. First Network Management and Control Workshop, (New York, NY), 1989.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....Laboratory Program, Cooperative Agreement DAAL0196 2 0002. Dr. Uyar performed this research while a Visiting Associate Professor at University of Delaware. OFF BOTHTIMERS ON TOP UPDATE TIMER ON TOP UPDATE REQ TIMER INACTIVE 25,26,30,32,35] ON 30,32,34,35] T[ 7,8,12,13,15,20, 25,30,32,35] T[ 7,8,10,12,13,14, 15,17,19,20,28,29, 30,32,34,35] T[ 2 6,7,8,25,26,32,35] T[ 9,11,16,18,22,27,33] T[ 9,11,16,18,22,27,29,33] T[23] T[23] T[21] T[24] T[31] T[29] T[31] T[31] T[31] T[1] T[21,29] T[24] Figure 1: Extended FSM for Topology Update module of MIL STD 188 220B. a solution for this optimization problem is presented in Section 6. Existence ....

....[16] Shen et al. 10] Ural and Lu [13] presented optimization methods using multiple UIO sequences for a given state. By taking advantage of repeated subsequences in a test sequence, heuristics to overlap the subsequences and further shorten the final test sequence are proposed by Chen et al. [14, 15], Yang and Ural [9] and Miller and Paul [4, 5] All of these methods emphasize optimizing the test sequence length and its cost, without considering any restrictions on the order in which the tests can be applied to an IUT. One important restriction is due to timers that may be active in a given ....

M. S. Chen, Y. Choi, and A. Kershenbaum, "Minimal length test sequences for protocol conformance," in Proc. First Network Management and Control Workshop, (New York, NY), 1989.

....that there is a limit on the number of self loop transitions traversed consecutively. OFF BOTHTIMERS ON TOP UPDATE TIMER ON TOP UPDATE REQ TIMER INACTIVE 25,26,30,32,35] ON 30,32,34,35] T[ 7,8,12,13,15,20, 25,30,32,35] T[ 7,8,10,12,13,14, 15,17,19,20,28,29, 30,32,34,35] T[ 2 6,7,8,25,26,32,35] T[ 9,11,16,18,22,27,33] T[ 9,11,16,18,22,27,29,33] T[23] T[23] T[21] T[24] T[31] T[29] T[31] T[31] T[31] T[1] T[21,29] T[24] Figure 1: Extended FSM for Topology Update module of MIL STD 188 220A. In general, the majority of tests defined for an IUT are classified into two ....

....length (and cost) using UIO sequences to perform the last step of the above single transition test. A UIO sequence of a state is a sequence of edges starting at such that the output sequence generated by these edges is unique for . The existing methods for conformance test generation [1, 16, 17, 19, 3, 12, 21, 23, 6, 7, 28] emphasize optimizing the test sequence length and its cost, without considering any restrictions on the order in which the tests can be applied to an IUT. However, an optimization technique for generating realizable tests must consider the additional restriction that there is a limit on the ....

[Article contains additional citation context not shown here]

M. S. Chen, Y. Choi, and A. Kershenbaum. Minimal length test sequences for protocol conformance. In Proc. First Network Management and Control Workshop, New York, NY, 1989.

.... extended FSM (i.e. FSM with memory) representing a portion of the Intranet Layer of 188 220B, called the Topology Update (TU) is shown in Figure 1 [10] The equivalent FSM model of OFF BOTHTIMERS ON TOP UPDATE TIMER ON TOP UPDATE REQ TIMER INACTIVE 25,26,30,32,35] ON 30,32,34,35] T[ 7,8,12,13,15,20, 25,30,32,35] T[ 7,8,10,12,13,14, 15,17,19,20,28,29, 30,32,34,35] T[ 2 6,7,8,25,26,32,35] T[ 9,11,16,18,22,27,33] T[ 9,11,16,18,22,27,29,33] T[23] T[23] T[21] T[24] T[31] T[29] T[31] T[31] T[31] T[1] T[21,29] T[24] Figure 1: Extended FSM for Topology Update module of MILSTD 188 220B. ....

.... representing a portion of the Intranet Layer of 188 220B, called the Topology Update (TU) is shown in Figure 1 [10] The equivalent FSM model of OFF BOTHTIMERS ON TOP UPDATE TIMER ON TOP UPDATE REQ TIMER INACTIVE 25,26,30,32,35] ON 30,32,34,35] T[ 7,8,12,13,15,20, 25,30,32,35] T[ 7,8,10,12,13,14, 15,17,19,20,28,29, 30,32,34,35] T[ 2 6,7,8,25,26,32,35] T[ 9,11,16,18,22,27,33] T[ 9,11,16,18,22,27,29,33] T[23] T[23] T[21] T[24] T[31] T[29] T[31] T[31] T[31] T[1] T[21,29] T[24] Figure 1: Extended FSM for Topology Update module of MILSTD 188 220B. Topology Update has 10 states and 345 state transitions. In 8 ....

[Article contains additional citation context not shown here]

M. S. Chen, Y. Choi, and A. Kershenbaum. Minimal length test sequences for protocol conformance. In Proc. First Network Management and Control Workshop, New York, NY, 1989.

.... are not taken into consideration during the test generation, most tests will result in either an 2 BOTHTIMERS OFF BOTHTIMERS ON TOP UPDATE TIMER ON TOP UPDATE REQ TIMER INACTIVE T[ 7,8,12,13,15,20, 25,26,30,32,35] ON T[ 15,17,19,20,26,28, 30,32,34,35] T[ 7,8,12,13,15,20, 25,30,32,35] T[ 7,8,10,12,13,14, 15,17,19,20,28,29, 30,32,34,35] T[ 2 6,7,8,25,26,32,35] T[ 9,11,16,18,22,27,33] T[ 9,11,16,18,22,27,29,33] T[23] T[23] T[21] T[24] T[31] T[29] T[31] T[31] T[31] T[1] T[21,29] T[24] Fig. 1. Extended FSM for Topology Update module of MIL STD 188 220B. inconclusive verdict or, worse, a wrong verdict (i.e. failing the IUTs even ....

....Shen et al. 10] Ural and Lu [13] presented optimization methods using multiple UIO sequences for a given state. By taking advantage of repeated edge subsequences in a test sequence, heuristics to overlap the subsequences and further shorten the final test sequence are proposed by Chen et al. [14,15], Yang and Ural [9] and Miller and Paul [4,5] All of these methods emphasize optimizing the test sequence length and its cost, without consid5 ering any restrictions on the order in which the tests can be applied to an IUT. One important restriction is due to timers that may be active in a ....

M. S. Chen, Y. Choi, and A. Kershenbaum, "Minimal length test sequences for protocol conformance," in Proc. First Network Management and Control Workshop, (New York, NY), 1989.

.... ON TOP UPDATE TIMER ON TOP UPDATE REQ TIMER INACTIVE T[ 7,8,12,13,15,20, 25,26,30,32,35] ON T[ 15,17,19,20,26,28, 30,32,34,35] T[ 7,8,12,13,15,20, 25,30,32,35] T[ 7,8,10,12,13,14, 15,17,19,20,28,29, 30,32,34,35] T[ 2 6,7,8,25,26,32,35] T[ 9,11,16,18,22,27,33] T[ 9,11,16,18,22,27,29,33] T[23] T[23] T[21] T[24] T[31] T[29] T[31] T[31] T[31] T[1] T[21,29] T[24] Figure 1: Extended FSM for Topology Update module of MIL STD 188 220B. distinguishing sequences [14, 15] or characterizing sequences [14, 15] Example 2: Timing constraints in MIL STD 188220B The University of Delaware s ....

.... ON TOP UPDATE TIMER ON TOP UPDATE REQ TIMER INACTIVE T[ 7,8,12,13,15,20, 25,26,30,32,35] ON T[ 15,17,19,20,26,28, 30,32,34,35] T[ 7,8,12,13,15,20, 25,30,32,35] T[ 7,8,10,12,13,14, 15,17,19,20,28,29, 30,32,34,35] T[ 2 6,7,8,25,26,32,35] T[ 9,11,16,18,22,27,33] T[ 9,11,16,18,22,27,29,33] T[23] T[23] T[21] T[24] T[31] T[29] T[31] T[31] T[31] T[1] T[21,29] T[24] Figure 1: Extended FSM for Topology Update module of MIL STD 188 220B. distinguishing sequences [14, 15] or characterizing sequences [14, 15] Example 2: Timing constraints in MIL STD 188220B The University of Delaware s Protocol ....

[Article contains additional citation context not shown here]

M. S. Chen, Y. Choi, and A. Kershenbaum, "Minimal length test sequences for protocol conformance," in Proc. First Network Management and Control Workshop, (New York, NY), 1989.

.... ON TOP UPDATE TIMER ON TOP UPDATE REQ TIMER INACTIVE T[ 7,8,12,13,15,20, 25,26,30,32,35] ON T[ 15,17,19,20,26,28, 30,32,34,35] T[ 7,8,12,13,15,20, 25,30,32,35] T[ 7,8,10,12,13,14, 15,17,19,20,28,29, 30,32,34,35] T[ 2 6,7,8,25,26,32,35] T[ 9,11,16,18,22,27,33] T[ 9,11,16,18,22,27,29,33] T[23] T[23] T[21] T[24] T[31] T[29] T[31] T[31] T[31] T[1] T[21,29] T[24] Figure 1: Extended FSM for Topology Update module of MIL STD 188 220A. 2 Motivation During testing, to realize a state transition takes a certain amount of time. A test sequence that traverses many consecutive self loops in a ....

.... ON TOP UPDATE TIMER ON TOP UPDATE REQ TIMER INACTIVE T[ 7,8,12,13,15,20, 25,26,30,32,35] ON T[ 15,17,19,20,26,28, 30,32,34,35] T[ 7,8,12,13,15,20, 25,30,32,35] T[ 7,8,10,12,13,14, 15,17,19,20,28,29, 30,32,34,35] T[ 2 6,7,8,25,26,32,35] T[ 9,11,16,18,22,27,33] T[ 9,11,16,18,22,27,29,33] T[23] T[23] T[21] T[24] T[31] T[29] T[31] T[31] T[31] T[1] T[21,29] T[24] Figure 1: Extended FSM for Topology Update module of MIL STD 188 220A. 2 Motivation During testing, to realize a state transition takes a certain amount of time. A test sequence that traverses many consecutive self loops in a state ....

[Article contains additional citation context not shown here]

M. S. Chen, Y. Choi, and A. Kershenbaum, "Minimal length test sequences for protocol conformance," in Proc. First Network Management and Control Workshop, (New York, NY), 1989.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC