CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems (2009)
Issarny, Valérie, Steffen, Bernhard, Jonsson, Bengt, Blair, Gordon, Grace, Paul, Kwiatkowska, Marta, ...
The CONNECT European project that started in February 2009 aims at dropping the interoperability barrier faced by today's distributed systems. It does so by adopting a revolutionary approach to the...
CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems (2009)
Issarny, Valérie, Steffen, Bernhard, Jonsson, Bengt, Blair, Gordon, Grace, Paul, Kwiatkowska, Marta, ...
The CONNECT European project that started in February 2009 aims at dropping the interoperability barrier faced by today's distributed systems. It does so by adopting a revolutionary approach to the...
Automatic Synthesis of Behavior Protocols for Composable Web-Services (2009)
Bertolino, Antonia, Inverardi, Paola, Pelliccione, Patrizio, Tivoli, Massimo
Web-services are broadly considered as an effective means to achieve interoperability between heterogeneous parties of a business process and offer an open platform for developing new composite...
Automatic Synthesis of Behavior Protocols for Composable Web-Services (2009)
Bertolino, Antonia, Inverardi, Paola, Pelliccione, Patrizio, Tivoli, Massimo
Web-services are broadly considered as an effective means to achieve interoperability between heterogeneous parties of a business process and offer an open platform for developing new composite...
A UML Profile and a Methodology for Real-Time Systems Design (2008)
Antonia Bertolino, Guglielmo De Angelis
Modern real-time systems are increasingly complex and pervasive. Model Driven Engineering is the emerging approach for the design of complex systems, strongly based on the usage of abstract models as...
The (Im)maturity Level of Software Testing (2008)
A large gap exists between the state-of-the-art in software testing literature, and the state of software testing practice. Empirical research should (and could) play a first class role for bridging...
Reaction Graphs for the Testing and Analysis of Software Architectures (2008)
Antonia Bertolino, Paola Inverardi
In previous papers we have addressed the problem of deriving from an architectural description pieces of information useful to drive testing [2, 3]. Our approach is based on the use of the CHAM...
Antonia Bertolino, Eda Marchetti, Andrea Polini, Hans-christian Herrmann
This paper outlines different objectives for testing, and surveys some relevant techniques and tools used to address some of those objectives. The overview is conducted in the perspective of...
Antonia Bertolino, Wolfgang Emmerich
Abstract. This paper discusses the approach that will be taken by the PLASTIC project
XML EVERY-FLAVOR TESTING (2008)
Antonia Bertolino, Jinghua Gao, Eda Marchetti
Abstract: With XML and XML Schema widely acknowledged as the de facto standard for data exchange and interoperability between remote applications, the need for checking integrity and adequacy of XML...
Antonia Bertolino, Wolfgang Emmerich
Abstract. This paper discusses the approach that will be taken by the PLASTIC project
Henry Muccini, Henry Muccini, Paola Inverardi (advisor, Antonia Bertolino, Debra J. Richardson, Mary Jean Harrold, ...
Thanks to Paola, who taught me patience in work, the capacity of self-sacrifice, and the wish to grow up. Thanks to Antonella, who gave me professional and personal support, and showed me that it is...
Bertolino, Antonia, Emmerich, Wolfgang, Inverardi, Paola, Issarny, Valérie, Liotopoulos, Fotis K., Plaza, Pierre
The PLASTIC project adopts and revisits serviceoriented computing for Beyond 3rd Generation (B3G) networks, in particular aiming at assisting the development of services targeted at mobile devices....
Bertolino, Antonia, Emmerich, Wolfgang, Inverardi, Paola, Issarny, Valérie, Liotopoulos, Fotis K., Plaza, Pierre
The PLASTIC project adopts and revisits serviceoriented computing for Beyond 3rd Generation (B3G) networks, in particular aiming at assisting the development of services targeted at mobile devices....
Software testing research: Achievements, challenges, dreams (2007)
Antonia Bertolino, Antonia Bertolino
Her research interests are in architecture-based, component-based and service-oriented test methodologies, as well as methods for analysis of non-functional properties.
Systematic generation of XML instances to test complex software applications (2006)
Antonia Bertolino, Jinghua Gao, Eda Marchetti, Andrea Polini
Abstract. We introduce the XPT approach for the automated systematic generation of XML instances which conform to a given XML Schema, and its implementation into the proof-of-concept tool TAXI. XPT...
Audition of web services for testing conformance to open specified protocols (2006)
Antonia Bertolino, Lars Frantzen, Andrea Polini
Abstract. A Web Service (WS) is a type of component specifically conceived for distributed machine-to-machine interaction. Interoperability between WSs involves both data and messages exchanged and...
Vincentelli. Modeling and Early Performance Estimation for Network Processor Applications (2006)
Antonia Bertolino, Alvise Bonivento, Guglielmo De Angelis, Alberto Sangiovanni Vincentelli
Abstract. The design of modern embedded systems has to cope with quite challenging requirements in terms of flexibility, performance, and domain space exploration. To this purpose, we present a...
PLUTO: A Test Methodology for Product Families (2004)
Antonia Bertolino, Stefania Gnesi
Abstract. The testing stage for a product belonging to a family is a crucial and expensive part of development. Yet the derivation of test cases for product families has so far received little...
CB-SPE Tool: Putting component-based performance engineering into practice (2004)
Antonia Bertolino, Raffaela Mir
Abstract. A crucial issue in the design of Component-Based (CB) applications is the ability to early guarantee that the system under development will satisfy its Quality of Service requirements. In...
Towards anti-model-based testing (2004)
Antonia Bertolino, Andrea Polini, Paola Inverardi, Henry Muccini
Software testing refers to the dynamic verification of a system’s behavior based on the observation of a selected set of controlled executions, or test cases [2]. While in traditional approaches...
PLUTO: A Test Methodology for Product Families (2004)
Antonia Bertolino, Stefania Gnesi
Abstract. The testing stage for a product belonging to a family is a crucial and expensive part of development. Yet the derivation of test cases for product families has so far received little...
Henry Muccini, Antonia Bertolino, Paola Inverardi
Our research deals with the use of Software Architecture (SA) as a reference model for testing the conformance of an implemented system with respect to its architectural specification. We exploit the...
Towards Component-Based Software Performance Engineering (2003)
Early and rigorous performance analysis of component-based systems is a crucial issue in software engineering to guarantee that the developed components and their assemblies will satisfy their...
Using spanning sets for coverage testing (2003)
Martina Marré, Antonia Bertolino
Abstract—A test coverage criterion defines a set Ec of entities of the program flowgraph and requires that every entity in this set is covered under some test case. Coverage criteria are also used...
Formal Methods in Testing Software Architectures (2003)
Antonia Bertolino, Paola Inverardi, Henry Muccini
Abstract. SAs provide a high-level model of large, complex systems using suitable abstractions of the system components and their interactions. SA dynamic descriptions can be usefully employed in...
A framework for component deployment testing (2003)
Antonia Bertolino, Andrea Polini
Component-based development is the emerging paradigm in software production, though several challenges still slow down its full taking up. In particular, the “component trust problem ” refers to...
Acceptance criteria for critical software based on testability estimates and test results (1997)
Antonia Bertolino, Lorenzo Strigini
Testability is defined as the probability that a program will fail a test, conditional on the program containing some fault. In this paper, we show that statements about the testability of a program...
An approach to integration testing based on architectural descriptions (1997)
Antonia Bertolino, Consiglio Nazionale
Software architectures can play a role in improving the testing process of complex systems. In particular, descriptions of the software architecture can be useful to drive integration testing, since...
Antonia Bertolino, Lorenzo Strigini
Inference from statistical testing is the only sound method available for estimating software reliability. However, if one ignores evidence other than testing (e.g., evidence from the track record of...
Antonia Bertolino, Lorenzo Strigini
: Inference from statistical testing is the only sound method available for estimating software reliability. However, if one ignores evidence other than testing (e.g., evidence from the track record...