Challenges of a Validation Process Based on Models: An Industrial Case Study - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Bell Labs Technical Journal Année : 2012

Challenges of a Validation Process Based on Models: An Industrial Case Study

Résumé

To those familiar with network modeling and its advantages across different phases of system development, the thought of generating test cases based on informal specifications would sound unreal. However, manual test generation is still a current practice in industry. Given that the use of models provides many distinct advantages, why is it not more widespread in the validation phase? This paper presents a case study of a network protocol validation. We present a process for formalizing system specifications and applying a model-based approach for test generation, and consider how AGATHA, a tool developed by an academic community, can encourage industrial interest in efficient practices such as model-based testing (MBT). The drawbacks and advantages observed during our experiments are discussed.
Fichier non déposé

Dates et versions

hal-03954330 , version 1 (24-01-2023)

Identifiants

Citer

Elisangela Rodrigues Vieira, Dario Vieira, Jean-Pierre Gallois. Challenges of a Validation Process Based on Models: An Industrial Case Study. Bell Labs Technical Journal, 2012, 17 (1), pp.229-246. ⟨10.1002/bltj.21533⟩. ⟨hal-03954330⟩
3 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More