Tools and Services
Title: Expanding Software Testing Research at Ericsson
Abstract: Ericsson has a long history of innovation and is pioneering the next generation of technologies for more efficient and better quality telecommunications. We have a passion for technology. We have 25,000 patents, comprising one of the industry's strongest portfolios. Our global team of researchers is constantly improving on today’s technology and creating the breakthroughs that will shape tomorrow. Software Testing and Quality Assurance are key areas for delivering the latest technology. In this brief presentation, we will discuss some unique characteristics of our software and systems, and also discuss some aspects of how we test it. Ericsson cooperates with universities and research institutions world-wide. We also support PhD students and established researchers to advance the software testing field. The presentation will also cover some of our own software testing research and will comment on the difference between research in industry and in academia.
Title: It‘s Math That Drives Things – Simulink as Simulation and Modeling Environment
Abstract: Computer Science has traditionally been strong in architecting systems and writing software, with models mainly serving as a means to structure. Engineering Sciences (control engineering, mechanical engineering, electrical engineering, etc.) have traditionally been strong in developing dynamic systems, using mathematical equations to describe actual behavior of systems. They derive software from a portion of those equations to actually implement the controllers that surround us in our cars, cell phones and towers, in planes and plants and much more. For the majority of the ICST audience being computer scientists, this brief talk will highlight some tasks that engineers perform today with Simulink, and how they validate and verify their systems, how they generate code – including the actual algorithm math, and why they love Simulink to work on many different domains of modeling and simulation.
Title: From test specification to test case execution – one seamless integration
Abstract: Berner & Mattner Systemtechnik GmbH offers innovative products and engineering services not only for demanding automotive electronics software but also for a wide range of customers outside automotive. We are specialized in the whole process from specification to model-based development to testing and thus offer a seamless tool chain. For testing this consists of the CTE XL Professional for systematic test case design and MESSINA for test implementation, execution and evaluation. Based on the classification tree method, the CTE XL Professional helps designing classification trees with weighted characteristics and automatically generates deterministic test cases by using generation rules. Exporting those test cases to MESSINA, the test platform for model-based simulation, virtual integration and validation of Autosar software components, allows the user to execute test cases directly. In our brief session we will show you how CTE XL Professional and MESSINA harmonize in a ADAS project.
Title: Quality assurance, model centric testing and .getmore - a perfect chain for state of the art testing
Abstract: With 30 years of experience in testing and QA for safety relevant and complex IT, e.g. in the medical domain, sepp.med has to continuously maintain and improve sophisticated services, methods and tools to cope with the challanges of major industrial projects. The result is a leading edge expertise in model centric testing as test design method and .getmore as the appropriate tooling for test case generation and all interface tasks to the test process. The major objective is to improve completeness and systematics of the test on the one hand but at the same time the capability to generate the best test suite for the current test project in matters of the requirements on efficiency, budget and quality set by the project. Results from industrial best practice together with results from research activities (e.g. in the context of founded research projects) merge into a solution - the method of model centric testing (.mzT) and the test case generator .getmore. Method and tooling are presented together with sepp.med's services in introducing and running productive model based testing projects and the related training, coaching and knowledge sharing capabilities. Examples from running projects and domain specific solutions will be presented as well.
Title: Test case generation for safety standards
Abstract: The common safety standards demand test cases that aim at specific test goals. This means that test case generation needs to be controllable to meet these demands. At Validas AG, we developed a variant of model-based testing in which test case search is guided by explicit search tactics in order to efficiently generate test cases for specific test goals. This approach, inspired by interactive theorem provers like Isabelle, HOL or Coq, has been realized as a tool framework embedded into Eclipse and is currently being applied for a wide range of applications.
Centre for Research on Evolution, Search and Testing
Title: AUSTIN and MiLu: Tools for Search Based Test Data Generation and Mutation Testing
Abstract: We will present two tools developed in the CREST centre at UCL, both of which are publicly available. The first, AUSTIN, is a structural test data generation tool (for unit tests) for the C language. It aims to aid researchers in automated test data generation using search-based algorithms. It is based on the CIL framework and currently supports a random search, as well as a simple hill climber that is augmented with a set of constraint solving rules for pointer type inputs. The second tool, Milu, is a higher order mutation testing tool also targeting the C Language. It is designed to support researchers in the evaluation of higher order mutants using a variety of search-based algorithms. Three search algorithms, a greedy search, a hill climlber and a GA search are implemented by the tool. However, Milu can also be extended through user-defined search algorithms.
Title: The German Testing Board e.V. and its ongoing work towards tester professionalism
Abstract: The German Testing Board (GTB) is a working group of software and system testing specialists. Its members include recognised experts from industry, consultants, trainers, scientists and specialists from other organisations. As an independent, neutral commission, the GTB is responsible for the quality of the Certified-Tester system and the associated examination procedures in Germany. It also supervises the Certified-Tester training courses, monitoring defined criteria and awarding accreditations to the training institutions. At an international level, the GTB is a founder member of the International Software Testing Qualifications Board (ISTQB), which is responsible for the consistency and comparability of the teaching and testing content in all participating countries. As of today, more than 155,000 testers are certified in more than 60 countries. The presentation covers the organizational structure of the GTB and the ISTQB as well as the contents of the Certified Tester syllabi. Besides, some insights beeing a personal, voluntary member of the GTB are shared.