ISO, Information Technology---OSI, Geneva, Switzerland, ISO Int'l Standard 9646: Conformance Testing Methodology and Framework, 1991. 16  Home/Search   Document Not in Database   Summary   Related Articles   Check

....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 proofs of a polynomial time solution are given in the Appendix. 2 Motivation During testing, ....

.... 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 proofs of a polynomial time solution are given in the Appendix. 2 Motivation During testing, traversing each state transition of an IUT requires a ....

[Article contains additional citation context not shown here]

ISO, Information Technology---OSI, Geneva, Switzerland, ISO Int'l Standard 9646: Conformance Testing Methodology and Framework, 1991. 16

....for state verification throughout the paper. However, the results presented also are applicable to test generation that uses the distinguishing or characterizing sequences [3, 12] Two different test suites are considered. The first suite combines the testing of valid and inopportune transitions [11]. An inopportune transition occurs when an IUT receives an input not expected in its current state. In general, an inopportune transition is modeled as a self loop, the unexpected input is simply ignored. The second suite considers testing the valid and inopportune transitions separately. We show ....

....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 categories: valid and inopportune ....

[Article contains additional citation context not shown here]

ISO, Information Technology---OSI, Geneva, Switzerland. ISO Int'l Standard 9646: Conformance Testing Methodology and Framework, 1991.

.... adopted by most researchers and practitioners about the test context is that it is fault free and therefore testing should focus on the IUT [34, 36] The compliance of the IUT to its specification can only be verified from the global system behavior by examining the SUT s input and output events [12]. In a practical embedded testing environment [27] where an IUT communicates with the test context consisting of multiple entities, a tester may have differing degrees of controllability on the interactions between these entities and the IUT [18, 12] It may not be possible for a tester to ....

.... by examining the SUT s input and output events [12] In a practical embedded testing environment [27] where an IUT communicates with the test context consisting of multiple entities, a tester may have differing degrees of controllability on the interactions between these entities and the IUT [18, 12]. It may not be possible for a tester to directly apply some of the inputs defined in the finite state machine (FSM) model of an IUT; similarly, a tester may be unable to observe some of the outputs generated by the IUT. Those interactions that are not directly controllable are most likely to ....

[Article contains additional citation context not shown here]

ISO, INFORMATION TECHNOLOGY---OSI. ISO Int'l Standard 9646: Conformance Testing Methodology and Framework. Geneva, Switzerland, 1991.

....In an ideal situation, it should be possible to apply to the IUT every possible input that is defined in the protocol specification. In reality, testers may not have a direct access to all of an IUT s interfaces. In a testing framework containing an (N) layer IUT, the (N 1) Service Provider [9], and the upper layer, the IUT s interfaces with the upper layer or the peer entities (such as timers, etc. typically are not directly accessible (with an exposed interface only between the IUT and the (N 1) Service Provider) If this is the case, the interactions that involve these not ....

....an IUT, which interacts with FSMs. implemented inside the SUT, interact with the IUT through interfaces . The points at which a testing system can apply inputs to and observe outputs from the IUT are called points of control and observation (PCOs) [9]. Each IUT s interface is associated with a full duplex PCO through which inputs and outputs can be exchanged. As introduced in [8] each input can be one of three different types: 1) directly controllable: a tester can directly apply the input to the IUT through the PCO; 2) semicontrollable: a ....

[Article contains additional citation context not shown here]

ISO, Information Technology---OSI, Geneva, Switzerland. ISO Int'l Standard 9646: Conformance Testing Methodology and Framework, 1991.

....by the testers. Unfortunately, in practice, these two situations often are not possible. Testers may not have a direct access to all interface(s) in which the IUT accepts inputs. Typically, for an (N) layer IUT, an exposed interface exists only between the IUT and the (N1) Service Provider [12]. Interfaces with the upper layer, or with the peer entities (such as timers, etc. are not directly accessible. In such cases, the interactions that involve these not directly controllable interfaces introduce non determinism and or race conditions during testing, leaving certain portions of the ....

....Under Test (SUT) contains an IUT, which interacts with F FSMs. FSM, FSMF, implemented inside the SUT, interact with the IUT through interfaces I, IF. The points at which a testing system can apply inputs to and observe outputs from the IUT are called points of control and observation (PCOs) [12]. Each IUT s interface is associated with a full duplex PCO through which inputs and outputs can be exchanged. The inputs can be of three different types: directly controllable: a tester can directly apply the inputs to the IUT through the PCO semlcontrollable: a tester cannot directly apply ....

[Article contains additional citation context not shown here]

ISO, Information Technology--OSI, Geneva, Switzerland. ISO Int'l Standard 9636: Conformance Testing Methodology and Framework, 1991.

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