D. Hogrefe. On the development of a standard for conformance testing based on formal specifications. (Elsevier) Comput. Stand. Interf., 14(3):185--190, 1992. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Test Generation In The Presence Of Conflicting Timers - Fecko, Uyar, Duale, Amer (2000) (Correct)
....edges and is not disrupted by timeout events during traversal (i.e. contains only feasible transitions) In Section 3, a model will be introduced that allows the generation of test sequences satisfying the above criteria. 2. 2 Related work Conformance test generation is an active research area [1, 3, 9, 11, 14, 17, 18]. The related work on testing systems with timing dependencies focuses on testing the so called Timed Automata (TA) 2, 16] which are a formalism primarily used in system verification. However, there is relatively little work reported in the literature on successful application of timed automata ....
D. Hogrefe. On the development of a standard for conformance testing based on formal specifications. (Elsevier) Comput. Stand. Interf., 14(3):185--190, 1992.
Test Generation In The Presence Of Conflicting Timers - Fecko, Uyar, Duale, Amer (2000) (Correct)
....and is not disrupted by timeout events during traversal (i.e. contains only feasible transitions) In Section 3. a model will be introduced that allows the generation of test sequences satisfying the above criteria. 3 2. 2 RELATED WORK Conformance test generation is an active research area [1, 3, 9, 11, 14, 17, 18]. The related work on testing systems with timing dependencies focuses on testing the so called Timed Automata (TA) 2, 16] which are a formalism primarily used in system veri cation. However, there is relatively little work reported in the literature on successful application of timed automata ....
D. Hogrefe. On the development of a standard for conformance testing based on formal specications. Comput. Stand. Interf., 14(3):185-190, 1992.
SDL and MSC Based Test Case Generation - An Overall View of the.. - Grabowski (1994) (2 citations) (Correct)
....description techniques SDL, Estelle, LOTOS [16] and MSC [26] The application of these languages in protocol standards should support implementation, validation and conformance testing of communication protocols. For this reason the joint project Formal Methods in Conformance Testing (FMCT) [18, 23] of ISO IEC and ITU TS formalizes CTMF, i.e. adapts and extends CTMF to meet the specific needs of conformance testing for formally specified protocols. This chapter also deals with the conformance testing of formally described protocols. Therefore CTMF and FMCT can not be treated independently ....
D. Hogrefe. On the Development of a Standard for Conformance Testing based on Formal Specifications. Computer Standards & Interfaces 14, 1992.
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