13
LTA – Laboratorio di Test e Analisi del Software Ordinari: Mauro Pezzè Ricercatori: Leonardo Mariani Giovanni Denaro Pietro Braione Dottorandi: Fabrizio Pastore Mauro Santoro

LTA – Laboratorio di Test e Analisi del Software Ordinari:Mauro Pezzè Ricercatori:Leonardo Mariani Giovanni Denaro Pietro Braione Dottorandi:Fabrizio Pastore

Embed Size (px)

Citation preview

Page 1: LTA – Laboratorio di Test e Analisi del Software Ordinari:Mauro Pezzè Ricercatori:Leonardo Mariani Giovanni Denaro Pietro Braione Dottorandi:Fabrizio Pastore

LTA – Laboratorio di Test e Analisi del Software

Ordinari: Mauro Pezzè

Ricercatori: Leonardo MarianiGiovanni DenaroPietro Braione

Dottorandi: Fabrizio PastoreMauro Santoro

Page 2: LTA – Laboratorio di Test e Analisi del Software Ordinari:Mauro Pezzè Ricercatori:Leonardo Mariani Giovanni Denaro Pietro Braione Dottorandi:Fabrizio Pastore

Research ExpertiseSoftware quality Software Testing/Analysis

Software Self-Healing

Rejected proposals

2000 2001 2002 2003 2004 2005 2006 2007 2008 2009

PRIN Quack Quality of IntegratedEmbedded Systems

NoE SegraVisIntegration of Visual Modelling Techniques

PRIN’07SelfService

EU FET’06DADS

EU IP’08Moleskeen

PRIN’09 AutonomicSelf-healing service

oriented architectures

FIRB’09 DAIHDependable Ambient Intelligence

for Helthcare

FIRB’09 ViVaCeVerification & Validation of

Continuously Evolving Systems

Regione’09 ASTILModel Inference with Steering

EU IP’09 PincetteValidating Changes and

Upgrades in Embedded SW

EU IP (call 5) Shadows 2

NoE (call 5)Self-adaptation

LTA starts here

PRIN CommutaMutant HW/SW

reconfigurable systems

EU STREP Shadows Self-Healing Approach to

Designing Complex Software

Page 3: LTA – Laboratorio di Test e Analisi del Software Ordinari:Mauro Pezzè Ricercatori:Leonardo Mariani Giovanni Denaro Pietro Braione Dottorandi:Fabrizio Pastore

Automated defect diagnosis

Goal Facilitate debugging of SW (high impact on software costs)

Findings Faults can be localized comparing software behaviors against monitored

execution traces Log files include ready available information about why applications fail Successfully experimented for real applications: Tomcat, Eclipse, JBoss

LTA investigators Mariani, Pastore, Pezzè

PUBLICATIONS

Mariani, Pastore, Pezzè. Dynamic Analysis for Localizing Integration Faults. In prep. IEEE TSE

Babenko, Mariani e Pastore. AVA: Automated Interpretation of Software Anomalies. In prep. IEEE TSE

Mariani, Pastore, Pezzè. A Toolset for Automated Failure Analysis. Research Demo at ICSE 2009

Babenko, Mariani, Pastore. Automated Interpretation of Dynamically Detected Anomalies. ISSTA 2009

Mariani, Pastore. Automated Identification of Failure Causes in System Logs. ISSRE 2008

Mariani, Pezzè. Dynamic Detection of COTS Components Incompatibility. IEEE Software 2007

Cotroneo, Pietrantuono, Mariani, Pastore. Investigation of failure causes in workload-driven reliability testing.SOQUA 2007

PUBLICATIONS

Mariani, Pastore, Pezzè. Dynamic Analysis for Localizing Integration Faults. In prep. IEEE TSE

Babenko, Mariani e Pastore. AVA: Automated Interpretation of Software Anomalies. In prep. IEEE TSE

Mariani, Pastore, Pezzè. A Toolset for Automated Failure Analysis. Research Demo at ICSE 2009

Babenko, Mariani, Pastore. Automated Interpretation of Dynamically Detected Anomalies. ISSTA 2009

Mariani, Pastore. Automated Identification of Failure Causes in System Logs. ISSRE 2008

Mariani, Pezzè. Dynamic Detection of COTS Components Incompatibility. IEEE Software 2007

Cotroneo, Pietrantuono, Mariani, Pastore. Investigation of failure causes in workload-driven reliability testing.SOQUA 2007

Page 4: LTA – Laboratorio di Test e Analisi del Software Ordinari:Mauro Pezzè Ricercatori:Leonardo Mariani Giovanni Denaro Pietro Braione Dottorandi:Fabrizio Pastore

Dataflow testing of OO SW

Goal Devise test sequences for validating systems of (Java) classes

Findings Dataflow testing (pairing defined/used variables)

account well for state-based behaviors of classes Contextual criteria (including data on method invocation chains)

enable integration testing in presence of aggregation and encapsulation

LTA investigators Denaro, Pezzè

PUBLICATIONS

Denaro, Gorla, Pezzè. DaTeC: Contextual Data Flow Testing of Java Classes. Research Demo at ICSE 2009

Denaro, Gorla, Pezzè. Contextual Integration Testing of Classes. FASE 2008

Buy, Orso, Pezzè. Automated Testing of Classes. ISSTA 2000.

PUBLICATIONS

Denaro, Gorla, Pezzè. DaTeC: Contextual Data Flow Testing of Java Classes. Research Demo at ICSE 2009

Denaro, Gorla, Pezzè. Contextual Integration Testing of Classes. FASE 2008

Buy, Orso, Pezzè. Automated Testing of Classes. ISSTA 2000.

Page 5: LTA – Laboratorio di Test e Analisi del Software Ordinari:Mauro Pezzè Ricercatori:Leonardo Mariani Giovanni Denaro Pietro Braione Dottorandi:Fabrizio Pastore

Combined stat/dyn analysis

Goal Exploit complementary strengths of static and dynamic program analyses

to enable sound proofs/refutations of safety properties of real software Findings

Symbolic execution is a viable techniques for formal verification of properties Combined symbolic/concrete execution may generate precise behavioral

models Existing proposals of combined static/dynamic analyses are built along the

lines of a set of common reference models

LTA Investigators: Braione, Denaro, Mariani, Pezzè, Santoro

PUBLICATIONS

Braione, Denaro. Combined static/dynamic software analysis: a survey. In prep. ACM Computing surveys

Santoro. Detection of precise behavioral models. In prep. Doctoral Workshop at ESEC/FSE 2009

Braione, Denaro, Krena, Pezzè. Verifying LTL Properties of Bytecode with Symbolic Execution. Bytecode 2008

Coen-Porisini, Denaro, Ghezzi, Pezzè. Using Symbolic Execution for Verifying Safety-Critical Systems. ESEC/FSE 2001

PUBLICATIONS

Braione, Denaro. Combined static/dynamic software analysis: a survey. In prep. ACM Computing surveys

Santoro. Detection of precise behavioral models. In prep. Doctoral Workshop at ESEC/FSE 2009

Braione, Denaro, Krena, Pezzè. Verifying LTL Properties of Bytecode with Symbolic Execution. Bytecode 2008

Coen-Porisini, Denaro, Ghezzi, Pezzè. Using Symbolic Execution for Verifying Safety-Critical Systems. ESEC/FSE 2001

Page 6: LTA – Laboratorio di Test e Analisi del Software Ordinari:Mauro Pezzè Ricercatori:Leonardo Mariani Giovanni Denaro Pietro Braione Dottorandi:Fabrizio Pastore

Self-Healing Software

Goal Reduce bug-fixing costs by automatic/dynamic healing of software faults

Findings Architectural connectors can encapsulate detection and healing

strategies for integration problems in component based systems (automatically, on-the-fly, in-field)

Successfully experimented for Corba middleware, Spring, Jboss

LTA Investigators: Mariani, Pezzè

PUBLICATIONS

Chang, Mariani e Pezzè, Exception Handlers for Healing Component Based Application. In prep. IEEE TSE

Chang ,Mariani e Pezze. In-Field Healing of Integration Problems with COTS Components. ICSE 2009

Chang, Mariani e Pezzè. Self-Healing Strategies for Component Integration Faults. ARAMIS 2008

Lorenzoli, Mariani, Pezzè. Towards Self-Protecting Enterprise Applications. ISSRE 2007

PUBLICATIONS

Chang, Mariani e Pezzè, Exception Handlers for Healing Component Based Application. In prep. IEEE TSE

Chang ,Mariani e Pezze. In-Field Healing of Integration Problems with COTS Components. ICSE 2009

Chang, Mariani e Pezzè. Self-Healing Strategies for Component Integration Faults. ARAMIS 2008

Lorenzoli, Mariani, Pezzè. Towards Self-Protecting Enterprise Applications. ISSRE 2007

Page 7: LTA – Laboratorio di Test e Analisi del Software Ordinari:Mauro Pezzè Ricercatori:Leonardo Mariani Giovanni Denaro Pietro Braione Dottorandi:Fabrizio Pastore

Self-Healing SOA

Goal Build automatically reconfigurable service-based software from user-specified visual

requirements Findings

Dynamically discovered services can be automatically checked by online testing and dynamically adapted by means of mediators deployed at runtime

Adaptation requirements generalize to domain catalogs of test/adaptation strategies User-specified visual specs can be (semi-)automatically transformed to service-based

software Successfully experimented for real applications: social networks, mobile devices

LTA Investigators: Denaro, Mariani, Pezzè

PUBLICATIONS

Denaro, Pezzè, Tosi. Test-and-adapt: an Approach to Esuring Interoperabile SOA. In prep. for IEEE TSE

Denaro, Pezzè, Tosi. Towards Autonomic Service-Oriented Applications. IJAC 1(1), 2009

Denaro, Pezzè, Tosi. Ensuring Interoperable Service-oriented Systems through Engineered Self-Healing. ESEC/FSE 2009

Lambers, Mariani, Ehrig, Pezzè. A Formal Framework for Developing Adaptable Service-Based Applications. FASE 2008

Denaro, Pezzè, Tosi. Designing Self-Adaptive Service-Oriented Applications. ICAC 2007

Lambers, Ehrig, Mariani, Pezzè. Iterative Model-driven Development of Adaptable Service-Based Applications. ASE 2007

Lohmann, Mariani e Heckel. Testing and Analysis of Web Services. Book chapter 2007

PUBLICATIONS

Denaro, Pezzè, Tosi. Test-and-adapt: an Approach to Esuring Interoperabile SOA. In prep. for IEEE TSE

Denaro, Pezzè, Tosi. Towards Autonomic Service-Oriented Applications. IJAC 1(1), 2009

Denaro, Pezzè, Tosi. Ensuring Interoperable Service-oriented Systems through Engineered Self-Healing. ESEC/FSE 2009

Lambers, Mariani, Ehrig, Pezzè. A Formal Framework for Developing Adaptable Service-Based Applications. FASE 2008

Denaro, Pezzè, Tosi. Designing Self-Adaptive Service-Oriented Applications. ICAC 2007

Lambers, Ehrig, Mariani, Pezzè. Iterative Model-driven Development of Adaptable Service-Based Applications. ASE 2007

Lohmann, Mariani e Heckel. Testing and Analysis of Web Services. Book chapter 2007

Page 8: LTA – Laboratorio di Test e Analisi del Software Ordinari:Mauro Pezzè Ricercatori:Leonardo Mariani Giovanni Denaro Pietro Braione Dottorandi:Fabrizio Pastore

Dynamic models for COTS

Goal Automatically derive behavioral models of COTS systems

Findings Behavioral models can be synthesized as E-FSM from monitored

execution traces The automatically derived behavioral models allow for prioritizing test

cases and thus optimizing regression testing activities

LTA Investigators: Mariani, Pezzè

PUBLICATIONS

Lo, Mariani, Pezzè. Automatic Steering of Behavioral Model Inference. ESEC/FSE 2009

Lorenzoli, Mariani, Pezzè. Automatic Generation of Software Behavioral Models. ICSE 2008

Mariani, Papagiannakis, Pezzè. Compatibility and Regression Testing of COTS-component-based Software. ICSE 2007

PUBLICATIONS

Lo, Mariani, Pezzè. Automatic Steering of Behavioral Model Inference. ESEC/FSE 2009

Lorenzoli, Mariani, Pezzè. Automatic Generation of Software Behavioral Models. ICSE 2008

Mariani, Papagiannakis, Pezzè. Compatibility and Regression Testing of COTS-component-based Software. ICSE 2007

Page 9: LTA – Laboratorio di Test e Analisi del Software Ordinari:Mauro Pezzè Ricercatori:Leonardo Mariani Giovanni Denaro Pietro Braione Dottorandi:Fabrizio Pastore

Plans

Mature projects to be finalized within 1 year automated defect diagnoses data flow testing of OO SW dynamic models for COTS

Major future projects Software self-healing Self-healing SOA Combined static/dynamic program analysis

Page 10: LTA – Laboratorio di Test e Analisi del Software Ordinari:Mauro Pezzè Ricercatori:Leonardo Mariani Giovanni Denaro Pietro Braione Dottorandi:Fabrizio Pastore

National Partnerships

DISCo SAL (Micucci)

Detecting software plagiarisms

Essere (Arcelli)Static/dynamic analysis for reverse engineering

Academy Politecnico Milano (Ghezzi) Politecnico Torino (Prinetto) Univ. Napoli Federico II

(Mazzeo, Mazzocca) Univ. Firenze (Fantechi) Univ. Aquila (Muccini) Univ. Camerino (Polini)

Industry Nokia Siemens Networks BBS Software SpA Selex, gruppo Finmeccanica IWBank BTicino AZCom Technology ST Microelectronics

Page 11: LTA – Laboratorio di Test e Analisi del Software Ordinari:Mauro Pezzè Ricercatori:Leonardo Mariani Giovanni Denaro Pietro Braione Dottorandi:Fabrizio Pastore

International Partnerships

Academy Univ. Lugano (Carzaniga) Univ. Oregon (Young) University College London

(Emmerich) Univ. Potsdam (Margaria) Univ. Paderborn (Engels) Imperial College (Wolf) LIG Grenoble (Estublier) Univ. Leicester (Heckel) Univ. Brno (Krena) Univ. Singapore (Lo)

Industry IBM Haifa (Israel) Telefonica (Spain) IAI (Israel) Artisys (Czech republic) NetTechnologies (Greece) Scapa (Scotland)

Page 12: LTA – Laboratorio di Test e Analisi del Software Ordinari:Mauro Pezzè Ricercatori:Leonardo Mariani Giovanni Denaro Pietro Braione Dottorandi:Fabrizio Pastore

Students and Post-Doc

FROM CURRENTLY

Leen Lambers TU Berlin Researcher at TU Berlin

Daniela Shilling U Paderborn Engineer in Paderborn

Sofia Papagiannakis

Ecole Polytechnique Engineer in Athens

Slavek Krena U Brno Prof. at U Brno

Hervè Chang U Nice-Sophia Antipolis

Engineer at Air France

Fabien Romeo U Pau Prof. Ecole d‘Ingénieurs en Informatique

David Willmor U Manchester Engineer at Morgan Stanley

David Lo National U Singapore Assistant Prof. at National U Singapore

Davide Tosi PhD at LTA Post-doc at U Insubria

Davide Lorenzoli PhD at LTA Post-doc at City U London

Alessandra Gorla MSc at LTA PhD Student at U Lugano

Page 13: LTA – Laboratorio di Test e Analisi del Software Ordinari:Mauro Pezzè Ricercatori:Leonardo Mariani Giovanni Denaro Pietro Braione Dottorandi:Fabrizio Pastore

Community Services

Software Engineering Candidate chair of ACM SIGSOFT (Pezzè) Associate editor TOSEM and ASE (Pezzè) PC member of ICSE, FSE, ASE (Pezzè, Denaro) Chair of the ICSE Doctoral Symposium (Pezzè)

Software Testing and Analysis PC chair ISSTA (Pezzè) PC member of ISSTA, ICST (Pezzè, Denaro)

Autonomic PC chair SEAMS (Pezzè) PC chair ARAMIS (Mariani) PC member ICAC, SEAMS (Pezzè, Mariani)