To the top

Page Manager: Webmaster
Last update: 9/11/2012 3:13 PM

Tell a friend about this page
Print version

Verification of Migrated … - University of Gothenburg, Sweden Till startsida
Sitemap
To content Read more about how we use cookies on gu.se

Verification of Migrated Product Lines

Conference paper
Authors Mukelabai Mukelabai
Published in Proceedings of the 22nd International Systems and Software Product Line Conference
ISBN 978-1-4503-5945-0
Publisher ACM
Publication year 2018
Published at Department of Computer Science and Engineering, Computing Science (GU)
Language en
Links dx.doi.org/10.1145/3236405.3236428
Keywords Software Product Lines, Verification, Clone-and-Own, Migration
Subject categories Computer and Information Science

Abstract

Maintaining several code bases (e.g., clones) of software variants in an application domain remains a widespread development practice, though costly and error-prone. Despite the many benefits that come with using the product-line approach, many companies are hesitant to migrate to an integrated platform for their product variants because such a migration is considered challenging and risky. Often this perception is because the migration is seen as a drastic change that is not easy to verify and assure developers that the migrated products still operate as before. In this research we propose to develop a language structure (or abstract representation) of artifacts in a software asset base that would facilitate an incremental migration of several code bases to an integrated platform. We further seek to propose and evaluate techniques for verifying the migrated product line with respect to its original code bases.

Page Manager: Webmaster|Last update: 9/11/2012
Share:

The University of Gothenburg uses cookies to provide you with the best possible user experience. By continuing on this website, you approve of our use of cookies.  What are cookies?