Prof. Dr.-Ing. Ina Schieferdecker
Director of Fraunhofer FOKUS
Do We Need Test Specification Lanugauge?!
Abstract: To be added!
Bio: Prof. Dr.-Ing. Ina Schieferdecker is Director of Fraunhofer FOKUS, Berlin and is also professor for Quality Engineering of Open Distributed Systems at Technische Universität Berlin. Her research interests include ICT for smart cities, open data, critical infrastructures, networking, conformance, interoperability, security and certification as well as software engineering and testing. Schieferdecker received a PhD in electrical engineering from Technical University Berlin and a Diploma in Mathematical Computer Science from Humboldt-University Berlin. She is beside others president of the Association for Software Quality and Eductioan (ASQF), member of the German Academy of Science and Engineering (acatech), and of the German Testing Board (GTB).
More information for the keynote speaker can be consulted in http://www.schieferdecker-online.info
Please download Ina's keynote speech slides from here
Senior Research Scientist, Simula Research Laboratory, Norway
Abstract: Uncertainty-Wise testing explicitly integrates known uncertainty about the behavior of the System Under Test (SUT), its operating environment, and interactions between them in test design, generation, optimization, and execution with the following two key objectives. First, to ensure that the SUT deals with known uncertainty appropriately. Second, to learn new uncertainties such that the SUT’s implementation can be improved to guard against these uncertainties, when it is operational. The necessity to integrate uncertainty in testing is becoming imperative because of the emergence of new types of intelligent and communicating software-based systems, e.g., Cyber-Physical Systems (CPSs). Intrinsically, such systems are exposed to uncertainty because of their interactions with highly indeterminate physical environment including human. On top of that, these systems are becoming more and more autonomous, i.e., making decisions themselves at runtime (e.g., self-healing and self-configuration) and thus introduce an extra layer of complexity to test these systems. This keynote first focuses on novel challenges posed by uncertainty-wise testing of CPSs. Second, it presents some research results from the applications of novel approaches for uncertainty-wise testing of CPSs that were devised based on model-based testing, search-based testing, and machine learning techniques.
Bio: Shaukat Ali is currently a senior research scientist in the Software Engineering department, Simula Research Laboratory, Norway. His research focuses on devising novel methods for Verification and Validation (V&V) of large scale highly connected software-based systems that are commonly referred to as Cyber-Physical Systems (CPSs). He has been involved in several basic research, research-based innovation, and innovation projects in the capacity of PI/Co-PI related to Model-based Testing (MBT), Search-Based Software Engineering, and Model-Based System Engineering. He has rich experience of working in several countries including UK, Canada, Norway, and Pakistan. Shaukat has been on the program committees of several international conferences (e.g., MODELS, ICST, GEECO, SSBSE) and also served as a reviewer for several software engineering journals (e.g., TSE, IST, SOSYM, JSS, TEVC). He is also actively participating in defining international standards on software modeling in Object Management Group (OMG), notably a new standard on Uncertainty Modeling.
More information for the keynote speaker can be consulted in http://zen-tools.com/people/shaukata.html