LTA Laboratorio di Test e Analisi del Software. Giovanni Denaro Pietro Braione

Transcription

1 LTA Laboratorio di Test e Analisi del Software Ordinari: Ricercatori: Mauro Pezzè Leonardo Mariani Giovanni Denaro Pietro Braione Post doc: Oliviero i Riganelli Dottorandi: Mauro Santoro

2 Research Expertise Software Self-Healing Software Testing/Analysis Rejected proposals LTA starts here PRIN Quack Quality of Integrated Embedded Systems Software quality EU STREP NoE SegraVis Integration of Visual Modelling Techniques FUNDING Total: UniMiB: PRIN Commuta Mutant HW/SW reconfigurable systems EU STREP Shadows Self-Healing Approach to Designing Complex Software EU STREP A-WARE EU STREP Pincette Validating Changes and Upgrades in Embedded SW PRIN 09 Autonomic Self-healing service oriented architectures FIRB 09 DAIH Dependable Ambient Intelligence for Helthcare FIRB 09 ViVaCe Verification & Validation of Continuously Evolving Systems EU STREP A-WARE EU STREP testing EU STARTING GRANT PRIN 10 ESSAY Embedded Selfhealing Service- oriented Architectures for critical distributed systems PRIN 10 ViVaCe Verification & Validation of Continuously Evolving Systems

3 PINCETTE Validating Changes and Upgrades in Networked Software VTT IAI ABB

4 Research Areas Automatic Debugging Data flow Testing of OO Software Combined Static/Dynamic Analysis Self Healing SOA Self Healing Software Dynamic Models

5 Goal: Facilitate Debugging TOMCAT CAUSES?? FAILURE

6 Findings: Automatic Diagnosis TEST CASES TOMCAT LOG FILE (successful executions) Behavioral Models

7 Findings: Automatic Diagnosis FAILURE FAILURE CAUSES TOMCAT LOG FILE (failing execution) Compare, filter, aggregate, interpret. Behavioral Models

8 Results LTA investigators: Mariani, Pastore, Pezzè Experiments: manypopularlargesystems large (Tomcat, JBoss, Eclipse, ) PUBLICATIONS Mariani, Pastore, Pezzè. Dynamic Analysis for Localizing Integration Faults. IEEE TSE, under review (2 round) 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

9 Goal: Design Test Cases for OO Software State-based faults are typical of OO software new ShoppingCart() definition items.length=0 class ShoppingCart{ Item[] items; public double getaveragecost() { getaveragecost() t() use return totalcost/items.length; } } java.lang.arithmeticexception

10 Findings: Measure Structural Coverage You can compute how good you are!! Java System TEST CASES EXECUTE OUTPUT COVERAGE DATA 75% of def use pairs are covered 50% of contextual def use pairs are aecovered ed class ShoppingCart{ Item[] class items; ShoppingCart{ Item[] items; class ShoppingCart{ Item[] items; public double getaveragecost() { public double getaveragecost() { return totalcost/items.length; length; public double getaveragecost() { } return totalcost/items.length; } } return totalcost/items.length; } } }

11 Results LTA investigators: Denaro, Pezzè Experiments: Tcas, Mysql calcweek PUBLICATIONS ongoing research 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.

12 Goal: Check Properties on Code PROPERTY can I overheat my reactor? Program

13 Findings: Exploit Integration of Analysis Techniques PROPERTY can I overheat my reactor? Program Integration of Static Analysis, Dynamic Analysis and Symbolic Execution

14 Findings: Exploit Integration of Analysis Techniques PROPERTY can I overheat my reactor? Program Static analysis can identify hot areas of the code

15 Findings: Exploit Integration of Analysis Techniques PROPERTY can I overheat my reactor? Program Dynamic analysis can produce test cases and behavioral models TEST CASES

16 Findings: Exploit Integration of Analysis Techniques PROPERTY can I overheat my reactor? Program Symbolic/Concolic testing can verify properties TEST CASES

17 Results LTA investigators: Braione, Denaro, Mariani, Pezzè, Santoro, Riganelli Experiments: Jedit, Ant, Lucene, Tomcat, Eclipse, BCEL PUBLICATIONS Braione, Denaro. Combined static/dynamic software analysis: a survey. In prep. ACM Computing surveys Mariani, Pezzè, Riganelli, Santoro. working for ICSE M. Bld Baluda, P. Braione, G. Denaro, M. Pezzè. Automaticand ti Precise Structural t Coverage. Software Quality Journal (invited, in preparation). M. Baluda, P. Braione, G. Denaro, M. Pezzè. Structural Coverage of Feasible Code. AST workshop at ICSE, 2010 (selected as best paper, invited for journal) Mariani, Pezzè, Riganelli, Santoro. SEIM: static Inference of Interaction Models. PESOS workshop at ICSE, 2010 P. Braione, G. Denaro, M. Pezzè. On the integration of software testing and formal analysis. Book Chapter Santoro. Detection of precise behavioral models.. Doctoral Workshop at ESEC/FSE 2009 Braione, Denaro, Krena, Pezzè. Verifying LTL Properties of Bytecode with Symbolic Execution. Bytecode 2008 Coen Porisini, ii i Denaro, Ghezzi, Pezzè. UsingSymbolicExecution i for VerifyingSafety Critical i Sf Cii Systems. ESEC/FSE 2001

18 Goal: increase interoperability between service based applications BizX, BuboMe, BuddyPoke, Emote, LastFM, RateMyFriends, Unype, Zorap OpenSocial gadgets Google OpenSocial API newfetchpersonrequest newfetchpeoplerequest newfetchactivitiesrequest orkut, hi5, myspace, facebook, imeem OpenSocial containers app1 app2 Del.icio.us clients DEL1.14, GAD, BtoD, SABROUS.us Del.ico.us API posts.get posts.add tags.rename Del.icio.us providers del.icio.us, mag.gnolia, faves, link-wieza

19 Findings: Test n Adapt Approach Connect to new service ELF-HEALI ING ENGIN NEERED APP PLICATION S TnA controller TnA plans Reconfig Reconfigurable proxy OK Test cases Test results Request INTERC HANGEAB LE SERVICE IM MPLEMENT TATION adpt adpt adpt Response

20 LTA investigators: Denaro, Pezzè Self Healing SOA Experiments: OpenSocial API, Del.icio.us API and many others PUBLICATIONS Denaro, Pezzè, Tosi. Fostering Interchangeable Services. 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 BasedApplications 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 da Applications. ASE 2007 Lohmann, Mariani e Heckel. Testing and Analysis of Web Services. Book chapter 2007

21 Self Healing Software Dynamic Models Goal: Reduce bug fixing costs by Goal: Extract Models from Code automatic/dynamic healing of software Findings: A variety of Dynamic faults learners of Finite State Models (FSM, Findings: Architectural connectors can EFSM, ) encapsulate detection and healing strategies for integration problems in component based systems (automatically, on the fly, in field) LTA Investigators: Mariani,Pezzè PUBLICATIONS Chang, Mariani e Pezzè, Exception Handlers for Healing Component Based Application. In prep. IEEE TSE Gorla, Mariani, Pastore, Pezzè e Wuttke. Achieving Cost Effective Software Reliability Through Self Healing. CI, vol. 2, 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 LTA Investigators: Mariani, Pezzè PUBLICATIONS Mariani, Pezzè e Santoro, Automatic Generation of Software Behavioral Models. working for IEEE TSE Mariani, Pastore, Pezzè, Santoro. Mining Annotated Finite-State Automata, Data Mining and Knowledge Discovery Book Series by CRC Press, to appear. 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 PINCETTE requires new effort on this topic

22 Plans Finalization of the mature projects self healing software data flow testing of OO SW dynamic models Major future projects PINCETTE integration of static/dynamic analysis Self healing SOA

23 National Partnerships DISCo SAL (Micucci) Detecting software plagiarisms MAD (Stella) Detecting plagiarism between documents Academy Politecnico Milano (Ghezzi) Politecnico Torino (Prinetto) Univ. Napoli Federico II (Mazzeo, Mazzocca) Univ. Firenze (Fantechi) Univ. Aquila (Muccini) Univ. Camerino (Polini) i) Industry Nokia Siemens Networks BBS Software SpA Selex, gruppo Finmeccanica IWBank BTicino AZCom Technology ST Microelectronics

24 International Partnerships Academy Industry Univ. Lugano (Carzaniga and Sharygina) IBM Haifa (Israel) Telefonica (Spain) Univ. Oregon (Young) IAI (Israel) University College London Artisys (Czech republic) (Emmerich) NetTechnologies (Greece) Univ. Potsdam (Margaria) Scapa (Scotland) Univ. Paderborn (Engels) VTT (Finland) Imperial College (Wolf) ABB (Switzerland) LIG Grenoble (Estublier) Univ. Leicester (Heckel) Univ. Brno (Krena) Univ. Singapore (Lo) Univ. Oxford (Kroening) Univ. Saarbrucken (Zeller)

25 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 Oliviero Riganelli U Camerino Visiting LTA Soon recruiting within the PINCETTE project

26 Community Services 2009/2010 Software Engineering i Associate editor TOSEM and ASE (Pezzè) Chair of ICSE 2012 (Pezzè) Chair of ISSRE 2010 Fast Abtract Track and GT VMT 2011 (Mariani) PC member of ICSE 2009 and 2011, FSE 2010, ASE 2010 (Pezzè) PC member of ICSE 2009 Mentor Program (Denaro) PC member of ISSRE 2010 and FASE 2011 (Mariani) Reviewers for TSE and TOSEM (Pezzè, Denaro, Mariani) SoftwareTesting andanalysis PC member of ISSTA 2010 and WODA 2010 (Mariani) PC member of ICST 2010 and 2009 (Pezzè) Autonomic PC chair SEAMS 2010 (Pezzè) PC member of ICAC 2009 (Mariani) PC member of SEAMS 2010 (Mariani)