526 Hits in 3.1 sec

Coverage of OCL Operation Specifications and Invariants [chapter]

Mathias Soeken, Julia Seiter, Rolf Drechsler
2015 Lecture Notes in Computer Science  
Calculate operation call and subexpression coverage 2.  ...  UML class diagram m with OCL constraints, operation call sequences S 1. Operation call coverage: How many operations from m have been called in S? 2.  ... 
doi:10.1007/978-3-319-21215-9_12 fatcat:jegr7qy2zrdstcnjusuguzdjwu

Specification-driven model transformation testing

Esther Guerra, Mathias Soeken
2013 Journal of Software and Systems Modeling  
Recently, we proposed a formal specification language for the declarative formulation of transformation properties (by means of invariants, pre-and postconditions) from which we generated partial oracle  ...  Testing model transformations poses several challenges, among them the automatic generation of appropriate input test models and the specification of oracle functions.  ...  This work has been sponsored by the Spanish Ministry of Science and Innovation with project "Go-Lite" (TIN2011-24139), by the R&D program of the Community of Madrid with project "e-Madrid" (S2009/TIC-1650  ... 
doi:10.1007/s10270-013-0369-x fatcat:oia3pa3m75h6ze5v2hxv573pqa


Jalila A., Jeya Mala D.
2015 ICTACT Journal on Soft Computing  
Furthermore, it has been observed that OCL and CPM form an excellent combination for performing functional testing at the earliest to improve software quality with reduced cost.  ...  Specification-based testing is one of the major criterions to detect faults in the requirement specification or design of a software system.  ...  ACKNOWLEDGMENT This paper is a part of the UGC major research project supported by University Grants Commission (UGC), New Delhi, India.  ... 
doi:10.21917/ijsc.2015.0152 fatcat:obgfdjzidzabnpnhpemmzec34e


2015 Journal of Engineering Science and Technology  
Accordingly, the possible faults in OCL specification of the system has been anticipated by mutating its method based on OCL predicate-based fault classes.  ...  This research work has proposed an automated fault-based testing framework to test the specification of the system using Object Constraint Language (OCL).  ...  Acknowledgment This paper is a part of the UGC major research project supported by University Grants Commission (UGC), New Delhi, India.  ... 
doaj:4a808bd0da7d4848bd7bc8dd4a8dd73a fatcat:xwa54picynbkzluyhodbtau23a

Continuing a Benchmark for UML and OCL Design and Analysis Tools [chapter]

Martin Gogolla, Jordi Cabot
2016 Lecture Notes in Computer Science  
UML and OCL are frequently employed languages in model-based engineering. OCL is supported by a variety of design and analysis tools having different scopes, aims and technological corner stones.  ...  It puts forward a set of UML and OCL models together with particular questions centered around OCL and the notions consistency, independence, consequences, and reachability.  ...  of the benchmark and improve this way it's coverage.  ... 
doi:10.1007/978-3-319-50230-4_22 fatcat:q5z4gonuzfdlldfkvpj5nl74qi

Assembling Scenario Patterns for Checking Model Behavior

Nisha Desai, Martin Gogolla
2020 Journal of Object Technology  
We explain the catalogue applicability through a collection of exemplary models and validate our proposal through a study conducted with UML and OCL experts.  ...  For checking behavioral model properties, operation call sequences, i.e., dynamic scenarios, can be used, and developers must identify relevant scenarios.  ...  Acknowledgments Reviewers and ECMFA program chairs kept us running. They provided critical, very fruitful contributions that helped a lot to improve the work.  ... 
doi:10.5381/jot.2020.19.2.a19 fatcat:zkojxqektzcrhhmjpowzvqetwu

Multiobjective Genetic Algorithm for Class Testing using OCL Class Contract Specifications: A Framework

Syed Muhammad Saqlain Shah, Rehan Farooq, Abdullah Alharbi, Hashem Alyami, Islam Zada, Faiz Ali Shah, Zhongguo Yang
2022 Scientific Programming  
in the form of Object Management Group (OMG) standard and Object Constraint Language (OCL) semiformal language).  ...  The proposed approach helps us to improve the testing of Unified Modeling Language (UML) model-based software, by testing the conformance to semiformal class operation contract specifications (specified  ...  A specification-based testing approach was proposed, which used class contracts specified in the form of OCL constraints (class invariants, preconditions, and postconditions).  ... 
doi:10.1155/2022/3708422 fatcat:lyqouu6vk5cqleq6kxt4rdsrsy

Dynamic Validation of Maude Prototypes of UML Models [chapter]

Francisco Durán, Manuel Roldán, Antonio Moreno, José María Álvarez
2014 Lecture Notes in Computer Science  
Specifically, using mOdCL • invariants are represented by state predicates, • operations by Maude rules, and • pre-and postconditions by predicates as well.  ...  and compiler in the OBJ algebraic specification family • supports MEL and RL specification and programming • Supported by a formal toolkit • execution of specifications • reachability analysis •  ... 
doi:10.1007/978-3-642-54624-2_11 fatcat:puyahiwxcbhyhnxf4mdwsmjmfe

User Assistance Characteristics of the USE Model Checking Tool

Frank Hilken, Martin Gogolla
2017 Electronic Proceedings in Theoretical Computer Science  
We demonstrate how the tool supports modelers to analyze, validate and verify UML and OCL models via the use of several graphical means that assist the modeler in interpreting and visualizing formal model  ...  Together with the Object Constraint Language (OCL), formal models can be described by defining the structure and behavior with UML and additional OCL constraints.  ...  We thank Subi Aili for his contributions to the configuration GUI -ideas and implementation -in his diploma thesis.  ... 
doi:10.4204/eptcs.240.7 fatcat:5ahkxhd6knhyxmgrj6gqxl6fyi

Model Finding in the EMF Ecosystem

Jesús Sánchez Cuadrado, Martin Gogolla
2020 Journal of Object Technology  
containing about 300 valid EMF/OCL specifications.  ...  It has a rich ecosystem of plug-ins and tools built with and for it, including the option of enriching meta-models with OCL constraints.  ...  The coverage of OCL features depends on the support of the USE MV, but our approach based on OCL IR rewritings allows us to circumvent some of its limitations and to increase the coverage (see Sect. 6)  ... 
doi:10.5381/jot.2020.19.2.a10 fatcat:ae44bf66g5bhpbjyslvkbmk2n4

Evaluation of the Contract-Aware Software Development Process in a Controlled Experiment [chapter]

A. Derezińska, P. Ołtarzewski
2014 Lecture Notes in Electrical Engineering  
In the experiment different development phases and their products were evaluated. As a result a high consistency between contract specification at a model and a code level was confirmed.  ...  Therefore we have designed and performed a controlled experiment analyzing the crucial parts of the process.  ...  It also supports comprehensive interpretation of OCL constraints (invariants of classes, preand post-conditions of operations) and transform them into contracts from the MS Code Contracts library [7]  ... 
doi:10.1007/978-3-319-06764-3_45 fatcat:snc5mf522vdl3aqrmxl4pazisi

Exploiting design patterns to automate validation of class invariants

Brian A. Malloy, James F. Power
2006 Software testing, verification & reliability  
The Object Constraint Language, OCL, is used to express the class invariants [3, 44] .  ...  Language, OCL.  ...  ACKNOWLEDGEMENTS The authors would like to acknowlege the contribution of Tanton H. Gibbs and Edward B. Duffy to sections of the keystone codebase.  ... 
doi:10.1002/stvr.327 fatcat:lidri4aqhvepfnic5f4qe42icm

Measuring Test Properties Coverage for Evaluating UML/OCL Model-Based Tests [chapter]

Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand, Safouan Taha
2011 Lecture Notes in Computer Science  
We propose in the paper a test property specification language, dedicated to UML/OCL models.  ...  Properties have the semantics of an event-based transition system whose coverage can be measured so as to evaluate the relevance of a given test suite.  ...  This test generator takes as input model based tests in UML/OCL and generated tests aiming at the structural coverage of the OCL code describing the behaviors of the class operations.  ... 
doi:10.1007/978-3-642-24580-0_4 fatcat:d6ip7vl55fe2hj47fiy4tt6u6i

Systematic Engineering of Mutation Operators

Pablo Gómez-Abajo, Esther Guerra, Juan de Lara, Mercedes G. Merayo
2020 Journal of Object Technology  
It includes a domain-specific language to describe the mutation operators, facilities to synthesize models that can be used to test the operators, different metrics to analyse operator coverage, and services  ...  to generate operators when the coverage is insufficient.  ...  community and our team, and has been a crucial part of the work presented in this paper.  ... 
doi:10.5381/jot.2020.19.3.a5 fatcat:r7myq34rkfcudeqjzw5t5c3ueq

Automatic Generation of Acceptance Test Cases from Use Case Specifications: an NLP-based Approach

Chunhui Wang, Fabrizio Pastore, Arda Goknil, Lionel Briand
2020 IEEE Transactions on Software Engineering  
specifications in natural language, with the goal of reducing the manual effort required to generate test cases and ensuring requirements coverage.  ...  Given that requirements specifications are typically large and often provided in natural language (e.g., use case specifications), the generation of acceptance test cases tends to be expensive and error-prone  ...  ACKNOWLEDGMENTS We gratefully acknowledge funding from FNR and IEE S.A.  ... 
doi:10.1109/tse.2020.2998503 fatcat:f7ve42c7qzdnjjqrjr24f6apsm
« Previous Showing results 1 — 15 out of 526 results