School of
Computer Science
and Communication

^ Up to Research, Theory group at CSC, KTH.


Anton Francesco dello Scheggia - The Seven Virtues

Research Leaders

Graduate Students

  • To be hired.

Masters Students

  • Sophia Ulke
  • Marco Ahumada Juntunen

Short Description

VIRTUES (Virtualized Embedded Systems for Testing and Development) aims to improve the quality of safety critical applications in the automotive industry while reducing time needed for testing.

In the automotive industry, realistic tests of distributed electronic systems, including embedded software, are today executed using hardware-in-the-loop testing. However, the necessary hardware rigs are a limited resource. Both testing and software development could be simplified by working with a virtualised emulation environment. This could give testers the possibility to execute massively parallel test suites, using less expensive multicore technology. Large-scale parallel testing requires that the Swedish automotive industry supplement today's manually designed test suites with larger automatically generated test suites.

Since 2009, KTH-CSC has carried out research into automated requirements-driven test case generation. Previous KTH-CSC collaboration with the automotive industry supports the hypothesis that our test technology would be highly suitable to automate large scale parallel testing within a virtualised environment.

New research is necessary to arrive at four goals: (1) a multi-ECU simulation environment, (2) a virtualised HIL-rig, (3) an integrated automated parallel testing toolset, and (4) case studies of the costs/benefits of using the integrated virtualisation and testing platform for developing new and existing systems. The end-users will be embedded software developers and software testers in general.

Here is a Powerpoint presentation of VIRTUES that was presented to Vinnova.

VIRTUES is a cooperation between the Department of Theoretical Computer Science at KTH and Scania AB.


The project is funded by VinnovaFFI.

Related Publications

K. Meinke and M. Sindhu, Incremental Learning-Based testing for Reactive Systems, pp 134-151 in: Proc. Int. Conf. on Tests and Proofs TAP 2011, LNCS 6706, Springer Verlag, 2011.

F. Niu: Learning-based Software Testing using Symbolic Constraint Solving Methods, Licentiate Thesis, School of Computer Science and Communication, Royal Institute of Technology, Stockholm, Sweden, 2011, ISBN 978-91-7501-117-2.

K. Meinke, F. Niu and M. Sindhu: Learning-Based Software Testing: a Tutorial, invited paper, pp 200-219 in: R. Haehnle et al. (eds) Proc. ISoLA 2011, Int. Symp. on Leveraging Applications of Formal Methods, Verification, Validation, CCIS 336, Springer Verlag, 2012.

K. Meinke and M. Sindhu: LBTest: A Learning-based testing Tool for Reactive Systems, in Proc. Sixth Int. IEEE Conf. on Software Testing, Verification and Validation (ISCT-2013), 2013.

L. Feng, S. Lundmark, K. Meinke, F. Niu, M.A. Sindhu, P.Y.H. Wong: Case Studies in Learning-based Testing, pp. 164-179 in Proc. 25th IFIP Int. Conf. on Testing Software and Systems (ICTSS 2013), LNCS 8254, Springer Verlag, 2013.

M. Sindhu, Algorithms and Tools for Learning-based Testing of Reactive Systems PhD Thesis, School of Computer Science and Communication, KTH Royal Institute of Technology, Stockholm, Sweden, 2013, ISBN 978-91-7501-674-0.


More about Scania

^ Up to Research, Theory group at CSC, KTH.

Published by: Karl Meinke <karlm -curlya->
Updated 2014-04-10