Systematic Review of State Based Model Based Testing Tools

Total Page:16

File Type:pdf, Size:1020Kb

Systematic Review of State Based Model Based Testing Tools Systematic Review of State Based Model Based Testing Tools By Muhammad Shafique A thesis submitted to the Faculty of Graduate Studies and Research in partial fulfillment of the requirements for the degree of Master of Applied Science in Electrical and Computer Engineering Ottawa-Carleton Institute of Electrical and Computer Engineering (OCIECE) Department of Systems and Computer Engineering Carleton University Ottawa, Ontario, Canada June 2010 Copyright © 2010 by Muhammad Shafique Library and Archives BibliothSque et 1*1 Canada Archives Canada Published Heritage Direction du Branch Patrimoine de I'gdition 395 Wellington Street 395, rue Wellington OttawaONK1A0N4 OttawaONK1A0N4 Canada Canada Your file Votre reference ISBN: 978-0-494-71563-5 Our file Notre reference ISBN: 978-0-494-71563-5 NOTICE: AVIS: The author has granted a non­ L'auteur a accorde une licence non exclusive exclusive license allowing Library and permettant a la Biblioth&que et Archives Archives Canada to reproduce, Canada de reproduire, publier, archiver, publish, archive, preserve, conserve, sauvegarder, conserves transmettre au public communicate to the public by par telecommunication ou par Tlnternet, preter, telecommunication or on the Internet, distribuer et vendre des theses partout dans le loan, distribute and sell theses monde, a des fins commerciales ou autres, sur worldwide, for commercial or non­ support microforme, papier, electronique et/ou commercial purposes, in microform, autres formats. paper, electronic and/or any other formats. The author retains copyright L'auteur conserve la propriete du droit d'auteur ownership and moral rights in this et des droits moraux qui protege cette these. Ni thesis. Neither the thesis nor la these ni des extraits substantiels de celle-ci substantial extracts from it may be ne doivent etre imprimes ou autrement printed or otherwise reproduced reproduits sans son autorisation. without the author's permission. In compliance with the Canadian Conformement a la loi canadienne sur la Privacy Act some supporting forms protection de la vie privee, quelques may have been removed from this formulaires secondaires ont ete enleves de thesis. cette these. While these forms may be included Bien que ces formulaires aient inclus dans in the document page count, their la pagination, il n'y aura aucun contenu removal does not represent any loss manquant. of content from the thesis. •+• Canada CuJ iii The undersigned recommend to the Faculty of Graduate Studies and Research acceptance of the thesis Systematic Review of State Based Model Based Testing Tools submitted by Muhammad Shafique in partial fulfillment of the requirements for the degree of Master of Applied Science Professor Y. Labiche (Thesis Supervisor) Professor H. M. Schwartz (Department Chair) Carleton University June 2010 iv ACKNOWLEDGEMENTS First and foremost, I offer sincere thanks to my supervisor Dr. Yvan Labiche for all his guidance, patience and knowledge throughout my research. This thesis would not have been completed without his encouragement. I gained a lot of confidence from scheduled as well as casual research and technical discussions with him. His timely feedbacks kept me on right track throughout my research work at SQUALL. I also thank to my family and friends for their help and encouragement. Their constant moral support and kindness proved a vital catalyst. Last but not least, I would like to thank all my colleagues at SQUALL for their cooperation and support. I also learnt from them. Thank you all for cheering and caring me. V ABSTRACT Model-based testing (MBT) is about testing a software system by using a test model of its behaviour. MBT helps in early fault detection and facilitates the automation of many testing activities such as regression testing. To get proper benefits from MBT, (ideally full) automation support is required. This thesis presents a systematic review of prominent MBT tool support where mainly we focus on tools from industry and research which use different state/transition based models. The systematic review protocol describes the scope of this work and the steps involved in tool selection. Evaluation criteria are used to compare selected tool supports and comprise support for test coverage criteria, level of automation for various testing activities, and support for the construction of test scaffolding. The results of this systematic review should be of interest to a wide range of stakeholders. First, results should help software companies in selecting the most appropriate model based testing tool for their needs. Second, results should help organizations willing to invest into creating MBT tool support by identifying how to compete with existing support. Third, this study should also be helpful in setting directions of research in MBT since researchers should easily identify gaps between research activities and existing commercial tool support. VI Table of Contents Abstract v 1 INTRODUCTION 1 2 MODEL BASED TESTING 4 2.1 Software Model 4 2.2 Model-Based Testing Process 5 2.2.1 Build the mental model 5 2.2.2 Build the model 7 2.2.3 Generate abstract test cases 8 2.2.4 Execute test cases 8 2.2.5 Analyse test results 9 2.3 Benefits of Model-Based Testing 9 2.4 Limitations of Model-Based Testing 12 2.5 Issues and Future Challenges 13 3 SYSTEMATIC REVIEW PROTOCOL 16 3.1 Scope, Objectives, and Research Questions 16 3.2 Search Process 17 3.3 Inclusion and Exclusion Criteria 18 3.4 Search Strings 18 3.4.1 Population Terms 19 3.4.2 Intervention Terms 1 19 3.4.3 Intervention Terms2 20 3.5 Statistics gained from Search 20 4 SYSTEMATIC REVIEW CRITERIA 22 4.1 Types of Notations 22 4.2 Test Criteria 23 4.2.1 Model Flow Coverage Criteria 24 4.2.2 Script Flow Coverage Criteria 25 4.2.3 Data and Requirements Coverage Criteria 27 4.3 Tool Automation Criteria 28 4.3.1 Model Creation 28 4.3.2 Model Verification 29 4.3.3 Sub-models 29 4.3.4 Test Case Generation 29 4.3.5 Test Case Execution 29 4.3.6 Test Case Debugging 30 4.3.7 Requirements Traceability 30 4.3.8 Regression Testing 30 4.4 Test Scaffolding Criteria 31 4.4.1 Test Adapter Creation 31 4.4.2 Test Oracle Automation 32 vii 4.4.3 Stub creation 32 4.4.4 Offline Testing 32 4.4.5 Online Testing 33 4.5 Miscellaneous Criteria 33 4.5.1 Modeling Notations 33 4.5.2 Tool Category 33 4.5.3 Software Domain 34 4.5.4 Target Platform 34 5 EVALUATION 35 5.1 Tools 35 5.1.1 GOTCHA-TCBeans 35 5.1.2 mbt 37 5.1.3 MOTES 40 5.1.4 NModel 41 5.1.5 TestOptimal 43 5.1.6 Spec Explorer 2010 45 5.1.7 AGEDIS 47 5.1.8 ParTeG 50 5.1.9 Qtronic 51 5.1.10 Test Designer 52 5.1.11 Rhapsody Automatic Test Generation 54 5.1.12 Rational SDL and TTCN Suite 55 5.2 Results 57 5.2.1 Comparison 1: Test Criteria 57 5.2.2 Comparison 2: Tool Automation Criteria 62 5.2.3 Comparison 3: Test Scaffolding Criteria 64 5.2.4 Comparison 4: Miscellaneous Criteria 65 6 RELATED WORK 67 7 VALIDITY OF RESULTS 68 7.1 Conclusion validity 68 7.2 Construct validity 69 7.3 External validity 69 8 CONCLUSION AND FUTURE WORK 70 REFERENCES 72 Appendix A Models for MBT 79 A.l Finite State Machine 79 A.2 Extended Finite State Machine 80 A.3 Abstract State Machine 81 A.4 Simulink/Stateflow Chart Machine 82 A.5 UML State Machine 85 A.6 Harel Statecharts 89 A.7 Labeled Transition System 89 viii Appendix B Search Strings 92 B.l ACM Digital Library 92 B.2 IEEE Xplore Digital Library and SpringerLink 93 B.3 ELSEVIER 94 B.4 Wiley InterScience 94 B.5 EI Engineering Village 94 B.6 CiteseerX 94 B.7 Google and Google Scholar 94 IX List of Figures Figure 1 - Finite State Machine [79] 80 Figure 2 - Stateflow chart [17] 83 Figure 3 - A Simple UML state machine with start and end states 86 Figure 4 - A UML state machine with nested, history states and parallel regions 88 Figure 5 - Labeled Transition Systems of a sample Candy Machine, from [93] 90 Figure 6 - Labeled Transition Systems of sample Candy Machine with inputs and outputs 91 X List of Tables Table 1 - State-based AC (adequacy criteria) comparison 59 Table 2 - Script flow (adequacy and coverage) comparison 61 Table 3 - Data and requirements coverage comparisons 62 Table 4 - Automation coverage comparison 64 Table 5 - Test scaffolding criteria comparison 65 Table 6 - Miscellaneous criteria comparison 66 1 1 INTRODUCTION Software testing, that is evaluating software by observing its executions on actual valued inputs [46], is probably the most widely used verification and validation technique. Software testing techniques are usually characterized as being black-box (or functional) or white-box (or structural) depending on whether they rely solely on a specification of the software under test (SUT) or solely on its implementation [48]. Authors also introduce the notion of grey-box testing that mixes information from the specification and the implementation to derive tests [89]. Another term that is more and more used in textbooks and articles is model-based testing (MBT) [5, 7, 17]. Utting and Legeard recognize that this term has different acceptations and they focus on one which is the automation of the design of black-box tests [99]. In this thesis we consider a slightly broader definition and consider model-based testing as the support of one or more (the more the merrier) software testing activities from a model of the SUT behaviour.
Recommended publications
  • Multidisciplinary Design Project Engineering Dictionary Version 0.0.2
    Multidisciplinary Design Project Engineering Dictionary Version 0.0.2 February 15, 2006 . DRAFT Cambridge-MIT Institute Multidisciplinary Design Project This Dictionary/Glossary of Engineering terms has been compiled to compliment the work developed as part of the Multi-disciplinary Design Project (MDP), which is a programme to develop teaching material and kits to aid the running of mechtronics projects in Universities and Schools. The project is being carried out with support from the Cambridge-MIT Institute undergraduate teaching programe. For more information about the project please visit the MDP website at http://www-mdp.eng.cam.ac.uk or contact Dr. Peter Long Prof. Alex Slocum Cambridge University Engineering Department Massachusetts Institute of Technology Trumpington Street, 77 Massachusetts Ave. Cambridge. Cambridge MA 02139-4307 CB2 1PZ. USA e-mail: [email protected] e-mail: [email protected] tel: +44 (0) 1223 332779 tel: +1 617 253 0012 For information about the CMI initiative please see Cambridge-MIT Institute website :- http://www.cambridge-mit.org CMI CMI, University of Cambridge Massachusetts Institute of Technology 10 Miller’s Yard, 77 Massachusetts Ave. Mill Lane, Cambridge MA 02139-4307 Cambridge. CB2 1RQ. USA tel: +44 (0) 1223 327207 tel. +1 617 253 7732 fax: +44 (0) 1223 765891 fax. +1 617 258 8539 . DRAFT 2 CMI-MDP Programme 1 Introduction This dictionary/glossary has not been developed as a definative work but as a useful reference book for engi- neering students to search when looking for the meaning of a word/phrase. It has been compiled from a number of existing glossaries together with a number of local additions.
    [Show full text]
  • An Investigation Into Student Reactions Towards Rad Versus Traditional Programming Environments for Novice Developers
    Edith Cowan University Research Online Theses : Honours Theses 2009 An investigation into student reactions towards rad versus traditional programming environments for novice developers Pansy Colkers Edith Cowan University Follow this and additional works at: https://ro.ecu.edu.au/theses_hons Part of the Programming Languages and Compilers Commons Recommended Citation Colkers, P. (2009). An investigation into student reactions towards rad versus traditional programming environments for novice developers. https://ro.ecu.edu.au/theses_hons/1219 This Thesis is posted at Research Online. https://ro.ecu.edu.au/theses_hons/1219 Edith Cowan University Copyright Warning You may print or download ONE copy of this document for the purpose of your own research or study. The University does not authorize you to copy, communicate or otherwise make available electronically to any other person any copyright material contained on this site. You are reminded of the following: Copyright owners are entitled to take legal action against persons who infringe their copyright. A reproduction of material that is protected by copyright may be a copyright infringement. Where the reproduction of such material is done without attribution of authorship, with false attribution of authorship or the authorship is treated in a derogatory manner, this may be a breach of the author’s moral rights contained in Part IX of the Copyright Act 1968 (Cth). Courts have the power to impose a wide range of civil and criminal sanctions for infringement of copyright, infringement of moral rights and other offences under the Copyright Act 1968 (Cth). Higher penalties may apply, and higher damages may be awarded, for offences and infringements involving the conversion of material into digital or electronic form.
    [Show full text]
  • UML Modelleme Araçlarının Pratik Kullanım Için Analizi
    UML Modelleme Araçlarının Pratik Kullanım için Analizi Mert Ozkaya1 and Ferhat Erata2 1 Yeditepe Üniversitesi , Ataşehir, İstanbul [email protected] 2 UNIT Bilgi Teknolojileri R&D Ltd., Bornova, Izmir [email protected] Özet. Günümüzde, Unified Modeling Language(UML) pratisyenler tarafından en sık tercih edilen yazılım sistemi modelleme ve tasarlama notasyonu olarak kabul edilmektedir. UML, aynı zamanda, birçok yazılım modelleme aracı tarafın- dan desteklenmektedir, ve bu araçlar sayesinde, pratisyenler yazılım sistem- lerini kolayca UML notasyonunu kullanarak modelleyebilir ve analiz, yazılım kodu üretme, ve işbirliği gibi birçok faydalı değişik işlemler gerçekleştirebilirler. Bu çalışmada, tanınan 11 farklı UML modelleme aracını pratisyenlerin UML’i benimsemeleri açısından önemli olduğunu düşündüğümüz bir grup gereksinim bakımından analiz ettik. Bu gereksinimler başlıca, modellerin tasarımı, model analizi, modelden kod üretme, iş-birliği halinde modelleme, ve genişletilebilir- lik olmaktadır. Model tasarımı gereksinimi, modelleme araçlarının UML diya- gramlarına olan destekleri, yazılım modelleme bakış-açılarına olan destekleri, ve büyük ve karmaşık yazılım modellerinin tasarımına olan destekleri açıların- dan ele alınmaktadır. Model analizi gereksinimi, simülasyon ve doğrulama (hem önceden tanımlanmış doğrulama hem de kullanıcı tanımlı doğrulama) gereksin- imlerine olan destek bakımından incelenmektedir. İş-birliği halinde modelleme gereksinimi ise, senkron ve asenkron olarak çoklu kullanıcı desteği, görev yöne-
    [Show full text]
  • Proceedings of the First Twente Data Management Workshop on XML
    O m s l a g T 7 P C S U I T P D S 5 h . e h T n M O S 0 e c o I i 0 v T 2 . N r n 0 N e B e 0 A e 1 r 4 t e o s E a . 5 + p t x i 7 r 6 h 3 t E i 5 y 2 4 e 1 a n 1 - r t o s 0 5 7 l C f a c 8 3 T n 4 T h 4 6 w d I e 8 T s d 9 e : e n 8 t 0 e 3 1 1 173852-os-CTIT.qxd 08-06-2009 14:33 Pagina 1 2 T E E V D 1 h d n o j o e i s j J t k e c o 1 u a N r 1 h r n d / n s 2 e e e 5 : H t M d / 0 h 2 e i 4 e e i 0 , h 8 r m 0 a : l 4 4 a s j 7 l n t o A r d M v a s i c & T P T W w D r I o o n e M c r f n k e o s t e 2 r e h m d 0 o D 0 i a p n a 4 t g i t o o a s n n o M W C X R f T M o a I e t T r h n k t L s r e a h i e D g o f p i v e a r P a s m t r a t l o F e c b e n a e t s d i i e n f g s s t h E u r o p e a n C o n f e r e n c e o n Twente Data Management M o d e l - D r i v e Workshop on XML Databases n ProceedingsProceedings of theof the first first A r c h Fifth European Conference on i t e c TwenteTwente Data Data Management Management t u r & Information Retrieval e Model-Driven Architecture F o u n WorkshopWorkshop on onXML XML Databases Databases d Foundations and Applications: a t i o n s a Proceedings of the Tools and n & Information& Information Retrieval Retrieval d A TDM 2004 p p Consultancy Track l i c a t i o n TDM 2004 s TDM 2004 : CTIT P r o c e Workshop Proceedings e CTITCTITCTIT Workshop Proceedings d i n g WorkshopWorkshop Proceedings Proceedings s o f t h e T o o l s a n d June, 2009 C o n The Netherlands s u l SecrSecretariatetariat CTITCTIT:Secretariat: Secretariat CTIT: CTIT: t a n 21 June21 2004 June 2004 UniversitySecretariat of UniversityTwente CTIT:University of Twente of Twente c y EnschedeEnschede CTIT CTIT CTIT T Editor: University of Twente r 21 June 2004 a The NetherlandsThe Netherlands PP.O..O.
    [Show full text]
  • Integration of Safety Analysis in Model-Driven Software Development M.A
    Integration of safety analysis in model-driven software development M.A. de Miguel J.F. Briones J. P. Silva A. Alonso Technical University of Madrid, E.T.S.I. Telecomunicacion, Ciudad Universitaria, Madrid 28040, Spain Abstract: Safety critical software requires integrating verification techniques in software development methods. Software architectures must guarantee that developed systems will meet safety requirements and safety analyses are frequently used in the assessment. Safety engineers and software architects must reach a common understanding on an optimal architecture from both perspectives. Currently both groups of engineers apply different modelling techniques and languages: safety analysis models and software modelling languages. The solutions proposed seek to integrate both domains coupling the languages of each domain. It constitutes a sound example of the use of language engineering to improve efficiency in a software-related domain. A model-driven development approach and the use of a platform-independent language are used to bridge the gap between safety analyses (failure mode effects and criticality analysis and fault tree analysis) and software development languages (e.g. unified modelling language). Language abstract syntaxes (metamodels), profiles, language mappings (model transformations) and language refinements, support the direct application of safety analysis to software architectures for the verification of safety requirements. Model consistency and the possibility of automation are found among the benefits. 1 Introduction activities improves the consistency of safety analysis and software development. In this approach, the software In model-driven developments (MDD), (MDD is a paradigm development models are the main focus in safety critical for development of software applications) models are on the software analysis, but safety analysis concepts complement critical path of software development.
    [Show full text]
  • Data State of Play
    Data State of Play Compliance Testing and Interoperability Checking S. Viganó TXT e-solutions M. Millot European Commission DG JRC, Institute for Environment and Sustainability EUR 23045 EN - 2007 The mission of the Institute for Environment and Sustainability is to provide scientific-technical support to the European Union’s Policies for the protection and sustainable development of the European and global environment. European Commission Joint Research Centre Institute for Environment and Sustainability Contact information Michel Millot Address: European Commission, Joint Research Centre, Institute for Environment and Sustainability Spatial Data Infrastructure Unit T.P. 262 Via E. Fermi, 2749 I-21027 Ispra (VA) ITALY E-mail: [email protected] Tel.: +39-0332786146 Fax: +39-0332786325 http://ies.jrc.ec.europa.eu http://www.jrc.ec.europa.eu Stefano Viganó Address: TXT e-solutions Via Frigia, 27 I-20126 Milano (MI) ITALY E-Mail: [email protected] Tel. +39-02257711 Fax.+39-022578994 http://www.txtgroup.com/it/index.shtml Legal Notice Neither the European Commission nor any person acting on behalf of the Commission is responsible for the use which might be made of this publication. Europe Direct is a service to help you find answers to your questions about the European Union Freephone number (*): 00 800 6 7 8 9 10 11 (*) Certain mobile telephone operators do not allow access to 00 800 numbers or these calls may be billed. A great deal of additional information on the European Union is available on the Internet. It can be accessed through the Europa server http://europa.eu/ 2 JRC 41822 EUR 23045 EN ISBN 978-92-79-07817-0 ISSN 1018-5593 DOI 10.2788/55339 Luxembourg: Office for Official Publications of the European Communities © European Communities, 2007 Reproduction is authorised provided the source is acknowledged Printed in Italy 3 Table of Contents 1.
    [Show full text]
  • UML-Tools 2.0 Intern
    Software Systems E ngineering H. Eichelberger, Y. Eldogan, K. Schmid A Comprehensive Analysis of UML Tools, their Capabilities and their Compliance August 2011 Version 2.0 IfI Report Nr. 1/2012 Software Systems Engineering Institut für Informatik Universität Hildesheim Marienburger Platz 22 D-31134 Hildesheim A comprehensive survey of UML tool capabilities and compliance A comprehensive survey of UML tool capabilities and compliance Executive Summary The Unified Modeling Language (UML) has been widely adopted in software engineering prac- tice in industry over the last decade. A large range of different tools have been developed both from industrial providers as well as open source tools. However, due to the complexity of the UML specification it is very difficult for a single tool to support the full range of UML stand- ards faithfully. In practice tools differ significantly in terms of the parts of the UML specifica- tion they support. The decision of a development organization for a specific tool environment is a very significant one, which typically leads to a significant amount of costs (e.g., in terms of training), out of which the licensing costs, though significant, are often only a minor part. Thus, the tool needs to be chosen with very much care. As one aid towards a rational tool selection decision, this report provides the most comprehensive comparison of UML tools currently available. This study provides the most comprehensive assessment of the current tool support. It combines a detailed information collection effort for each individual tool, a broad range of tools analyzed and also analyzed UML compliance as defined by the OMG.
    [Show full text]
  • UML 2 Pour Les Bases De Données Table Des Matières
    =Soutou FM.book Page V Vendredi, 16. f vrier 2007 5:56 17 À Louise et Émile-Barthélémy, mes grands-parents, à Elisabeth, ma mère, pour Paul-Émile, mon trésor de fils. =Soutou FM.book Page VII Vendredi, 16. f vrier 2007 5:56 17 Remerciements Je remercie à nouveau Daniel Vielle, Didier Donsez et Dominique Nanci qui m’ont aidé en 2002 à la finalisation de la première version de cet ouvrage (De UML à SQL, Éditions Eyrolles). J’en profite aussi pour remercier les lecteurs qui ont soulevé des errata, Placide Fresnais, Pascal Chemin et Philippe Peuret. Merci aussi à ceux qui m’ont donné un coup de main pour cette version fortement remaniée, Thierry Millan pour OCL, Matthieu Brucher (alias Miles) et Romain Gallais (alias Nip). Merci enfin à mon éditeur en les personnes d’Éric Sulpice et d’Antoine Derouin d’avoir donné un second souffle à mon travail. © Éditions Eyrolles VII =Soutou FM.book Page IX Vendredi, 16. f vrier 2007 5:56 17 Table des matières Remerciements . VI Avant-propos . 1 À qui s’adresse cet ouvrage ? . 2 Ouvrages relatifs à UML et aux bases de données . 2 Guide de lecture . 4 Conception et normalisation . 4 Programmation SQL2 et SQL3 . 5 Outils du marché . 5 Annexes . 5 Site Web . 5 Conventions typographiques . 5 Contact avec l’auteur . 6 Introduction . 7 Évolution des SGBD relationnels . 7 Les niveaux d’abstraction . 8 Caractéristiques des SGBD . 9 Modèle de données . 10 Que sont devenus les SGBD objet ? . 12 Les SGBD objet-relationnels . 12 Bilan . .14 Du modèle entité-association à UML .
    [Show full text]
  • A Model-Driven Architecture Based Evolution Method and Its Application in an Electronic Learning System
    A Model-Driven Architecture based Evolution Method and Its Application in An Electronic Learning System PhD Thesis Yingchun Tian Software Technology Research Laboratory De Montfort University October, 2012 To my husband, Delin Jing and my mum, Ning Zhang for their love and support Declaration Declaration I declare that the work described in this thesis was originally carried out by me during the period of registration for the degree of Doctor of Philosophy at De Montfort University, U.K., from October 2008 to December 2011. It is submitted for the degree of Doctor of Philosophy at De Montfort University. Apart from the degree that this thesis is currently applying for, no other academic degree or award was applied for by me based on this work. I Acknowledgements Acknowledgements For many years I had been dreaming about receiving a PhD, I would like to thank many people who helped me in achieving this dream in different ways since I undertook the work of this thesis. My deepest gratitude goes to my supervisor, Professor Hongji Yang, for his guidance, support and encouragement throughout my PhD career. He always provided me with many invaluable comments and suggestions for the improvement of the thesis. I am grateful for his leading role fostering my academic, professional and personal growth. Many thanks go to Professor Hussein Zedan and Doctor Wenyan Wu, for examining my PhD thesis and providing many helpful suggestions. My research career will benefit tremendously from the research methodologies to which Professor Zedan and Doctor Wu introduced me. I would like to thank colleagues in Software Technology Research Laboratory at De Montfort University, for their support and feedback, and for providing such a stimulating working atmosphere, Professor Hussein Zedan, Doctor Feng Chen, Doctor Amelia Platt, Doctor Antonio Cau, and many other colleagues.
    [Show full text]
  • Suporte À Edição De UML 2 No Ambiente
    Thaniaˆ Clair de Souza Vargas Suporte a` Edic¸ao˜ de UML 2 no Ambiente SEA Florianopolis´ - SC 2008 Thaniaˆ Clair de Souza Vargas Suporte a` Edic¸ao˜ de UML 2 no Ambiente SEA Orientador: Ricardo Pereira e Silva UNIVERSIDADE FEDERAL DE SANTA CATARINA DEPARTAMENTO DE INFORMATICA´ E ESTAT´ISTICA Florianopolis´ - SC 2008 Trabalho de conclusao˜ de curso submetido a` Universidade Federal de Santa Catarina como parte dos requisitos para obtenc¸ao˜ do grau de Bacharel em Sistemas de Informac¸ao.˜ Profo. Dr. Ricardo Pereira e Silva Orientador Profa. Dra. Patr´ıcia Vilain Universidade Federal de Santa Catarina Profo. Dr. Raul Sidnei Wazlawick Universidade Federal de Santa Catarina Dedico a Deus, minha fam´ılia e ao meu namorado Caio. Agradecimentos Agradec¸o a Deus pela conclusao˜ deste trabalho. Obrigado por dar-me forc¸as, saude´ e muita dedicac¸ao.˜ Aos meus pais, Angela e Noli. Obrigada por me amarem, obrigada por confiarem em mim, obrigada por me darem a oportunidade de existir e de tentar fazer a diferenc¸a. A todos os meus irmaos˜ por acreditarem em mim. Ao Caio, que sempre esteve ao meu lado. Ao meu tio Alberto, que me concedeu a oportunidade de estar aqui. Ao Otavio,´ Ademir e Thiago, colegas que me deram algumas dicas neste trabalho. A todos os meus parentes e amigos por torcerem por mim. Ao professor Ricardo, pela dedicac¸ao,˜ pacienciaˆ e aux´ılio concedido a mim. E finalmente, aos membros da banca examinadora os meus agradecimentos. “Eu irei e cumprirei as ordens do Senhor, porque sei que o Senhor nunca da´ ordens aos filhos dos homens sem antes preparar um caminho pelo qual suas ordens possam ser cumpridas” O Livro de Mormon,´ I Nefi´ 3:7 Resumo O presente trabalho visa oferecer suporte a` edic¸ao˜ de UML 2 no ambiente de desenvolvi- mento de software SEA, tendo como resultado final uma nova versao˜ escrita em linguagem Java do ambiente com a construc¸ao˜ de novas ferramentas que reutilizam funcionalidades de edic¸ao˜ supridas pelo framework OCEAN.
    [Show full text]
  • 1994 Cern School of Computing
    CERN 95-01 20 January 1995 ORGANISATION EUROPÉENNE POUR LA RECHERCHE NUCLÉAIRE CERN EUROPEAN ORGANIZATION FOR NUCLEAR RESEARCH 1994 CERN SCHOOL OF COMPUTING Sopron, Hungary 28 August-10 September 1994 PROCEEDINGS Editors: CE. Vandoni, C. Verkerk GENEVA 1995 pour tous les pays du mande. Ce docu ment (K; all countries of the world. This report-, or peut être reproduit OU traduit on tout oïl en any part of it, may not be reprinted ox trans­ partie Sttnà l'autorisation écrite du Directeur lated without written pcrmisaion of the copy­ p.c:ncr»| du CEFUV, titulaire dn droit d'autour. right holder, the Director-General of CER.N. Dan» lea cas appropriés, cl s'il s'agit d'utiliser I In we via-, permission will be freely granted for le document, à dos fins non commerciales, cette appropriate non-comrnereja| use- autorisation ser* volontiers accordée. If any patentable invention or registrable Le CER.N ne revendique pad la propriété des design is described in the report, GERN makes inventions brcvetables et dessins ou modèles no claim to property rights in it but offers it susceptibles de dépôt qui pourraient elfe for the free use of research institutions, man­ décrits dans le présent di>cu ment; ceux-ci peu­ ufacturer» and others. CERN, however, mety vent être librement utilisés par les instituts de oppose any attempt by a user to C-I&iln any recherche, les industriels et autres intéireaBéfi. proprietary or patent rights in such inventions Cependant, le CERN se réserve te droit de or designs as may be described In the present s'opposer à toute revendication qu'un usager document.
    [Show full text]
  • MDA Tool Support for Model Driven Software Evolution: a Survey
    Madhavi Karanam / International Journal of Computer Science Engineering (IJCSE) MDA Tool Support for Model Driven Software Evolution: A Survey Madhavi Karanam Computer Science and Engineering Department, Sri Venkateswara Engineering College, Suryapet, Telangana, India Email: [email protected] Abstract: The explosive growth of model driven approaches and the emergence of Model Driven Engineering (MDE) have led to the Model-Driven Software Evolution (MoDSE) which is a new paradigm for software evolution. Growing interest in the model driven approaches has largely increased the number of tools into the development environment. Using the modeldescribed by analysts, software tools will do the rest of the task,generating software that will comply with customer's defined requirements.Previous research has shown that the user often do not use or know all of the tools available in the model evolution environment that they regularly use. The common solution to this problem is to provide a means to search through passive help documents. So, choosing the right tool has become very much essential because of the diverse tools usage for MoDSE tasks.The main aim of this paper is to explore the MDA tools to know the automation support provided by these tools in model driven evolution process. It is also aim to know the general list of tools, ease of use, which meets the requirements, support for platform independent models, free and commercial tools etc. It is observed from the survey of various tools that no single tool serves the purpose and there is an enough automation support for activities of Model Driven Software Evolution. Key Words: Model Driven Software Evolution, Model Driven Architecture, MDA Tools.
    [Show full text]