SlideServe
Télécharger Obtenir Pro
Menu
Accueil Pro
Préférences
ApparenceLight Aide et commentaires
© SlideServe · v2026

Automated Fix Generation for Source-View Consistency Maintenance

huslu avatar
huslu
12 diapositives · 231 Views · Sep 08, 2014

Explore a framework for generating fixes to maintain consistency between source code and view automatically. Learn how to involve users when needed. Framework includes data sets, error checking, and generating functions. Discover the law of fix generation, examples, and support for various models. Address open issues such as describing, checking, and generating with languages, ensuring law compliance, and automatic generation possibilities. Bidirectional transformation allows for generation with one error. Conclusion: Fix Generation BX.

Automated Fix Generation for Source-View Consistency Maintenance - slide 1
01 / 12Automated Fix Generation for Source-View Consistency Maintenance
1 / 17

Télécharger la présentation

Automated Fix Generation for Source-View Consistency Maintenance
Une image / un lien ci-dessous est fourni (tel quel) pour télécharger la présentation

Politique de téléchargement : le contenu du site vous est fourni TEL QUEL pour votre information et votre usage personnel ; il ne peut être vendu, concédé sous licence ni partagé sur d’autres sites sans l’accord de son auteur.Le contenu vous est fourni TEL QUEL, pour votre information et votre usage personnel uniquement. Téléchargez la présentation en cliquant sur ce lien. Lors du téléchargement, si vous ne parvenez pas à télécharger une présentation, l’éditeur a peut-être supprimé le fichier de son serveur.Pendant le téléchargement, si vous ne parvenez pas à obtenir une présentation, le fichier a peut-être été supprimé par l’éditeur.

F I N

Plus de contenu associé

Transcription de la présentation

  1. Fix Generation Yingfei Xiong, 2010

  2. BX get Source View put Maintain consistency between source and view automatically.

  3. What if we need users to decide? get Source View ? put1 put2

  4. An Example

  5. Fixes

  6. Framework for Fix Generation • D, the set of data • E, the set of errors • , the check function • , the fix generating function

  7. Law for Fix Generation • Let • We have

  8. Fixes are widely used • Eclipse: Fixes for compilation errors • [Egyed:ASE08] Fixes for UML models • [Dallmeier:ASE09] Fixes for object behavior anomalies • [Chen:LISA10] Fixes for firewall policy faults • ...

  9. Fixes are widely used • Eclipse: Fixes for compilation errors • [Egyed:ASE08] Fixes for UML models • [Dallmeier:ASE09] Fixes for object behavior anomalies • [Chen:LISA10] Fixes for firewall policy faults • ... But little general support is provided

  10. Open Issues • How to describe check and generate? • using general programming languages • using domain-specific languages • How to ensure the law? • check the law • construct only well-defined check and generate (like Boomerang / Beanbag / TGGs) • Is it possible to construct generate automatically? • from consistency rules (like bidirectionalization) • from user operations

  11. Bidirectional Transformation is Fix Generation with One Error • D=S×V • E={e} • check (s, v) | get(s)==v = {} | otherwise = {e} • generate e (s,v) = {fget, fput} • where • fget = (s, get(s)) • fput = (put(s,v), v)

  12. Conclusion Fix Generation BX