January 24, 2014: Seminar - Dr. Lionel C. Briand: "Scalable and Cost-Effective Model-Based Software Verification and Testing"

Seminar


Scalable and Cost-Effective Model-Based Software Verification and Testing

Dr. Lionel C. Briand
University of Luxembourg
Friday, January 24, 2014
11:00 a.m., 1325 SEO Building


Abstract:

Automating software verification and testing is a necessity for complex, time-constrained, and high-dependability software systems. Over the last decade, there have been many research efforts whose goal is to automate the software verification and testing process based on models of the system under test or its environment. Little of this research has made it to practice except for a few, well-publicised but limited cases.

In this talk, I will describe various attempts to make model-based testing and verification more scalable and practical, reflecting on ten years of collaborative research with the industry in various application domains. I will argue that coping with the scale and complexity of real systems often requires dramatically different approaches than what is commonly reported in the academic literature, showing once again the pervasive gap that exists between software research and practice. Among other things, I will illustrate how dedicated modelling, accounting for the specifics of the domain and the modelling objectives, combined with sophisticated search techniques, can help achieve scalability and practicality in a variety of contexts.

Bio:

Lionel C. Briand is professor and FNR PEARL chair in software verification and validation at the SnT centre for Security, Reliability, and Trust, University of Luxembourg. Lionel started his career as a software engineer in France (CS Communications & Systems) and has conducted applied research in collaboration with industry for more than 20 years. Until moving to Luxembourg in January 2012, he founded and was heading the Certus center for software verification and validation at Simula Research Laboratory, where he was leading applied research projects in collaboration with industrial partners. Before that, he was on the faculty of the department of Systems and Computer Engineering, Carleton University, Ottawa, Canada, where he was full professor and held the Canada Research Chair (Tier I) in Software Quality Engineering. He has also been the software quality engineering department head at the Fraunhofer Institute for Experimental Software Engineering, Germany, and worked as a research scientist for the Software Engineering Laboratory, a consortium of the NASA Goddard Space Flight Center, CSC, and the University of Maryland, USA.

Lionel has been on the program, steering, or organization committees of many international, IEEE and ACM conferences. He is the coeditor-in-chief of Empirical Software Engineering (Springer) and is a member of the editorial boards of Systems and Software Modeling (Springer) and Software Testing, Verification, and Reliability (Wiley). He was on the board of IEEE Transactions on Software Engineering from 2000 to 2004.

Lionel was elevated to the grade of IEEE Fellow for his work on the testing of object-oriented systems. He was granted the IEEE Computer Society Harlan Mills award (2012) and IEEE Reliability Society award (2013) for his work on model-based verification and testing. His research interests include: model-driven development, testing and verification, search-based software engineering, and empirical software engineering.













































 
Copyright 2016 The Board of Trustees
of the University of Illinois.webmaster@cs.uic.edu
WISEST
Helping Women Faculty Advance
Funded by NSF