TOCSYC - Testing of Critical System Characteristics (KKS)



Start date:


End date:


The TOCSYC research environment will combine five Swedish groups in software testing research to advance the knowledge of testing critical characteristics of complex embedded systems. The overall goal of TOCSYC is to enable and support cost-effective testing for critical characteristics in embedded systems by providing Swedish industry with new and improved tools and techniques for efficient and effective testing as well as the decision-support procedures necessary to select the right testing tools or techniques for their context.

In order to meet this goal, TOCSYC has identified four objectives that impose key research challenges:

  • develop feasible testing techniques that address characteristics, such as performance efficiency, robustness, and testability which all are critical to complex embedded systems,
  • determine the cost effectiveness of different test techniques, 
  • automation of complex testing activities, for example generate and prioritize test cases and determine verdicts of test executions, and 
  • establish ways to assess and increase testability of software under test 

TOCSYC will advance research in software testing by developing and combining techniques for model-, search- and mutation-based testing in order to target performance efficiency and robustness aspects. Static analysis techniques will be developed to support testing by e.g., model-extraction. Testability issues will be targeted in order to further support testing of performance efficiency and robustness.

[Show all publications]

IntegrationDistiller: Automating Integration Analysis and Testing of Object-Oriented Applications (Feb 2019)
Mehrdad Saadatmand
20th IEEE International Conference on Industrial Technology (ICIT 2019)

A 2-layer Component-based Allocation for Embedded Systems with GPUs (Jan 2019)
Gabriel Campeanu, Mehrdad Saadatmand
Designs Journal (Designs)

Interfacing a Brake-by-Wire Simulink Model with SUMO (Dec 2018)
Erik Martin Campana , Nils Müllner, Saad Mubeen
2018 International Conference on Intelligent and Innovative Computing Applications (ICONIC2018)

Decision Making and Visualizations Based on Test Results (Oct 2018)
Per Erik Strandberg, Wasif Afzal, Daniel Sundmark
Empirical Software Engineering and Measurement, 12th International Symposium on (ESEM18)

Message from the ITEQS 2018 Workshop Chairs (Aug 2018)
Mehrdad Saadatmand, Birgitta Lindström, Bernhard K. Aichernig
ICST Workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems (ITEQS'18)

Functional Dependency Detection for Integration Test Cases (Jul 2018)
Sahar Tahvili, Marcus Ahlberg , Eric Fornander , Wasif Afzal, Mehrdad Saadatmand, Markus Bohlin, Mahdi Sarabi
The 18th IEEE International Conference on Software Quality, Reliability and Security (QRS18)