Combining Model Refinement and Test Generation for Conformance Testing of the IEEE PHD Protocol Using Abstract State Machines - Archive ouverte HAL Access content directly
Conference Papers Year : 2019

Combining Model Refinement and Test Generation for Conformance Testing of the IEEE PHD Protocol Using Abstract State Machines

(1) , (1) , (1) , (1) , (2) , (2)
1
2
Andrea Bombarda
  • Function : Author
  • PersonId : 1067249
Silvia Bonfanti
  • Function : Author
  • PersonId : 1067250
Angelo Gargantini
  • Function : Author
  • PersonId : 1003379
Marco Radavelli
  • Function : Author
  • PersonId : 1067251
Feng Duan
  • Function : Author
  • PersonId : 1026264
Yu Lei
  • Function : Author
  • PersonId : 1023382

Abstract

In this paper we propose a new approach to conformance testing based on Abstract State Machine (ASM) model refinement. It consists in generating test sequences from ASM models and checking the conformance between code and models in multiple iterations. This process is applied at different models, starting from the more abstract model to the one that is very close to the code. The process consists of the following steps: (1) model the system as an Abstract State Machine, (2) generate test sequences based on the ASM model, (3) compute the code coverage using generated tests, (4) if the coverage is low refine the Abstract State Machine and return to step 2. We have applied the proposed approach to Antidote, an open-source implementation of IEEE 11073-20601 Personal Health Device (PHD) protocol which allows personal healthcare devices to exchange data with other devices such as small computers and smartphones.
Fichier principal
Vignette du fichier
482770_1_En_5_Chapter.pdf (1.08 Mo) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-02526351 , version 1 (31-03-2020)

Licence

Attribution - CC BY 4.0

Identifiers

Cite

Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Marco Radavelli, Feng Duan, et al.. Combining Model Refinement and Test Generation for Conformance Testing of the IEEE PHD Protocol Using Abstract State Machines. 31th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2019, Paris, France. pp.67-85, ⟨10.1007/978-3-030-31280-0_5⟩. ⟨hal-02526351⟩
36 View
7 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More