Gray Box Coverage Criteria for Testing Graph Pattern Matching

Model transformations (MT) are a core building block of Model-Driven Engineering. The quality of MT specifications and implementations is vital to their success. The well-researched formal underpinning of graph transformation (GT) theory allows for proving quality-relevant properties and enables stringent implementations. Yet, in practice, MT implementations often depend on verification/validation techniques based on dynamic testing. This work presents a new gray box coverage approach for systematic testing of GT-based MT implementations and pattern specifications. The approach uses GT specifics and  enforces systematic testing by examining variable binding and unbinding steps, thereby not making further assumptions about the underlying pattern matching algorithm. A family of coverage criteria is defined as temporal logic (LTL) formulae, and the  effectiveness of concrete criteria in limiting the testing effort is examined by an example

On the Realization of TractsTool

Model transformations play an important role in Model-Driven Engineering (MDE), and as their size and complexity grow, there is an increasing need to count on tool support for testing their correctness. In this presentation, we introduce TractsTool, a tool for specifying and testing several different kinds of model transformations, e.g., model-to-model, model-to-text, and text-to-model transformations, based on contracts. We explain the main principles behind the tool, demonstrate some of its capabilities by a running example, and show how it is internally realized by using MDE techniques. In particular, we describe the transformation chain that is used to compute the test results. TractsTool with accompanying information is available at: http://atenea.lcc.uma.es/index.php/Main_Page/Resources/Tract

A Method for Developing Model to Text Transformations

In the field of business process development, model transformations play a key role, for example for moving from business process models to either code or inputs for simulation systems, as well as to convert models expressed with notation A into equivalent models expressed with notation B. In the literature, many cases of useful transformations of business process models can be found. However, in general each transformation has been developed in an ad-hoc fashion, at a quite low-level, and its quality is often neglected. To ensure the quality of the transformations is important to apply to them all the well-known software engineering principles and practices, from the requirements definition to the testing activities. For this reason, we propose a method, MeDMoT, for developing non-trivial Model to Text Transformations, which prescribes how to: (1) capture and specify the transformation requirements; (2) design the transformation, (3) implement the transformation and (4) test the transformation. The method has been applied in several case studies, including a transformation of UML business processes into inputs for an agent-based simulator

FROM A MODEL OF CONCURRENCY TO A TEST MODEL: A GRAPH TRANSFORMATION BASED APPROACH

Maximality-based Labeled Transition Systems (MLTS) is semantic model for true concurrency. In other hand Mixed Refusal Graphs  (MRG)  are models  for  formal  testing.  In  this  paper, we  propose  an  approach  to  transform  an MLTS model  to  an equivalent  MRG  model.  Since  the  input  and  output  models  are  graphs,  we  use  graph  transformation  to  perform  this transformation automatically. So, we propose  two meta-models; one for the input model and the other for the output model. Then,  based  on  these meta-models we  propose  a  graph  grammar  that  deals with  the  transformation  process.    The meta-modeling tool ATOM3 is used. Our approach is illustrated through an example

Nondestructive testing system design for biological product based on vibration signal analysis of acceleration sensor

In order to reduce the disadvantages of current biological product quality testing methods, taking the quality testing in cocoon trade markets as an example, this paper has proposed a quality nondestructive testing method for biological products based on the analysis of vibration signal from acceleration sensors. According to the wavelet transformation analysis on the random vibration signal acquired from the acceleration sensor, the random vibration signal related to the silkworm chrysalis quality has been analyzed and reconstructed; then the characteristic values such as: mean value, variance, mean square root, waveform index, pulse factor, and so on of the quality signal have been extracted also; and then the characteristic values of the quality have been optimally selected within a fuzzy clustering method; at the end, a RBF neural network testing model with characteristic values from the silkworm chrysalis quality as an input signal was built. With these procedures, this paper has established a quality nondestructive testing system for silkworm chrysalis quality based on acceleration sensor signal measurement. The results from the application experiments demonstrated the effectiveness and applicability of this quality nondestructive system for quality testing of biological products. This quality nondestructive testing system has many advantages, including shortening the testing time, avoiding sample waste from traditional testing method, increasing the accuracy and reliability, which shows many bright social and economic benefits. This paper also provides the design and application of quality nondestructive testing systems based on vibration signal analysis with a theoretical support and experimental basis

Nondestructive testing system design for biological product based on vibration signal analysis of acceleration sensor

In order to reduce the disadvantages of current biological product quality testing methods, taking the quality testing in cocoon trade markets as an example, this paper has proposed a quality nondestructive testing method for biological products based on the analysis of vibration signal from acceleration sensors. According to the wavelet transformation analysis on the random vibration signal acquired from the acceleration sensor, the random vibration signal related to the silkworm chrysalis quality has been analyzed and reconstructed; then the characteristic values such as: mean value, variance, mean square root, waveform index, pulse factor, and so on of the quality signal have been extracted also; and then the characteristic values of the quality have been optimally selected within a fuzzy clustering method; at the end, a RBF neural network testing model with characteristic values from the silkworm chrysalis quality as an input signal was built. With these procedures, this paper has established a quality nondestructive testing system for silkworm chrysalis quality based on acceleration sensor signal measurement. The results from the application experiments demonstrated the effectiveness and applicability of this quality nondestructive system for quality testing of biological products. This quality nondestructive testing system has many advantages, including shortening the testing time, avoiding sample waste from traditional testing method, increasing the accuracy and reliability, which shows many bright social and economic benefits. This paper also provides the design and application of quality nondestructive testing systems based on vibration signal analysis with a theoretical support and experimental basis

Evaluation of the QVT Merge Language Proposal

-STF90 A05045This report has identified 29 weighted evaluation criteria representing desired properties of a model to model transformation language. These criteria have been used to evaluate the current QVT Merge specification. We have so far only been able to evaluate 21 of these criteria, mainly due to missing tool support. Some of the criteria are considered absolute in the sense that missing to fulfil such a criterion is considered a failure. The 21 evaluated criteria give a score of 59 out of a maximum possible score of 68 (language-based + example-based testing). We have also compared the QVT-Merge submission with the QVT-Compuware/Sun submission and at the time being the QVT-Merge seems to be the preferred one due to more support on the absolute criteria and better easy-to-use score. Eight transformation examples for solving six different transformation tasks have given a lot of insight on the ease of use criteria for both simple and complex transformations. When defining transformations using QVT Merge we believe that a lot of effort may be required in order to define the source and target  metamodels. The evaluation in this report could be improved by using the reference examples with alternative approaches published in the literature. An available QVT-Merge tool is necessary in order to provide evaluations of all the suggested criteria. In order to further investigate the usability of the graphical notation, we need to define more of the transformation examples graphically. Only one of the examples has been specified graphically in this version. The current evaluation has been done by a single evaluator who has only reviewed the transformation code that was written by somebody else. The evaluation will be further improved by incorporating input from other evaluators as well as evaluation from those who wrote the transformation code. Oppdragsgiver: EU Commissio

Wodel: a domain-specific language for model mutation

This is the author's version of the work. It is posted here for your personal use. Not for redistribution. The definitive Version of Record was published in SAC '16: Proceedings of the 31st Annual ACM Symposium on Applied Computing, http://dx.doi.org/10.1145/10.1145/2851613.2851751Model-Driven Engineering (MDE) is a software engineering paradigm that uses models as main assets in all development phases. While many languages for model manipulation exist (e.g., for model transformation or code generation), there is a lack of frameworks to de ne and apply model mutations. A model mutant is a variation of an original model, created by speci c model mutation operations. Model mutation has many applications, for instance, in the areas of model trans- formation testing, model-based testing or education. In this paper, we present a domain-speci c language, called Wodel, for the speci cation and generation of model mu- tants. Wodel is domain-independent, as it can be used to generate mutants of models conforming to arbitrary meta- models. Its development environment is extensible, permit- ting the incorporation of post-processors for di erent appli- cations. As an example, we show an application consisting on the automated generation of exercises for particular do- mains (automata, class diagrams, electronic circuits, etc.).Thanks to Víctor López Rivero for the initial implementation of the Wodel IDE. Work supported by the Spanish Ministry of Economy and Competitivity (TIN2014-52129-R), the Madrid Region (S2013/ICE-3006), and the EU commission (FP7-ICT-2013-10, #611125)

Automating the transformation-based analysis of visual languages

The final publication is available at Springer via http://dx.doi.org/10.1007/s00165-009-0114-yWe present a novel approach for the automatic generation of model-to-model transformations given a description of the operational semantics of the source language in the form of graph transformation rules. The approach is geared to the generation of transformations from Domain-Specific Visual Languages (DSVLs) into semantic domains with an explicit notion of transition, like for example Petri nets. The generated transformation is expressed in the form of operational triple graph grammar rules that transform the static information (initial model) and the dynamics (source rules and their execution control structure). We illustrate these techniques with a DSVL in the domain of production systems, for which we generate a transformation into Petri nets. We also tackle the description of timing aspects in graph transformation rules, and its analysis through their automatic translation into Time Petri netsWork sponsored by the Spanish Ministry of Science and Innovation, project METEORIC (TIN2008-02081/TIN) and by the Canadian Natural Sciences and Engineering Research Council (NSERC)

Testing M2T/T2M Transformations

Presentado en: 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013). Del 29 de septiembre al 4 de octubre. Miami, EEUU.Testing model-to-model (M2M) transformations is becoming a prominent topic in the current Model-driven Engineering landscape. Current approaches for transformation testing, however, assume having explicit model representations for the input domain and for the output domain of the transformation. This excludes other important transformation kinds, such as model-to-text (M2T) and text-to-model (T2M) transformations, from being properly tested since adequate model representations are missing either for the input domain or for the output domain. The contribution of this paper to overcome this gap is extending Tracts, a M2M transformation testing approach, for M2T/T2M transformation testing. The main mechanism we employ for reusing Tracts is to represent text within a generic metamodel. By this, we transform the M2T/T2M transformation specification problems into equivalent M2M transformation specification problems. We demonstrate the applicability of the approach by two examples and present how the approach is implemented for the Eclipse Modeling Framework (EMF). Finally, we apply the approach to evaluate code generation capabilities of several existing UML tools.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech. Proyecto TIN2011-2379