𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Active tester based conformance testing strategy

✍ Scribed by Mária Törő

Book ID
113390163
Publisher
Elsevier Science
Year
1993
Tongue
English
Weight
454 KB
Volume
15
Category
Article
ISSN
0920-5489

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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

[Lecture Notes in Computer Science] Mode
[Lecture Notes in Computer Science] Model-Based Testing of Reactive Systems Volume 3472 || 4 Conformance Testing
✍ Broy, Manfred; Jonsson, Bengt; Katoen, Joost-Pieter; Leucker, Martin; Pretschner 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 406 KB

Testing Is The Primary Hardware And Software Verification Technique Used By Industry Today. Usually, It Is Ad Hoc, Error Prone, And Very Expensive. In Recent Years, However, Many Attempts Have Been Made To Develop More Sophisticated Formal Testing Methods. This Coherent Book Provides An In-depth Ass