Please use this identifier to cite or link to this item: http://repositorio.inesctec.pt/handle/123456789/4429
Title: A Model-Based Approach for Product Testing and Certification in Digital Ecosystems
Authors: Bruno Carvalhido Lima
João Pascoal Faria
Issue Date: 2016
Abstract: In a growing number of domains, such as ambient-assisted living (AAL) and e-health, the provisioning of end-to-end services to the users depends on the proper interoperation of multiple products from different vendors, forming a digital ecosystem. To ensure interoperability and the integrity of the ecosystem, it is important that candidate products are independently tested and certified against applicable interoperability requirements. Based on the experience acquired in the AAL4ALL project, we propose in this paper a model-based approach to systematize, automate and increase the assurance of such testing and certification activities. The approach encompasses the construction of several models: a feature model, an interface model, a product model, and unit and integration test models. The abstract syntax and consistency rules of these models are specified by means of metamodels written in UML and Alloy and automatically checked with Alloy Analyzer. Using the model finding capabilities of Alloy Analyzer, integration tests can be automatically generated from the remaining models, through the composition and instantiation of unit tests. Examples of concrete models from the AAL4ALL project are also presented.
URI: http://repositorio.inesctec.pt/handle/123456789/4429
http://dx.doi.org/10.1109/icstw.2016.22
metadata.dc.type: conferenceObject
Publication
Appears in Collections:CSIG - Articles in International Conferences

Files in This Item:
File Description SizeFormat 
P-00K-Q6C.pdf917.48 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.