A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Coverage of OCL Operation Specifications and Invariants
[chapter]
2015
Lecture Notes in Computer Science
Preserved Fulltext
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
2013
Journal of Software and Systems Modeling
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
OCL-BASED TEST CASE GENERATION USING CATEGORY PARTITIONING METHOD
2015
ICTACT Journal on Soft Computing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
EARLY IDENTIFICATION OF SOFTWARE DEFECTS USING OCL PREDICATES TO IMPROVE SOFTWARE QUALITY
2015
Journal of Engineering Science and Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2016
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2020
Journal of Object Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2022
Scientific Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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]
2014
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
• 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
2017
Electronic Proceedings in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2017 pre-print arXiv:1701.08471v1 fatcat:xi4ud3xhgffllg37ydbvnnamni
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
2020
Journal of Object Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2014
Lecture Notes in Electrical Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2006
Software testing, verification & reliability
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2011
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2020
Journal of Object Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2020
IEEE Transactions on Software Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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