Analyzing Regression Test Selection Techniques
IEEE Transactions on Software Engineering
Designing Data-Intensive Web Applications
Designing Data-Intensive Web Applications
Designing the automatic transformation of visual languages
Science of Computer Programming - Special issue on applications of graph transformations (GRATRA 2000)
Automating the Generation and Sequencing of Test Cases from Model-Based Specifications
FME '93 Proceedings of the First International Symposium of Formal Methods Europe on Industrial-Strength Formal Methods
MDA Explained: The Model Driven Architecture: Practice and Promise
MDA Explained: The Model Driven Architecture: Practice and Promise
Automating Impact Analysis and Regression Test Selection Based on UML Designs
ICSM '02 Proceedings of the International Conference on Software Maintenance (ICSM'02)
The AGEDIS tools for model based testing
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
Automatic Test Generation: A Use Case Driven Approach
IEEE Transactions on Software Engineering
A Framework of Model-Driven Web Application Testing
COMPSAC '06 Proceedings of the 30th Annual International Computer Software and Applications Conference - Volume 02
Model-Driven Software Development: Technology, Engineering, Management
Model-Driven Software Development: Technology, Engineering, Management
Model-driven test-case construction
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Model-Driven Architecture in Practice: A Software Production Environment Based on Conceptual Modeling
Using traceability to support model-based regression testing
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Measuring the functional size of web applications
International Journal of Web Engineering and Technology
Visual ScatterUnit: A Visual Model-Driven Testing Framework of Wireless Sensor Networks Applications
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Model-based testing in practice
FM'05 Proceedings of the 2005 international conference on Formal Methods
Towards model-driven testing of a web application generator
ICWE'05 Proceedings of the 5th international conference on Web Engineering
Practical declarative model transformation with tefkat
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
A model-driven measurement procedure for sizing web applications: design, automation and validation
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Hi-index | 0.00 |
For Model-Driven Engineering to become widely accepted by developers, it is necessarythat its principles and techniques be applied not only to the generation of code from Plat-form Independent Models (PIMs), but more generally to all the phases of the softwarelife-cycle. This paper focuses on the use of PIMs to support automation in the regres-sion testing phase of a system; the proposed framework lets developers record and replaytesting sessions and investigate testing failures at the level of their PIMs; this is madepossible by traceability links automatically weaved into the generated code, wherebydevelopers can follow application execution at the model level. Such traceability linksare created by a modified version of the code generation transformation, automaticallyproduced by means of a Higher-Order Transformation (HOT). A HOT is a transfor-mation that takes as input a transformation (the original code generator) and createsanother transformation (the code generator capable of producing traceability links). TheHOT weaves into the code generator additional rules producing traceability clues thathelp developers link any error to the model features likely to cause it. This approachis particularly helpful in the Web context, where code generation transformations mustfollow changes in the technology and presentation styles. Using HOTs ensures the au-tomatic evolution of the transformation for traceability links when the code generationtransformation changes.