Heterogeneous and Distributed Services: Domain-Specific Language testing
Résumé
The pervasiveness of embedded systems offers new opportunities to build added-value services linked to the physical world. These services rely on Highly heterogeneous components communicating within a Distributed environment. Henceforth we will refer to these services as "H&D services". Engineering H&D services is challenging as programmers need not only to describe their business logic, but also manage the diversity of the infrastructure and their programming environments. The Model-Driven Engineering paradigm promotes the modeling of services independently of the underlying platform and rely on code generation facilities. However, there exists no standard method to ensure that the abstract behaviour is consistently transposed to each of the possible concrete targets, and that the quality of service of the generated programs remains reasonable. In this Master Thesis, we describe our approach to validate both the behaviour and the efficiency of programs generated from an abstract description. User-defined tests allow checking of consistency and correctness on the different targets of the behaviour of the abstract concepts we use, while simulations of complex systems give the required performance information.
Domaines
Génie logiciel [cs.SE]
Loading...