✦ LIBER ✦

Generating conformance tests for nondeterministic protocol machines

✍ Scribed by Gang Luo

Book ID: 112947521
Publisher: Springer
Year: 1994
Tongue: English
Weight: 741 KB
Volume: 9
Category: Article
ISSN: 1000-9000
DOI: 10.1007/bf02943576

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the synthesis of adaptive tests for n

On the synthesis of adaptive tests for nondeterministic finite state machines

✍ M. L. Gromov; N. V. Evtushenko; A. V. Kolomeets 📂 Article 📅 2008 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 197 KB

Verification and conformance test genera

Verification and conformance test generation of communication protocol for railway signaling systems

✍ Jae-Dong Lee; Jae-Il Jung; Jae-Ho Lee; Jong-Gyu Hwang; Jin-Ho Hwang; Sung-Un Kim 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 501 KB

On deriving test suites for nondetermini

On deriving test suites for nondeterministic finite state machines with time-outs

✍ N. V. Shabaldina, R. F. Galimullin 📂 Article 📅 2012 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 306 KB

Optimal transfer trees and distinguishin

Optimal transfer trees and distinguishing trees for testing observable nondeterministic finite-state machines

✍ Fan Zhang; To-yat Cheung 📂 Article 📅 2003 🏛 IEEE 🌐 English ⚖ 433 KB

An extended-UIO-based method for protoco

An extended-UIO-based method for protocol conformance testing

✍ Giacomo Buonanno; Franco Fummi; Donatella Sciuto 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 335 KB

Veri®cation of protocols is performed through conformance testing. The aim of this paper is to introduce the conformance test generation approach for protocols described by means of Finite State Machines. A functional fault model is adopted and the state discrimination is performed by applying an ex

Iterative automatic test generation meth

Iterative automatic test generation method for telecommunication protocols

✍ G. Kovács; Z. Pap; G. Csopaki; K. Tarnay 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 282 KB