LTA – Laboratorio di Test e Analisi del Software

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

2. Rejected proposals Research ExpertiseSoftware quality  Software Self-Healing Software Testing/Analysis EU IP (call 5) Shadows 2 EU IP’08Moleskeen NoE (call 5)Self-adaptation PRIN’07SelfService EU IP’09 Pincette Validating Changes and Upgrades in Embedded SW EU FET’06DADS LTA starts here PRIN’09 Autonomic Self-healing service oriented architectures EU STREP Shadows Self-Healing Approach to Designing Complex Software FIRB’09 DAIH Dependable Ambient Intelligence for Helthcare PRIN Commuta Mutant HW/SW reconfigurable systems FIRB’09 ViVaCe Verification & Validation of Continuously Evolving Systems NoE SegraVis Integration of Visual Modelling Techniques Regione’09 ASTIL Model Inference with Steering PRIN Quack Quality of Integrated Embedded Systems 2000 2001 2002 2003 2004 2005 2006 2007 2008 2009

3. 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

4. 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.

5. 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

6. 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

7. 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

8. 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

9. 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

10. 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

11. 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) International Partnerships

12. Students and Post-Doc

13. 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)