Specification-driven test generation for model transformations

The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-30476-7_3Proceedings of 5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012Testing model transformations poses several challenges, among them the automatic generation of appropriate input test models and the specification of oracle functions. Most approaches to the generation of input models ensure a certain level of source meta-model coverage, whereas the oracle functions are frequently defined using query or graph languages. Both tasks are usually performed independently regardless their common purpose, and sometimes there is a gap between the properties exhibited by the generated input models and those demanded to the transformations (as given by the oracles). Recently, we proposed a formal specification language for the declarative formulation of transformation properties (invariants, pre- and postconditions) from which we generated partial oracle functions that facilitate testing of the transformations. Here we extend the usage of our specification language for the automated generation of input test models by constraint solving. The testing process becomes more intentional because the generated models ensure a certain coverage of the interesting properties of the transformation. Moreover, we use the same specification to consistently derive both the input test models and the oracle functions.Work funded by the Spanish Ministry of Economy and Competitivity (TIN2011-24139) and by the R&D programme of Madrid Region (S2009/TIC-1650

A new resorbable device for ligation of blood vessels - A pilot study

<p>Abstract</p> <p>Background</p> <p>During surgery, controlled haemostasis to prevent blood loss is vital for a successful outcome. It can be difficult to ligate vessels located deep in the abdomen. A device that is easy to use and enables secure ligatures could be beneficial. Cable ties made of nylon have been used for ligation but the non-resorbable material caused tissue reactions. The objective of this study was to use a resorbable material to construct a device with a self-locking mechanism and to test its mechanical strength and ligation efficiency.</p> <p>Methods</p> <p>The device was manufactured by injection moulding of polydioxanone, a resorbable polymer used for suture materials. Polydioxanone with inherent viscosities of 1.9 dL/g and 1.3 dL/g were tested. The device consisted of a perforated flexible band which could be pulled through a case with a locking mechanism. After a first version of the device had been tested, some improvements were made. The locking case was downsized, corners were rounded off, the band was made thicker and the mould was redesigned to produce longer devices. Tensile tests were performed with the second version.</p> <p>The first version of the device was used to ligate the ovarian pedicle in a euthanized dog and to test echogenicity of the device with ultrasound. Compression of vessels of the ovarian pedicle was examined by histology. Both versions of the device were tested for haemostasis of and tissue grip on renal arteries in six anaesthetised pigs.</p> <p>Results</p> <p>The tensile strength of the flexible band of the devices with inherent viscosity of 1.9 dL/g was 50.1 ± 5.5 N (range 35.2-62.9 N, <it>n </it>= 11) and the devices with inherent viscosity of 1.3 dL/g had a tensile strength of 39.8 ± 8.1 N (range 18.6-54.2 N, <it>n </it>= 11). Injection moulding of the polymer with lower inherent viscosity resulted in a longer flow distance.</p> <p>Both versions of the device had an effective tissue grip and complete haemostasis of renal arteries was verified. The device attached to the ovarian pedicle could be seen with ultrasound, and vessel compression and occlusion were verified by histology.</p> <p>Conclusions</p> <p>Tests of functionality of the device showed complete haemostasis and good tissue grip. Devices with a band of sufficient length were easily applied and tightened in tissue.</p

Automatic Model Generation Strategies for Model Transformation Testing

Abstract. Testing model transformations requires input models which are graphs of inter-connected objects that must conform to a meta-model and meta-constraints from heterogeneous sources such as well-formedness rules, transformation preconditions, and test strategies. Manually specifying such models is tedious since models must simultaneously conform to several meta-constraints. We propose automatic model generation via constraint satisfaction using our tool Cartier for model transformation testing. Due to the virtually infinite number of models in the input domain we compare strategies based on input domain partitioning to guide model generation. We qualify the effectiveness of these strategies by performing mutation analysis on the transformation using generated sets of models. The test sets obtained using partitioning strategies gives mutation scores of up to 87 % vs. 72 % in the case of unguided/random generation. These scores are based on analysis of 360 automatically generated test models for the representative transformation of UML class diagram models to RDBMS models.

Hermenêutica medieval: a compreensão espiritual de Joaquim de Fiore

O estudo trata a hermenêutica medieval sob o prisma da compreensão espiritual (intelectio spiritualis) de Joaquim de Fiore (1135-1202). Mostra que a noção de Trindade serve de base para retomar o método alegórico e o tipológico da tradição. Além disso, serve para propor o novo método por concórdia que, a nosso ver, culminará na maior inovação da leitura da história medieval. Entre os resultados, destacamos a continuidade imediata dessa hermenêutica com os franciscanos espirituais do século XIII e sua influência direta na cultura luso-brasileira. Avaliamos também os estudos que tentam encontrar em Joaquim a gênese da filosofia da história hegeliana. Por fim, analisamos sumariamente a proposta de Gianni Vattimo, que encontra o novo sentido do cristianismo no legado joaquimita