Upload
amia-stack
View
212
Download
0
Embed Size (px)
Citation preview
LTA – Laboratorio di Test e Analisi del Software
Ordinari: Mauro Pezzè
Ricercatori: Leonardo MarianiGiovanni DenaroPietro Braione
Dottorandi: Fabrizio PastoreMauro Santoro
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
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
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.
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
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
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
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
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
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
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)
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
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)