NDLI: On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing

Content Provider	IEEE Xplore Digital Library
Author	Sen, S. Baudry, B. Mottu, J.-M.
Copyright Year	2008
Description	Author affiliation: IRISA/INRIA, Univ. Rennes 1, Rennes, France (Sen, S.; Baudry, B.; Mottu, J.-M.)
Abstract	Testing remains a major challenge for model transformation development. Test models that are used as test data for model transformations, are constrained by various sources of knowledge that is expressed in different formalisms. Thus, in order to automatically generate test models it is necessary to interpret these different sources of knowledge and combine them into a consistent set of information that can be used for model synthesis. In this paper, we identify sources of testing knowledge and present our tool Cartier that uses Alloy as the first-order relational logic language to represent combined knowledge in the form of constraints. The constraints are solved leading to a selection of qualified test models from the input domain of a model transformation. We illustrate our approach using the Unified Modeling Language class diagram to relational database management systems transformation as a running example.
Starting Page	328
Ending Page	337
File Size	866228
Page Count	10
File Format	PDF
ISBN	9780769531274
DOI	10.1109/ICST.2008.62
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2008-04-09
Publisher Place	Norway
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Software testing Performance evaluation alloy Unified modeling language model tranformation Relational databases testing Logic testing Boolean functions Automatic testing Software systems Concrete Robustness cartier
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing (2008)

2008 International Conference on Software Testing, Verification, and Validation On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing

On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing

On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing

On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing

Ontology-Based Automatic Model Transformations

On combining multi-formalism knowledge to select models for model transformation testing (2008)

Consistency Reflection for Automatic Update of Testing Environment

On transformations from UML models to object-relational databases

On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing

Similar Documents

On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing (2008)

2008 International Conference on Software Testing, Verification, and Validation On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing

On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing

On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing

On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing

Ontology-Based Automatic Model Transformations

On combining multi-formalism knowledge to select models for model transformation testing (2008)

Consistency Reflection for Automatic Update of Testing Environment

On transformations from UML models to object-relational databases

On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing