Interested in researching the latest model-based software testing techniques and applying them on advanced high-tech cyber-physical systems?
Join us on the 'TiCToC' project - Testing in Times of Continuous Change. We are looking for two excellent PhD candidates on the intersection of model-based testing, software product lines and high-tech systems to conduct research on TiCToC topics, and carry out case studies at TiCToC industrial partners.
High-tech, cyber-physical systems come in many variants, customised for various users. These systems evolve over time to adapt to changing requirements and contexts.
The number of possible different variants is growing exponentially, making testing of systems with high variability and evolution a major challenge.
The TiCToC project will investigate methods and tools to manage and reduce the combinatorial explosion of testing such systems.
TiCToC will follow a formal, model-based approach using component-based and feature-driven testing. Topics include model-based software testing, algorithmic test generation, formal models, domain-specific languages, component-based testing, feature-driven testing, variability, software product lines, evolution, test-impact analysis, test coverage, test tools, and applications in high-tech, cyber-physical systems.
TiCToC is part of the MasCot partnership programme, a collaboration between NWO, ESI (TNO), ASML, Philips Health Care, Canon Production Printing, and six universities, with in total 11 PhD candidates.
The overall goal of this programme is to develop new engineering methodologies that help manage the increasing complexity of designing, building and testing high-tech, cyber-physical systems.
Part of the research will be done at the partner companies, thereby providing an opportunity to learn about different industrial cases and to build up a strong network with industry, ESI (TNO), and the fellow MasCot PhD candidates.