Experiment on Using Model-Based Testing for Automatic Tests Generation on a Software Radio Protocol

Abstract: In this paper we present an industrial experiment r po t on the use of automatic tests generation integrated to Model-Based Testing solutions. We det ail the different necessary steps to integrate the automatic tests generation in a model-driven design flow. The case-study is an embedded software radio protocol. UML has been used to model the system with a componentbased approach. The experimented automatic tests generation tool is provided by Smartesting.