%0 Conference Proceedings
%T Combining Model Refinement and Test Generation for Conformance Testing of the IEEE PHD Protocol Using Abstract State Machines
%+ University of Bergamo
%+ University of Texas at Arlington [Arlington]
%A Bombarda, Andrea
%A Bonfanti, Silvia
%A Gargantini, Angelo
%A Radavelli, Marco
%A Duan, Feng
%A Lei, Yu
%Z Part 2: Test Case Generation
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 31th IFIP International Conference on Testing Software and Systems (ICTSS)
%C Paris, France
%Y Christophe Gaston
%Y Nikolai Kosmatov
%Y Pascale Le Gall
%I Springer International Publishing
%3 Testing Software and Systems
%V LNCS-11812
%P 67-85
%8 2019-10-15
%D 2019
%R 10.1007/978-3-030-31280-0_5
%Z Computer Science [cs]
%Z Computer Science [cs]/Networking and Internet Architecture [cs.NI]Conference papers
%X 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.
%G English
%Z TC 6
%Z WG 6.1
%2 https://inria.hal.science/hal-02526351/document
%2 https://inria.hal.science/hal-02526351/file/482770_1_En_5_Chapter.pdf
%L hal-02526351
%U https://inria.hal.science/hal-02526351
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-ICTSS
%~ IFIP-LNCS-11812