Date(s) - 09/09/2019
08:30 - 17:00
UZH Department of Informatics (IFI)
Title Event: CHOOSE Forum on Software Testing
Event Date: 9th of September
Starting Time: 8.30
End: 5.30 p.m.
University of Zurich, Department of Informatics (IFI).
Topic and Speakers:
The topic of the CHOOSE forum 2018 is Software Testing.
To seed discussions, we sampled the space with five high-profile talks from both academia and industry. Confirmed speakers for this year are: Mauricio F. Aniche (Delft University of Technology, The Netherlands), Stephan Ducasse (Inria Lille, France), Thomas Geske (Microsoft, Zurich, Switzerland), Silvia Schialini (Ginetta, Bern, Switzerland) and Paolo Tonnella (Università Della Svizzera Italiana, Lugano, Switzerland).
The CHOOSE Forum 2019 is organized by the Zurich Empirical Software engineering Team (ZEST) at the University of Zurich, on behalf of CHOOSE.
Mauricio F. Aniche
Title: Testing in production
“Testing in production” used to be a joke among developers. However, given the complexity of the large and distributed systems that take care of important parts of our lives, “testing in development”, or, in other words, prevention, might not be enough anymore. In this talk, I’ll discuss the importance of systems monitoring, logging, and log analysis to modern software systems. I’ll reflect on the current state-of-the-art in industry and research fields, as well as the current open challenges. A great part of this talk is based on the research we conducted at Adyen, a large-scale payment company, that serves companies such as Facebook, Uber, and Spotify.
Maurício is an Assistant Professor in Software Engineering at Delft University of Technology, The Netherlands. Maurício’s line of work focuses on how to make developers more productive during maintenance and testing. His research has been published in top-tier conferences (ICSE, FSE, ASE) and journals (TSE, EMSE). Maurício always had a foot in industry. During his MSc, Maurício co-founded Alura, the biggest e-learning platform for software engineers in Brazil. Because of Alura, Maurício has given training and consultancy on software development and testing to 27 different companies, from 2010 to 2015. Moreover, he published three books focused on practitioners (“OOP and SOLID for ninjas”, “Test-Driven Development in the real world”, and “A Practical Guide on Software Testing”), which, altogether, have sold 10k copies. All these activities have given him a very particular vision on software engineering and testing should be done in practice. Now, fully dedicated to academia, Maurício still (desires and) partners up with companies. In the last two years, Maurício has been working closely with Adyen, a Dutch payment unicorn. His work with the company has been published in prestigious venues such as FSE, as well as ICSE’s and ICSME’s industry tracks.
Title: Rotten Green Tests
Unit tests are a tenant of agile programming methodologies, and are widely used to improve code quality and prevent code regression. A passing (green) test is usually taken as a robust sign that the code under test is valid. However, some green tests contain assertions that are never executed. We call such tests Rotten Green Tests.
Rotten Green Tests represent a case worse than a broken test: they report that the code under test is valid, but in fact do not test that validity. We describe an approach to identify rotten green tests by combining simple static and dynamic call-site analyses. Our approach takes into account test helper methods, inherited helpers, and trait compositions, and has been implemented in a tool called DrTest. DrTest reports no false negatives, yet it still reports some false positives due to conditional use or multiple test contexts. Using DrTest we conducted an empirical evaluation of 19,905 real test cases in mature projects of the Pharo ecosystem. The results of the evaluation shows that the tool is effective; it detected 294 tests as rotten– passing tests that contain assertions but that are not executed. First experiences on Java are showing that there are rotten tests.
I’m an Inria Research Director. I lead RMoD team http://rmod.lille.inria.fr. I’m expert in language design and reengineering. I worked on traits. Traits have been introduced in Pharo, Perl, PHP and under a variant into Scala, Groovy and Fortress. I’m expert on software quality, program understanding, program visualisations, reengineering and metamodeling. I’m one of the developer of Moose, an open-source software analysis platform http://www.moosetechnology.org/. I created Synectique a company building dedicated tools for advanced software analyses. I’m one of the leader of Pharo http://www.pharo.org/ a dynamic reflective object-oriented language supporting live programming. I built the industrial Pharo consortium http://consortium.pharo.org. I work regularly with companies (Thales, Wordline, Siemens, Berger-Levrault, Arolla,…) on software evolution problems.
I wrote couple hundred articles and several books. According to google my h-index is 54 for more than 12800 citations. I like to help people becoming what they want and building things.
Title: A journey to Cloud Cadence
Microsoft’s Developer Division transformed its Team Foundation Server with a Software-As-A-Service (SaaS) offering, now known as Azure DevOps, that is also the backbone of its own engineering system. This is the story of moving to cloud-first development and modern DevOps practices, while growing both the SaaS and traditional software business.
Thomas Geske, Cloud Architect has over 18 years of experience in software engineering. He worked in various projects of different sizes and technologies shipping software to many customers. In his current mission @ Microsoft he helps teams to transform application to run in Microsoft Azure while adopting DevOps practices and Cloud cadence.