P. D. Amer, M. A. Fecko, A. S. Sethi, M. U. Uyar, T. J. Dzik, R. Menell, and M. McMahon, "Using Estelle to evolve MIL-STD 188-220," in Proc. Estelle'98: Int'l Workshop on FDT Estelle, (Evry, France), Nov 1998. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Optimum Test Sequence Generation from Estelle Specifications - Fecko, Uyar, Amer, Sethi Self-citation (Amer Fecko Sethi Uyar) (Correct)
No context found.
P. D. Amer, M. A. Fecko, A. S. Sethi, M. U. Uyar, T. J. Dzik, R. Menell, and M. McMahon, "Using Estelle to evolve MIL-STD 188-220," in Proc. Estelle'98: Int'l Workshop on FDT Estelle, (Evry, France), Nov 1998.
Generation Of Realizable Conformance Tests Under Timing.. - Uyar, Fecko, Sethi, Amer (1998) Self-citation (Amer Fecko Sethi Uyar) (Correct)
....the generated test sequence may not be realizable in a test laboratory. This can result in the incorrect failing of valid implementations. It was during ATIRP sponsored test case generation research for MILSTD 188 220B that the problem of timing constraints was discovered and then studied [11]. In this paper, a solution is given to optimize the test sequence length and cost under the constraint that an Implementation Under Test (IUT) can remain only a limited amount of time in some states during testing, before a timer s expiration forces a state change. The solution augments original ....
.... (UIO) sequences [13] 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] 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 ....
[Article contains additional citation context not shown here]
P. D. Amer, M. A. Fecko, A. S. Sethi, M. U. Uyar, T. J. Dzik, R. Menell, and M. McMahon, "Using Estelle to evolve MIL-STD 188-220," in Proc. Estelle'98: Int'l Workshop on FDT Estelle, (Evry, France), Nov 1998.
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