No abstract

Abstract. MDE is being applied to the development of increasingly complex systems that require larger model transformations. Given that the specification of such transformations is an error-prone task, techniques to guarantee their quality must be provided. Testing is a wellknown technique for finding errors in programs. In this sense, adoption of testing techniques in the model transformation domain would be helpful to improve their quality. So far, testing of model transformations has focused on black-box testing techniques. Instead, in this paper we provide a white-box test model generation approach for ATL model transformations.

International audienceModel-Driven Engineering (MDE) is a software engineering paradigm where models play a key role. In a MDE-based development process, models are successively transformed into other models and eventually into the final source code by means of a chain of model transformations. Since writing model transformations is an error-prone task, mechanisms to ensure their reliability are greatly needed. One way of achieving this is by means of testing. A challenging aspect when testing model transformations is the generation of adequate input test data. Most existing approaches generate test data following a black-box approach based on some sort of partition analysis that exploits the structural features of the source metamodel of the transformation. However, these analyses pay no attention to the OCL invariants of the metamodel or do it very superficially. In this paper, we propose a mechanism that systematically analyzes OCL constraints in the source metamodel in order to fine-tune this partition analysis and therefore, the generation of input test data. Our mechanism can be used in isolation, or combined with other black-box or white-box test generation approaches

No abstract

Abstract-Correctness of UML class diagrams annotated with OCL constraints can be checked using bounded verification techniques, e.g., SAT or constraint programming (CP) solvers. Bounded verification detects faults efficiently but, on the other hand, the absence of faults does not guarantee a correct behavior outside the bounded domain. Hence, choosing suitable bounds is a non-trivial process as there is a trade-off between the verification time (faster for smaller domains) and the confidence in the result (better for larger domains). Unfortunately, bounded verification tools provide little support in the bound selection process. In this paper, we present a technique that can be used to (i) automatically infer verification bounds whenever possible, (ii) tighten a set of bounds proposed by the user and (iii) guide the user in the bound selection process. This approach may increase the usability of UML/OCL bounded verification tools and improve the efficiency of the verification process.

No abstract

No abstract

Una alternativa a la lixiviación de nitrógeno en el cultivo de flores de corte es la optimización de la fórmula de fertirriego. Con el objetivo de estudiar la reducción de nitrógeno y el aumento de la proporción de amonio en la relación NH4+:NO3-, se evaluaron en condiciones de invernadero dos concentraciones de nitrógeno total (200-140 mg L-1 en fase vegetativa y 160-112 mg L-1 en fase productiva) y tres relaciones de NH4:NO3- (5:95, 15:85 y 25:75) en clavel estándar cv. Don Pedro sembrado en sustrato. Se determinaron en tres momentos de cultivo los contenidos elementales del tejido vegetal, el pH y la concentración de nitrato en los lixiviados. Se observó mayores concentraciones de Zn y Cu en el tejido vegetal con la disminución de N total; así mismo, se obtuvieron incrementos de N y Zn y disminución de Mg con el incremento NH4+, que, a su vez, disminuyó el pH en el sustrato. La disminución de N total no afectó significativamente el contenido de N en el tejido de la planta, pero si el contenido de NO3- y N total en el lixiviado.