
TOCSYC är en distribuerad forskningsmiljö som kombinerar fyra svenska forskargrupper inom programvarutestning för att ta kunskapen om testning av kritiska egenskaper hos komplexa inbyggda system till en högre nivå. De egenskaper som TOCSYC fokuserar på handlar om resursanvändning, robusthet och testbarhet.
Det övergripande målet för TOCSYC är att möjliggöra och underlätta kostnadseffektiv testning av kritiska egenskaper hos inbyggda system genom att förse svensk industri med nya och förbättrade verktyg och tekniker för effektiv testning samt procedurer för beslutsstöd som är nödvändiga för att välja rätt verktyg och tekniker för deras behov och sammanhang. TOCSYC arbetar mot detta mål inom fem olika områden och Skövde bidrar till tre av dessa, mutationsbaserad testning, modellbaserad testning och testbarhet.