Presentation is loading. Please wait.

Presentation is loading. Please wait.

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

Similar presentations


Presentation on theme: "LTA – Laboratorio di Test e Analisi del Software Ordinari:Mauro Pezzè Ricercatori:Leonardo Mariani Giovanni Denaro Pietro Braione Dottorandi:Fabrizio Pastore."— Presentation transcript:

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 Research Expertise Software quality Software Testing/Analysis Software Self-Healing Rejected proposals PRIN Quack Quality of Integrated Embedded Systems NoE SegraVis Integration of Visual Modelling Techniques PRIN07 SelfService EU FET06 DADS EU IP08 Moleskeen PRIN09 Autonomic Self-healing service oriented architectures FIRB09 DAIH Dependable Ambient Intelligence for Helthcare FIRB09 ViVaCe Verification & Validation of Continuously Evolving Systems Regione09 ASTIL Model Inference with Steering EU IP09 Pincette Validating Changes and Upgrades in Embedded SW EU IP (call 5) Shadows 2 NoE (call 5) Self-adaptation LTA starts here PRIN Commuta Mutant HW/SW reconfigurable systems EU STREP Shadows Self-Healing Approach to Designing Complex Software

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è

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

12 Students and Post-Doc FROMCURRENTLY Leen LambersTU BerlinResearcher at TU Berlin Daniela ShillingU PaderbornEngineer in Paderborn Sofia PapagiannakisEcole PolytechniqueEngineer in Athens Slavek KrenaU BrnoProf. at U Brno Hervè ChangU Nice-Sophia AntipolisEngineer at Air France Fabien RomeoU PauProf. Ecole dIngénieurs en Informatique David WillmorU ManchesterEngineer at Morgan Stanley David LoNational U SingaporeAssistant Prof. at National U Singapore Davide TosiPhD at LTAPost-doc at U Insubria Davide LorenzoliPhD at LTAPost-doc at City U London Alessandra GorlaMSc at LTAPhD Student at U Lugano

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)


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

Similar presentations


Ads by Google