Yufang Dan, Nicolas Stouls, Christian Colombo and Stéphane Frénot
OSGiLarva: a Monitoring Framework Supporting OSGi's Dynamicity.
In International journal on advances in security Vol. 6, 1&2 (2013), pp. 49-61, ISSN 1942-2636. Revised and extended version of a SERVICE COMPUTATION 2012 paper.
(
.bib,
HAL,
Think Mind)
Architecture is an approach where software systems are designed in terms of a composition of services. OSGi is a Service-Oriented Framework dedicated to 24/7 Java systems. In this Service-Oriented Programming approach, software is composed of services that may dynami- cally appear or disappear. In such a case, classical monitoring approaches with statically injected monitors into services cannot be used. In this paper, we describe ongoing work proposing a dynamic monitoring approach dedicated to local SOA systems, focusing particularly on OSGi. Firstly, we define two key properties of loosely coupled monitoring systems: dynamicity resilience and comprehensiveness. Next, we propose the OSGiLarva tool, which is a preliminary implementation targeted at the OSGi framework. Finally, we present some quantitative results showing that a dynamic monitor based on dynamic proxies and another based on aspect-oriented programming have equivalent performances.
Keywords: Monitoring, Dynamic SOA, OSGi, Larva, LogOs.
J. Julliand, N. Stouls, P-C. Bué et P-A. Masson B Model Slicing and Predicate
Abstraction to Generate Tests. In SQJ, Software Quality Journal, Springer, March 2013, Volume 21, Issue 1, pp 127-158. Revised and extended version of a TAP'10 paper.
(
.bib,
.pdf,
.ps.gz,
LNCS)
In a model-based testing approach as well as for the verification of properties, B models provide an interesting modelling solution. However, for industrial applications, the size of their state space often makes them hard to handle. To reduce the amount of states, an abstraction function can be used. The abstraction is often a domain abstraction of the state variables that requires many proof obligations to be discharged, which can be very time consuming for real applications.
This paper presents a contribution to this problem that complements an approach based on domain abstraction for test generation, by adding a preliminary syntactic abstraction phase, based on variable elimination. We define a syntactic transformation that suppresses some variables from a \B event model, in addition to three methods that choose relevant variables according to a test purpose. In this way, we propose a method that computes an abstraction of a source model m according to a set of selected relevant variables. Depending on the method used, the abstraction can be computed as a simulation or as a bisimulation of m. With this approach, the abstraction process produces a finite state system. We apply this abstraction computation to a Model Based Testing process. We evaluate experimentally the impact of the model simplification by variables elimination on the size of the models, on the number of proof obligations to discharge, on the precision of the abstraction and on the coverage achieved by the test generation.
Keywords: Abstraction, Test Generation, (Bi)Simulation and Slicing.