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]

Towards Execution Time Prediction for Test Cases from Test Specification (Aug 2017)
Sahar Tahvili, Mehrdad Saadatmand, Markus Bohlin, Wasif Afzal, Sharvathul Hasan Ameerjan
43rd Euromicro Conference on Software Engineering and Advanced Applications (SEAA'17)

Towards Automating Integration Testing of .NET Applications using Roslyn (Jul 2017)
Mehrdad Saadatmand
The 2017 IEEE International Conference on Software Quality, Reliability and Security (QRS 2017)

Handling Constraints in Combinatorial Interaction Testing in the Presence of Multi Objective Particle Swarm and Multithreading (Apr 2017)
Bestoun Ahmed , Luca Gambardella , Wasif Afzal, Kamal Zamli
Information and Software Technology (2017) (IST)

Simulation-Based Safety Testing Brake-By-Wire (Mar 2017)
Nils Müllner, Saifullah Khan , Md Habibur Rahman, Wasif Afzal, Mehrdad Saadatmand
ICST workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems (ITEQS'17)

Targeted Mutation: Efficient Mutation Analysis for Testing Non-Functional Properties (Mar 2017)
Björn Lisper, Birgitta Lindström, Pasqualina Potena, Mehrdad Saadatmand, Markus Bohlin
ICST workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems (ITEQS'17)

A Comparative Study of Manual and Automated Testing for Industrial Control Software (Mar 2017)
Eduard Paul Enoiu, Adnan Causevic, Daniel Sundmark, Paul Pettersson
International Conference on Software Testing, Verification and Validation (ICST 2017)

Paul Pettersson, Professor

Room: U1-172
Phone: +46-21-101355